mina_tree::proofs::wrap::wrap_verifier

Function finalize_other_proof

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