Lib.rs

› 密码学 | 硬件支持 › risc0-circuit-recursion
#递归 #risc-v #hal #virtual-machine #zero #risc0 #verifiable

sys risc0-circuit-recursion-sys

所有者： Frank Laub，SchmErik，risc0。

29个版本 (6个稳定版)

新 1.1.0-rc.2 2024年8月22日
1.0.5 2024年7月30日
0.21.0 2024年3月12日
0.20.0-rc.12023年12月19日
0.19.1 2023年11月9日

#971 in 硬件支持

Download history 1578/week @ 2024-05-03 1666/week @ 2024-05-10 1702/week @ 2024-05-17 902/week @ 2024-05-24 1537/week @ 2024-05-31 1628/week @ 2024-06-07 1561/week @ 2024-06-14 1970/week @ 2024-06-21 1730/week @ 2024-06-28 2316/week @ 2024-07-05 2316/week @ 2024-07-12 1623/week @ 2024-07-19 3032/week @ 2024-07-26 2090/week @ 2024-08-02 1811/week @ 2024-08-09 1371/week @ 2024-08-16

8,604 个月下载量
在 7 个crate中使用 (via risc0-circuit-recursion)

Apache-2.0

6.5MB
107K SLoC

C++ 55K SLoC // 0.4% comments CUDA 25K SLoC // 0.0% comments Metal Shading Language 24K SLoC // 0.0% comments Rust 2K SLoC // 0.1% comments Bitbake 1K SLoC

为递归电路生成HAL代码

依赖项

~0.5–3.5MB
~64K SLoC