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

57 releases (16 stable)

new 1.3.0 Feb 25, 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

#739 in Hardware support

Download history 2419/week @ 2024-11-01 3024/week @ 2024-11-08 2290/week @ 2024-11-15 2401/week @ 2024-11-22 2437/week @ 2024-11-29 2637/week @ 2024-12-06 2407/week @ 2024-12-13 1377/week @ 2024-12-20 535/week @ 2024-12-27 1583/week @ 2025-01-03 2391/week @ 2025-01-10 2051/week @ 2025-01-17 1566/week @ 2025-01-24 2032/week @ 2025-01-31 1914/week @ 2025-02-07 1040/week @ 2025-02-14

6,832 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