Lib.rs

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

sys risc0-circuit-rv32im-sys

Owned by Frank Laub, SchmErik, risc0.

31 releases (7 breaking)

new 1.0.0-rc.5 May 17, 2024
0.21.0 Mar 12, 2024
0.20.0-rc.1 Dec 19, 2023
0.19.1 Nov 9, 2023
0.14.0 Mar 29, 2023

#649 in Hardware support

Download history 546/week @ 2024-01-26 387/week @ 2024-02-02 564/week @ 2024-02-09 793/week @ 2024-02-16 766/week @ 2024-02-23 1279/week @ 2024-03-01 1457/week @ 2024-03-08 1284/week @ 2024-03-15 1348/week @ 2024-03-22 1162/week @ 2024-03-29 832/week @ 2024-04-05 1000/week @ 2024-04-12 1124/week @ 2024-04-19 1389/week @ 2024-04-26 1586/week @ 2024-05-03 1269/week @ 2024-05-10

5,616 downloads per month
Used in 8 crates (via risc0-circuit-rv32im)

Apache-2.0

23MB
318K SLoC

CUDA 130K SLoC // 0.3% comments C++ 127K SLoC // 0.4% comments Metal Shading Language 59K SLoC // 0.4% comments Rust 1.5K SLoC // 0.1% comments

Generated HAL code for rv32im cicuit

Dependencies