Module verify

risc0_zkp

Module verify 

Source
Expand description

Cryptographic algorithms for verifying a ZK proof of compute

Structs§

ReadIOP

Enums§

VerificationError

Functions§

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