我们很高兴向您介绍 Succinct Processor 1（SP1），这是一款革命性的零知识证明虚拟机（zkVM）。SP1 能够验证任意 Rust 程序（或任何 LLVM 编译语言程序）的执行，其性能相比现有 zkVM 实现有数量级的提升——在特定场景下，其 Alpha 版本的证明生成速度最高提升达 28 倍，表现甚至可与定制化电路方案相媲美。
SP1 秉持 100% 开源、社区友好的理念，旨在通过协作方式共同构建适用于 Rollup、协处理器及其他零知识证明应用的最佳 zkVM。它持续演进，致力于打破现有黑盒 zkVM 难以定制、难以同步最新证明系统进展的现状。👉 立即体验 SP1 的强大性能
可编程的未来：零知识证明的新范式
零知识证明（ZKP）是一种强大的密码学原语，能够推动新一代更安全、可扩展且创新的区块链架构的发展，实现“基于真理而非信任”的机制。然而，由于涉及复杂的数学理论和专业框架，ZKP 的普及一直面临较高门槛。
高性能通用 zkVM（如 SP1）的出现，将改变现有依赖专业团队手工开发定制 ZK 技术栈的模式。未来，所有区块链基础设施（包括 Rollup、跨链桥、协处理器等）都将能够通过 Rust 或其他 LLVM 编译语言编写可维护的软件来集成零知识证明技术。
领先的性能表现
SP1 在多个实际应用场景（如跨链桥验证和默克尔证明验证）中表现出卓越的性能。这一成果源于多项前沿设计，包括：
- 采用跨表查找架构；
- 支持可定制的“预编译”系统，能够在几乎不增加递归开销的情况下加速性能瓶颈；
- 充分利用最新证明系统的进展。
SP1 首次证明了通用 zkVM 不仅能在性能上与基于电路的方法竞争，还能大幅提升开发效率。
在实际负载中最高提速 28 倍
通过对多个程序的基准测试，SP1 在三种典型负载上实现了 4 到 28 倍的性能提升。测试环境为单台配备 64 核 ARM CPU 和 512GB 内存的机器。在生产环境中，通过集群并行证明，可进一步显著降低延迟。
例如，在 ZK Tendermint 轻客户端应用中，SP1 将证明时间从 2.2 小时缩短至4.6 分钟，展现出颠覆性的实用价值。
媲美定制电路，开发效率提升百倍
更值得注意的是，SP1 以预编译为核心的架构使其性能媲美甚至超越手工定制的电路方案。例如在 SSZ 默克尔证明验证中，zkVM 凭借支持条件计算的灵活性，实际表现优于定制电路。
使用 SP1 的开发效率比定制电路高 100 倍以上，且代码更易维护，同时在证明生成速度和成本方面仍具备竞争力。
开源共建：从第一天起就为生态定制而生
当前的 zkVM 多由封闭团队单体开发，难以定制和跟进最新技术进展。SP1 彻底改变了这一模式：
- 100% 开源（采用 MIT/Apache 2.0 协议），代码完全透明；
- 架构模块化，支持从核心层面进行定制；
- 用户可通过添加“预编译”模块显著提升性能。
这种开放性使 SP1 不仅能优于现有 zkVM，还能在多种应用中与定制电路竞争。
拥抱开源的“市集”模式
SP1 积极采用高质量的开源依赖（如 Plonky3），以复合零知识证明技术的指数级进步，打造面向未来的 zkVM。我们相信，最终的 zkVM 应像 Linux 一样：由来自不同公司和地区的贡献者共同维护的自由开源软件。
目前，已有多个团队及个人向 SP1 提交代码合并请求，包括 Succinct Labs、Sina（Witness CEO）、Aayush（ZK email）和 Preston（Sovereign Labs CTO）等。SP1 仍在快速发展中，我们以透明开放的精神开源项目，邀请社区共同参与建设。
开始使用 SP1
SP1 的代码库位于：https://github.com/succinctlabs/sp1。请注意，SP1 目前处于 Alpha 阶段，尚未建议用于生产环境。
开发者现已可以使用 Rust（支持 std）编写程序（包括复杂应用如 Tendermint 轻客户端），生成并验证证明。SP1 支持通过分片机制对任意长度程序生成证明，并为所有分片生成全局证明。
以下是一些基于 SP1 构建的典型用例：
- 优化的 Tendermint 轻客户端；
- 优化的以太坊轻客户端；
- 无状态 EVM 协处理器。
若您有兴趣参与 SP1 开发，欢迎查看 GitHub 仓库中的开放议题。
路线图：未来几个月，我们计划对核心 VM 约束和逻辑进行审计，进一步优化性能，并支持递归链上验证，以实现将 SP1 的 STARK 证明转换为 groth16 证明，从而低成本地应用于以太坊智能合约中。
常见问题
什么是 zkVM？
zkVM（零知识证明虚拟机）是一种能够生成执行轨迹零知识证明的虚拟机。它允许开发者使用高级语言（如 Rust）编写程序，并自动生成证明，无需手工设计密码学电路。
SP1 相比其他 zkVM 有哪些优势？
SP1 在性能上具有显著优势，通过预编译和跨表查找等机制大幅提升证明速度。同时，它完全开源、模块化设计，支持社区共同演进，避免被单一团队锁定。
SP1 适用于哪些场景？
SP1 可广泛应用于区块链 Rollup、跨链桥、协处理器、轻客户端及需要可验证计算的其他领域，尤其适合需要高性能和可维护性的复杂应用。
如何开始贡献代码？
您可以在 SP1 的 GitHub 仓库中查看开放议题，提交代码或提出改进建议。项目采用开放治理模式，欢迎所有技术贡献。
SP1 是否支持其他编程语言？
目前 SP1 主要支持 Rust 及任何能编译为 LLVM 中间表示的语言，未来可能会扩展更多语言支持。
证明时间与硬件配置的关系如何？
证明时间随硬件性能提升而减少，特别在多核和高内存配置下表现更佳。SP1 支持集群并行证明，适合大规模生产环境部署。
致谢
SP1 的实现离不开众多前辈和团队的工作，我们要特别感谢 StarkWare 在 STARK 和 zkVM 领域的开创性贡献，Polygon Zero Labs 团队开发了 Plonky2 和 Plonky3，Risc0 提出的 RISC-V zkVM 愿景，以及 Daniel Lubarov、Max Gillet 和 Ulrich Habock 等人在密码学理论上的贡献。
附录注：本文中涉及的性能数据基于特定测试环境，实际结果可能因硬件、负载特性及软件版本有所不同。SP1 仍在快速迭代中，性能数据可能持续优化。
