SP1

SP1 是最快的、功能最完整的零知识虚拟机（zkVM），可以证明任意 Rust（或任何 LLVM 编译的语言）程序的执行。SP1 通过使编写 ZKP 程序变得容易，使得 ZK 对 任何开发者 都变得可访问。

安装 | 文档 | 示例 | Telegram 聊天

入门

今天，开发者可以使用 Rust（带 std 支持）编写程序，包括像 ZK Tendermint 轻客户端或类型 1 zkEVM 这样复杂的大型程序，使用 Reth 生成证明并验证它们。大多数 Rust crate 都应该受支持，并且可以无缝地由您的程序使用。示例程序可以在 示例 文件夹中找到。

要开始，请确保您已安装 Rust。然后按照 SP1 书籍中的 安装指南 进行操作，并阅读 入门 部分。

安全性

SP1 已经过 Veridise、Cantina 和 KALOS 的审计，并建议用于生产使用。审计报告可在 此处 找到。

对于贡献者

开源是 SP1 精神的核心，也是其优势的关键。我们希望培养一个由个人、团队和地理分布广泛的活跃的开源贡献者社区。如果您想贡献或跟进贡献者讨论，您可以使用我们的主要 Telegram 与我们聊天。我们的贡献者指南可以在 CONTRIBUTING.md 中找到。开发提示的快速概述可在 DEVELOPMENT.md 中找到。

我们一直在寻找对大小任务都感兴趣的贡献者，包括在代码库中完成一些小杂事、优化性能、添加常用加密操作的预编译、添加文档、创建新的示例程序等等。如果您对此感兴趣，请在Telegram聊天中联系我们！