49 个版本 (5 个稳定版)
新 1.1.0-rc.2 | 2024 年 8 月 22 日 |
---|---|
1.0.5 | 2024 年 7 月 30 日 |
1.0.0-rc.2 |
|
0.21.0 | 2024 年 3 月 12 日 |
0.11.1 | 2022 年 8 月 13 日 |
#61 in 加密学
14,989 每月下载量
用于 18 crates
8MB
104K SLoC
RISC Zero zkVM 是一种 RISC-V 虚拟机,可以生成它执行的代码的零知识证明。通过使用 zkVM,可以生成一个加密的零知识证明收据,任何人都可以验证zkVM 的客户代码生成了收据。发布收据不会透露关于代码执行(例如,提供的输入)的任何额外信息。
以下是一些额外的(非参考)资源,您可能也会觉得有用,特别是如果您是 RISC Zero zkVM 的初学者。这些包括
- 我们的zkVM 教程,它将引导您编写第一个 zkVM 项目。
cargo risczero
工具。它包含一个new
命令,用于生成构建和启动 zkVM 客户端的代码,并提供了关于项目最常修改主机和客户代码的指导。- 示例,其中包含使用我们的 zkVM 的各种示例。
- 此视频片段来自我们在 ZK Hack III 的演示,它概述了 RISC Zero zkVM。我们的YouTube 频道还有更多视频。
- 我们使用rust guest workarounds GitHub标签跟踪已知解决方法的zkVM问题。如果您在zkVM中运行代码时遇到问题,您可以查看是否有解决方法,如果您正在使用解决方法,您可以跟踪何时将其解决为永久解决方案。
- 更多内容请访问RISC Zero开发者网站!
箱子特性标志
以下特性标志受支持。
请注意,为了在客户端使用risc0-zkvm
,您必须通过设置default-features = false
禁用默认特性。
特性 | 目标 | 隐含 | 描述 |
---|---|---|---|
客户端 | 除了rv32im以外的所有 | std | 启用客户端API。 |
cuda | 证明,std | 为证明者启用CUDA GPU加速。需要安装CUDA工具包。 | |
disable-dev-mode | 除了rv32im以外的所有 | 禁用开发模式,以便证明和验证可能不会被伪造。用于防止错误的RISC0_DEV_MODE 在生产系统中破坏安全性。 |
|
metal | macos | 证明,std | 为证明者启用Metal GPU加速。 |
证明 | 除了rv32im以外的所有 | std | 启用证明者,在zkvm客户端中不兼容。 |
std | 所有 | Rust stdlib支持。 |
依赖关系
~7–29MB
~436K SLoC