|
新 1.1.0-rc.2
| 2024年8月22日 |
|---|
|
1.0.5
| 2024年7月30日 |
|---|
|
0.21.0
| 2024年3月12日 |
|---|
| 0.20.0-rc.1 | 2023年12月19日 |
|---|
|
0.19.1
| 2023年11月9日 |
|---|
#1599 在 密码学
14,757 每月下载
用于 11 个crate（2个直接）
3.5MB
57K SLoC
递归虚拟机是一个非图灵完备的虚拟机（VM），针对代数约束检查进行了优化。特别是，它非常适合验证STARK。
递归虚拟机运行“递归程序”，这些程序定义了它将实现的功能。例如，[lift]、[join]和[resolve]程序被risc0 ZkVM用于将多个STARK收据压缩成单个简洁收据。
这是一个低级接口；用户应首选使用risc0_zkvm crate。