mina_tree::proofs::verification

Function verify_zkapp

Source 
pub fn verify_zkapp(
    verification_key: &VerificationKey,
    zkapp_statement: &ZkappStatement,
    sideloaded_proof: &PicklesProofProofsVerified2ReprStableV2,
    srs: &SRS<Vesta>,
) -> bool
Expand description

https://github.com/MinaProtocol/mina/blob/bfd1009abdbee78979ff0343cc73a3480e862f58/src/lib/crypto/kimchi_bindings/stubs/src/pasta_fq_plonk_proof.rs#L116