Lib.rs

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

no-std risc0-zkp

RISC Zero zero-knowledge proof system core crate

Owned by Frank Laub, SchmErik, risc0.

56 releases (8 stable)

1.1.2 Oct 3, 2024
1.1.0-rc.3 Aug 31, 2024
1.0.5 Jul 30, 2024
1.0.0-rc.2 Dec 3, 2022
0.11.1 Aug 13, 2022

#87 in Cryptography

Download history 5071/week @ 2024-07-17 4284/week @ 2024-07-24 4535/week @ 2024-07-31 4297/week @ 2024-08-07 3324/week @ 2024-08-14 4187/week @ 2024-08-21 4522/week @ 2024-08-28 5904/week @ 2024-09-04 5871/week @ 2024-09-11 4951/week @ 2024-09-18 7110/week @ 2024-09-25 4958/week @ 2024-10-02 3980/week @ 2024-10-09 3744/week @ 2024-10-16 6334/week @ 2024-10-23 5545/week @ 2024-10-30

20,407 downloads per month
Used in 27 crates (12 directly)

Apache-2.0

535KB
11K 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–12MB
~134K SLoC