53 个版本 (6 个稳定版)

1.1.0-rc.2 2024 年 8 月 22 日
1.0.5 2024 年 7 月 30 日
1.0.0-rc.22022 年 12 月 3 日
0.21.0 2024 年 3 月 12 日
0.11.1 2022 年 8 月 13 日

#89 in 加密学

Download history • Rust 包仓库 2812/week @ 2024-05-03 • Rust 包仓库 3216/week @ 2024-05-10 • Rust 包仓库 3566/week @ 2024-05-17 • Rust 包仓库 2374/week @ 2024-05-24 • Rust 包仓库 2746/week @ 2024-05-31 • Rust 包仓库 2775/week @ 2024-06-07 • Rust 包仓库 2644/week @ 2024-06-14 • Rust 包仓库 3268/week @ 2024-06-21 • Rust 包仓库 2974/week @ 2024-06-28 • Rust 包仓库 3695/week @ 2024-07-05 • Rust 包仓库 4836/week @ 2024-07-12 • Rust 包仓库 4340/week @ 2024-07-19 • Rust 包仓库 4986/week @ 2024-07-26 • Rust 包仓库 4024/week @ 2024-08-02 • Rust 包仓库 3971/week @ 2024-08-09 • Rust 包仓库 2732/week @ 2024-08-16 • Rust 包仓库

16,375 每月下载量
27 个 crate 中使用 (11 个直接使用)

Apache-2.0

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