53 个版本 (6 个稳定版)
| 新 1.1.0-rc.2 | 2024 年 8 月 22 日 |
|---|---|
| 1.0.5 | 2024 年 7 月 30 日 |
| 1.0.0-rc.2 | 2022 年 12 月 3 日 |
| 0.21.0 | 2024 年 3 月 12 日 |
| 0.11.1 | 2022 年 8 月 13 日 |
#89 in 加密学
16,375 每月下载量
在 27 个 crate 中使用 (11 个直接使用)
535KB
11K SLoC
RISC Zero 证明系统
这些是用于证明和验证 zk-STARK 电路执行的核心算法。
crate 功能标志
以下 crate 功能标志 可用。
| 功能 | 目标(s) | 隐含 | 描述 |
|---|---|---|---|
| cuda | prove, std | 为证明者开启 CUDA GPU 加速。需要安装 CUDA 工具包。 | |
| metal | macos | prove, std | 为证明者开启 Metal GPU 加速。 |
| prove | 除了 rv32im | std | 启用证明者，与 zkvm 客户端不兼容。 |
| std | all | Rust 标准库支持。 |
依赖
~3–12MB
~134K SLoC