fn verify_impl<'a, T>( init_state_hash: Fp, target_hash: Fp, merkle_list_len: usize, merkle_list_iter: T, ) -> Option<Vec<Fp>>where T: Iterator<Item = &'a Fp>,
https://github.com/MinaProtocol/mina/blob/aebd4e552b8b4bcd78d1e24523169e8778794857/src/lib/merkle_list_verifier/merkle_list_verifier.ml#L36