Lib.rs

› Hardware support
#risc0 #rv32im #zk-stark #cryptography

sys risc0-circuit-rv32im-sys

by Frank Laub, Victor Snyder-Graf, risc0 and 2 contributors

68 releases (20 stable)

Uses new Rust 2024

5.0.0-rc.1 Jan 14, 2026
4.0.2 Feb 3, 2026
4.0.1 Aug 21, 2025
4.0.0-rc.2 Jul 25, 2025
0.14.0 Mar 29, 2023

#708 in Hardware support

Download history 2749/week @ 2025-10-23 6645/week @ 2025-10-30 4040/week @ 2025-11-06 3328/week @ 2025-11-13 4495/week @ 2025-11-20 5349/week @ 2025-11-27 4614/week @ 2025-12-04 9255/week @ 2025-12-11 6995/week @ 2025-12-18 1584/week @ 2025-12-25 5505/week @ 2026-01-01 7856/week @ 2026-01-08 8328/week @ 2026-01-15 10121/week @ 2026-01-22 8819/week @ 2026-01-29 8028/week @ 2026-02-05

37,016 downloads per month
Used in 17 crates (via risc0-circuit-rv32im)

Apache-2.0 OR MIT

1.5MB
21K SLoC

C++ 8K SLoC // 0.2% comments Bitbake 8K SLoC Bazel 2K SLoC // 0.0% comments CUDA 1K SLoC // 0.2% comments Metal Shading Language 1K SLoC // 0.2% comments Rust 555 SLoC // 0.1% comments Python 63 SLoC // 0.2% comments GNU Style Assembly 41 SLoC // 0.2% comments Shell 22 SLoC // 0.1% comments

Generated HAL code for rv32im circuit

Dependencies

~5–11MB
~154K SLoC