49 个版本 (5 个稳定版)

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 日

#61 in 加密学

Download history 2418/week @ 2024-05-03 2823/week @ 2024-05-10 3170/week @ 2024-05-17 1987/week @ 2024-05-24 2582/week @ 2024-05-31 2617/week @ 2024-06-07 2417/week @ 2024-06-14 3035/week @ 2024-06-21 2719/week @ 2024-06-28 3403/week @ 2024-07-05 4601/week @ 2024-07-12 4029/week @ 2024-07-19 4794/week @ 2024-07-26 3659/week @ 2024-08-02 3480/week @ 2024-08-09 2420/week @ 2024-08-16

14,989 每月下载量
用于 18 crates

Apache-2.0 和可能 LGPL-3.0-or-later

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