SP1 是一种零知识虚拟机,用于证明为 RISC-V 架构编译的程序的正确执行。
SP1 是最快、功能最全的零知识虚拟机 (zkVM)，可以证明任意 Rust (或任何 LLVM 编译的语言) 程序的执行。SP1 通过使得在正常 Rust 代码中编写 ZKP 程序变得简单，使 ZK 可供 任何开发人员 使用。 安装 | 文档 | 示例 | Telegram 聊天
今天,开发者可以使用 Reth 在 Rust (带有 std 支持) 中编写程序,包括复杂的大型程序,如 ZK Tendermint 轻量客户端或类型 1 zkEVM,生成证据并对其进行验证。大多数 Rust 库都应该受到支持,并且可以无缝地用于您的程序。示例程序可以在 examples 文件夹中找到。
SP1 已经通过 Veridise、Cantina、Zellic 和 KALOS 的审计,建议用于生产环境。审计报告可在 这里 查看。
开源是 SP1 理念的核心部分，也是其优势的关键。我们希望培养一个充满活力的开源贡献者社区，涵盖个人、团队和地域。如果您想参与贡献，或跟进贡献者讨论，可以使用我们的主 Telegram 与我们聊天。我们的贡献者指南可以在 CONTRIBUTING.md 中找到。关于开发技巧的快速概述可以在 DEVELOPMENT.md 中找到。
暂无开放 Issues，或尚未同步最近议题。