Lib.rs

› Hardware support › risc0-circuit-rv32im
#risc-v #hal #zk-vm #rv32im #zk-stark #risc0 #computing

sys risc0-circuit-rv32im-sys

by Frank Laub, Remi Bernotavicius, risc0

58 releases (16 stable)

new 2.0.0-rc.1 Mar 7, 2025
1.3.0 Feb 25, 2025
1.2.2 Jan 28, 2025
1.2.1-rc.0 Dec 9, 2024
0.14.0 Mar 29, 2023

#727 in Hardware support

Download history 2279/week @ 2024-11-17 2143/week @ 2024-11-24 2868/week @ 2024-12-01 2304/week @ 2024-12-08 2768/week @ 2024-12-15 788/week @ 2024-12-22 560/week @ 2024-12-29 2491/week @ 2025-01-05 1848/week @ 2025-01-12 1820/week @ 2025-01-19 1880/week @ 2025-01-26 1744/week @ 2025-02-02 2134/week @ 2025-02-09 2602/week @ 2025-02-16 3079/week @ 2025-02-23 2025/week @ 2025-03-02

9,926 downloads per month
Used in 14 crates (via risc0-circuit-rv32im)

Apache-2.0

19MB
142K SLoC

CUDA 73K SLoC // 0.1% comments C++ 45K SLoC // 0.4% comments Bitbake 23K SLoC Rust 1.5K SLoC // 0.1% comments Metal Shading Language 422 SLoC // 0.2% comments

Generated HAL code for rv32im cicuit

Dependencies

~0.7–4MB
~75K SLoC