Lib.rs

› Cryptography
#zero-knowledge-proofs #risc #proving #circuit #zk-stark #proof #prove

sys no-std risc0-zkp

RISC Zero zero-knowledge proof system core crate

Owned by Frank Laub, SchmErik, risc0.

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

Download history 1050/week @ 2024-01-05 806/week @ 2024-01-12 1039/week @ 2024-01-19 1117/week @ 2024-01-26 978/week @ 2024-02-02 1110/week @ 2024-02-09 1314/week @ 2024-02-16 1454/week @ 2024-02-23 2000/week @ 2024-03-01 2215/week @ 2024-03-08 2003/week @ 2024-03-15 2104/week @ 2024-03-22 2080/week @ 2024-03-29 1603/week @ 2024-04-05 2059/week @ 2024-04-12 1648/week @ 2024-04-19

7,790 downloads per month
Used in 26 crates (10 directly)

Apache-2.0

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