mina_tree::proofs::wrap::wrap_verifier

Function incrementally_verify_proof

Source 
pub(super) fn incrementally_verify_proof(
    params: IncrementallyVerifyProofParams<'_>,
    w: &mut Witness<Fq>,
) -> (Fq, (Boolean, Vec<Fq>))