Crate risc0_zkp

RISC Zero’s core Zero Knowledge Proof components for Rust.

These are the core algorithms that prove and verify the execution of RISC Zero’s RISC-V circuit. This includes utilities such as core::sha (which allows faster SHA-256 hashing than a naive RISC-V implementation). It is these latter utilities that are more commonly used directly from this crate: Developers looking to construct (or verify) a zero-knowledge proof with RISC Zero are advised to use the risc0_zkvm crate instead.

Modules

• adapter
  Interface between the circuit and prover/verifier
• core
  Core module used to implement a zk-STARK prover and verifier.
• field
  Finite field types and operations
• hal
  Hardware Abstraction Layer (HAL) for accelerating the ZKP system.
• prove
  Cryptographic algorithms for producing a ZK proof of compute
• taps
• verify
  Cryptographic algorithms for verifying a ZK proof of compute

Constants

• FRI_FOLD
• INV_RATE
  Inverse of Reed-Solomon Expansion Rate
• MAX_CYCLES
• MAX_CYCLES_PO2
• MIN_CYCLES
• MIN_CYCLES_PO2
• MIN_PO2
• QUERIES
  50 FRI queries gives ~100 bits of conjectured security
• ZK_CYCLES