SP1

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

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

入门指南

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

要开始使用，请确保您已安装Rust。然后遵循SP1书籍中的安装指南并阅读入门指南部分。

安全性

SP1已经接受了来自Veridise、Cantina 和 KALOS 的审计，并建议用于生产环境。审计报告可在此处找到。

对贡献者

开源是SP1理念的核心，也是其优势的关键。我们希望培养一个充满活力的开源贡献者社区，涵盖个人、团队和地理分布。如果您想贡献或跟进贡献者讨论，可以使用我们的主要Telegram与我们聊天。我们的贡献指南可在CONTRIBUTING.md中找到。关于开发技巧的简要概述可在DEVELOPMENT.md中找到。

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