pub fn gen_proof(
    merkle_proof: Vec<[u8; 32]>,
    peaks: Vec<(u64, [u8; 32])>,
    peak_pos_of_verified_leaf: u64
) -> Vec<[u8; 32]>