Lib.rs

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

sys risc0-circuit-rv32im-sys

by Frank Laub, Remi Bernotavicius, risc0

55 releases (14 stable)

new 1.3.0-rc.1 Feb 15, 2025
1.2.2 Jan 28, 2025
1.2.1-rc.0 Dec 9, 2024
1.2.0-rc.1 Nov 23, 2024
0.14.0 Mar 29, 2023

#795 in Hardware support

Download history 2173/week @ 2024-10-30 2890/week @ 2024-11-06 2577/week @ 2024-11-13 2546/week @ 2024-11-20 1847/week @ 2024-11-27 3218/week @ 2024-12-04 1968/week @ 2024-12-11 2384/week @ 2024-12-18 470/week @ 2024-12-25 976/week @ 2025-01-01 2447/week @ 2025-01-08 2160/week @ 2025-01-15 1574/week @ 2025-01-22 1948/week @ 2025-01-29 1970/week @ 2025-02-05 1697/week @ 2025-02-12

7,530 downloads per month
Used in 14 crates (via risc0-circuit-rv32im)

Apache-2.0

24MB
347K SLoC

CUDA 142K SLoC // 0.3% comments C++ 138K SLoC // 0.4% comments Metal Shading Language 65K SLoC // 0.4% comments Rust 2K SLoC // 0.1% comments Bitbake 545 SLoC

Generated HAL code for rv32im cicuit

Dependencies