pub fn gen_proof_positions(
    verified_leaf_position: u64,
    mmr_size: u64
) -> (Vec<u64>, Vec<u64>, u64)