Lib.rs

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

no-std risc0-circuit-rv32im

RISC Zero circuit for rv32im

Owned by Frank Laub, SchmErik, risc0.

44 releases (5 stable)

new 1.0.4 Jul 26, 2024
1.0.1 Jun 5, 2024
1.0.0-rc.2 Dec 3, 2022
0.21.0 Mar 12, 2024
0.14.0 Mar 29, 2023

#1645 in Cryptography

Download history 1558/week @ 2024-04-05 1953/week @ 2024-04-12 2018/week @ 2024-04-19 2313/week @ 2024-04-26 2430/week @ 2024-05-03 2830/week @ 2024-05-10 3182/week @ 2024-05-17 1996/week @ 2024-05-24 2587/week @ 2024-05-31 2612/week @ 2024-06-07 2407/week @ 2024-06-14 3044/week @ 2024-06-21 2706/week @ 2024-06-28 3391/week @ 2024-07-05 4583/week @ 2024-07-12 3319/week @ 2024-07-19

14,620 downloads per month
Used in 17 crates (2 directly)

Apache-2.0

8MB
122K SLoC

Rust 43K SLoC // 0.0% comments CUDA 33K SLoC // 0.3% comments C++ 32K SLoC // 0.4% comments Metal Shading Language 15K SLoC // 0.4% comments Bitbake 826 SLoC // 0.0% 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 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

~2–11MB
~117K SLoC