84 releases (24 stable)
Uses new Rust 2024
| new 5.0.0-rc.1 | Jan 13, 2026 |
|---|---|
| 3.0.3 | Nov 24, 2025 |
| 3.0.2 | Aug 27, 2025 |
| 3.0.0-rc.2 | Jul 25, 2025 |
| 0.11.1 | Aug 13, 2022 |
#12 in #zk-stark
41,251 downloads per month
Used in 59 crates
(14 directly)
595KB
12K
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 | Deprecated - Metal GPU acceleration for the prover is enabled by default on Apple Silicon. |
| prove | all except rv32im | std | Enables the prover, incompatible within the zkvm guest. |
| std | all | Support for the Rust stdlib. |
Dependencies
~9–16MB
~245K SLoC