Function risc0_zkp::verify::verify

pub fn verify<'a, H, C, CheckCode, CheckGlobals>(
    hal: &'a H,
    circuit: &C,
    seal: &'a [u32],
    check_code: CheckCode,
    check_globals: CheckGlobals
) -> Result<(), VerificationError>where
    H: VerifyHal,
    C: CircuitInfo + TapsProvider,
    CheckCode: Fn(u32, &Digest) -> Result<(), VerificationError>,
    CheckGlobals: Fn(&[u32]) -> Result<(), VerificationError>,

Verify a seal is valid for the given circuit, code, and globals