Lib.rs

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

sys risc0-circuit-rv32im-sys

by Frank Laub, risc0

49 releases (10 stable)

new 1.2.1-rc.0 Dec 9, 2024
1.2.0-rc.1 Nov 23, 2024
1.0.5 Jul 30, 2024
0.21.0 Mar 12, 2024
0.14.0 Mar 29, 2023

#972 in Hardware support

Download history 1852/week @ 2024-08-19 2448/week @ 2024-08-26 2650/week @ 2024-09-02 2841/week @ 2024-09-09 2800/week @ 2024-09-16 3804/week @ 2024-09-23 3594/week @ 2024-09-30 2212/week @ 2024-10-07 1773/week @ 2024-10-14 2021/week @ 2024-10-21 1967/week @ 2024-10-28 2856/week @ 2024-11-04 2734/week @ 2024-11-11 2257/week @ 2024-11-18 2115/week @ 2024-11-25 3206/week @ 2024-12-02

10,423 downloads per month
Used in 11 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