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

Owned by Frank Laub, SchmErik, risc0.

51 releases (9 stable)

1.1.3 Nov 9, 2024
1.1.1 Sep 24, 2024
1.0.5 Jul 30, 2024
1.0.0-rc.2 Dec 3, 2022
0.14.0 Mar 29, 2023

#1336 in Cryptography

Download history 4641/week @ 2024-07-29 3913/week @ 2024-08-05 3077/week @ 2024-08-12 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

22,766 downloads per month
Used in 19 crates (2 directly)

Apache-2.0

8MB
123K SLoC

Rust 42K 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 1K 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 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
~153K SLoC