The RISC Zero Proving System
These are the core algorithms that prove and verify the execution of zk-STARK circuits.
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. |