mina_tree::proofs::verification

Function verify_with

Source 
fn verify_with(
    verifier_index: &VerifierIndex<Fq>,
    proof: &ProverProof<Fq>,
    public_input: &[Fq],
) -> Result<(), VerifyError>