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