mina_tree::proofs::verification::on_fail

Function dump_zkapp_verification

Source 
pub(super) fn dump_zkapp_verification(
    verification_key: &VerificationKey,
    zkapp_statement: &ZkappStatement,
    sideloaded_proof: &PicklesProofProofsVerified2ReprStableV2,
)