pub fn verify(contract: &TaskContract, proof: &ProofGraph) -> VerificationReportExpand description
Validates and deterministically reduces a captured contract and proof graph.
pub fn verify(contract: &TaskContract, proof: &ProofGraph) -> VerificationReportValidates and deterministically reduces a captured contract and proof graph.