Expand description
The RISC Zero Proving System
These are the core algorithms that prove and verify the execution of zk-STARK circuits.
§Crate Feature Flags
The following crate feature flags are available.
Feature | Target(s) | Implies | Description |
---|---|---|---|
cuda | prove, std | Turns on CUDA GPU acceleration for the prover. Requires CUDA toolkit to be installed. | |
metal | macos | prove, std | Turns on Metal GPU acceleration for the prover. |
prove | all except rv32im | std | Enables the prover, incompatible within the zkvm guest. |
std | all | Support for the Rust stdlib. |
Modules§
- Interface between the circuit and prover/verifier
- Core module used to implement a zk-STARK prover and verifier.
- Finite field types and operations
- Utilities for accessing buffers of circuits symbolically.
- Cryptographic algorithms for verifying a ZK proof of compute
Macros§
- Defines a buffer in a circuit that could have layout information. $ident should be the camelcase name of the buffer, and $elem sould be the type of element in the buffer, e.g. BabyBearElem. $elem must implement Debug, and must be comparable to $elem::ZERO.
Constants§
- FRI folding factor is 2 ^ FRI_FOLD_PO2
- Inverse of Reed-Solomon Expansion Rate
- 50 FRI queries gives ~100 bits of conjectured security