Expand description
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
- Interface between the circuit and prover/verifier
- Core module used to implement a zk-STARK prover and verifier.
- Finite field types and operations
- Hardware Abstraction Layer (HAL) for accelerating the ZKP system.
- Cryptographic algorithms for producing a ZK proof of compute
- Cryptographic algorithms for verifying a ZK proof of compute
Constants
- Inverse of Reed-Solomon Expansion Rate
- 50 FRI queries gives ~100 bits of conjectured security