mina_tree::proofs::verification

Function run_checks

Source 
fn run_checks(
    proof: &PicklesProofProofsVerified2ReprStableV2,
    verifier_index: &VerifierIndex<Fq>,
) -> bool