58 releases (9 stable)

new 1.2.0-rc.1 Nov 23, 2024
1.1.2 Oct 3, 2024
1.0.5 Jul 30, 2024
1.0.0-rc.2 Dec 3, 2022
0.11.1 Aug 13, 2022

#160 in Cryptography

Download history 4008/week @ 2024-08-03 3823/week @ 2024-08-10 3654/week @ 2024-08-17 4692/week @ 2024-08-24 4868/week @ 2024-08-31 6055/week @ 2024-09-07 5270/week @ 2024-09-14 6286/week @ 2024-09-21 6390/week @ 2024-09-28 4051/week @ 2024-10-05 3778/week @ 2024-10-12 5072/week @ 2024-10-19 6369/week @ 2024-10-26 5913/week @ 2024-11-02 5730/week @ 2024-11-09 4121/week @ 2024-11-16

23,264 downloads per month
Used in 27 crates (12 directly)

Apache-2.0

590KB
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

~3–11MB
~134K SLoC