Module risc0_zkp::prove

source ·
Expand description

Cryptographic algorithms for producing a ZK proof of compute

This module is not typically used directly. Instead, we recommend the higher-level tools offered in risc0_zkvm::prove.

Modules

adapter
executor
poly_group
write_iop

Functions

prove
Construct a seal proving execution
prove_without_seal
INSECURELY execute a circuit without producing a seal that proves execution