40 releases (10 breaking)
1.0.0-rc.2 | Dec 3, 2022 |
---|---|
0.21.0 | Mar 12, 2024 |
0.20.1 | Feb 1, 2024 |
0.20.0-rc.1 | Dec 19, 2023 |
0.11.1 | Aug 13, 2022 |
#212 in Cryptography
7,790 downloads per month
Used in 26 crates
(10 directly)
360KB
8K
SLoC
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. |
Dependencies
~5–7MB
~124K SLoC