Lib.rs

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

sys risc0-circuit-rv32im-sys

Owned by Frank Laub, SchmErik, risc0.

38 releases (5 stable)

new 1.0.4 Jul 26, 2024
1.0.1 Jun 5, 2024
0.21.0 Mar 12, 2024
0.20.0-rc.1 Dec 19, 2023
0.14.0 Mar 29, 2023

#704 in Hardware support

Download history 940/week @ 2024-04-04 865/week @ 2024-04-11 1146/week @ 2024-04-18 1356/week @ 2024-04-25 1610/week @ 2024-05-02 1555/week @ 2024-05-09 1836/week @ 2024-05-16 919/week @ 2024-05-23 1509/week @ 2024-05-30 1624/week @ 2024-06-06 1543/week @ 2024-06-13 1872/week @ 2024-06-20 1871/week @ 2024-06-27 1953/week @ 2024-07-04 2622/week @ 2024-07-11 1632/week @ 2024-07-18

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

Apache-2.0

23MB
319K 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 Bitbake 338 SLoC

Generated HAL code for rv32im cicuit

Dependencies