fn make_merkle_proof(
    index: usize,
    size: usize,
    tree: &[Hash]
) -> Option<Vec<&[u8; 20]>>