mina_tree::proofs::verification

Function verify_impl

Source 
fn verify_impl<AppState>(
    app_state: &AppState,
    proof: &PicklesProofProofsVerified2ReprStableV2,
    vk: &VK<'_>,
) -> Result<bool>
where
    AppState: ToFieldElements<Fp>,