Lib.rs

› Cryptography › risc0-sys
#virtual-machine #risc0 #risc-v #zero-knowledge #zk-vm #circuit #cuda

no-std risc0-circuit-rv32im

RISC Zero circuit for rv32im

by Frank Laub, risc0

55 releases (10 stable)

new 1.2.1-rc.0 Dec 9, 2024
1.2.0-rc.1 Nov 23, 2024
1.0.5 Jul 30, 2024
1.0.0-rc.2 Dec 3, 2022
0.14.0 Mar 29, 2023

#2295 in Cryptography

Download history 3214/week @ 2024-08-19 4303/week @ 2024-08-26 4486/week @ 2024-09-02 5295/week @ 2024-09-09 4875/week @ 2024-09-16 6143/week @ 2024-09-23 5547/week @ 2024-09-30 3733/week @ 2024-10-07 3470/week @ 2024-10-14 4923/week @ 2024-10-21 6247/week @ 2024-10-28 5947/week @ 2024-11-04 5569/week @ 2024-11-11 5438/week @ 2024-11-18 7016/week @ 2024-11-25 8097/week @ 2024-12-02

26,304 downloads per month
Used in 24 crates (2 directly)

Apache-2.0

8.5MB
133K SLoC

Rust 45K SLoC // 0.0% comments CUDA 35K SLoC // 0.3% comments C++ 34K SLoC // 0.4% comments Metal Shading Language 16K SLoC // 0.4% comments Bitbake 1K SLoC // 0.0% comments Jupyter Notebooks 145 SLoC // 0.3% comments

The RISC Zero zkVM circuit

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–13MB
~154K SLoC