Module risc0_zkp::verify

Cryptographic algorithms for verifying a ZK proof of compute

This module is not typically used directly. Instead, we recommend calling Receipt::verify.

Re-exports

• pub use crate::core::config::HashSuite;

Modules

• adapter
• read_iop

Structs

• CpuVerifyHal

Enums

• VerificationError

Traits

• VerifyHal

Functions

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