verify

risc0_zkp::verify

Function verify 

Source 
pub fn verify<F, C, CheckCode>(
    circuit: &C,
    suite: &HashSuite<F>,
    seal: &[u32],
    check_code: CheckCode,
) -> Result<(), VerificationError>
where
    F: Field,
    C: CircuitCoreDef<F>,
    CheckCode: Fn(u32, &Digest) -> Result<(), VerificationError>,
Expand description

Verify a seal is valid for the given circuit, and code checking function.

This version of verify has a fixed IOP protocol that’s used by multiple circuits.