risc0-zkp
| Crates.io | risc0-zkp |
| lib.rs | risc0-zkp |
| version | 3.0.2 |
| created_at | 2022-08-08 05:47:40.760855+00 |
| updated_at | 2025-08-27 16:55:59.576206+00 |
| description | RISC Zero zero-knowledge proof system core crate |
| homepage | https://risczero.com/ |
| repository | https://github.com/risc0/risc0/ |
| max_upload_size | |
| id | 640650 |
| size | 476,433 |
maintainers (github:risc0:maintainers)
documentation
README
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. |