# Succinct SP1 zkVM
介绍

By [dldw1314](https://paragraph.com/@starkware123) · 2025-03-26

---

**一、什么是 SP1 zkVM**
------------------

SP1 zkVM 是由 Succinct Labs 开发的零知识虚拟机 (zkVM)。这是一款开源工具，旨在使零知识证明 (ZKP) 更快、更高效、更易于开发人员使用。本质上，它允许开发人员证明程序已正确执行，而无需泄露底层数据，同时利用 Rust 等熟悉的编程语言。

以下是它的含义以及工作原理的详细说明：

*   零知识证明 (ZKP)：这些加密技术允许一方（证明者）向另一方（验证者）证明某个陈述是真实的（例如，计算正确完成），而无需泄露任何额外信息。SP1 zkVM 可自动为任意程序执行此过程。
    
*   虚拟机 (VM)：像 SP1 这样的 zkVM 充当“虚拟计算机”，运行程序并生成 ZKP 以验证其执行情况。与需要编写复杂数学电路的传统 ZKP 系统不同，SP1 允许开发人员使用标准 Rust 代码（或其他 LLVM 编译语言）来定义其逻辑。
    

![](https://storage.googleapis.com/papyrus_images/f0e3810414fc1329b073f0169504de56fe70453608e4d18a406f39107d6bcf5b.png)

**SP1 zkVM 的特性**
----------------

**1、SP1 功能齐全**

SP1 是 唯一 支持一系列功能的 **zkVM ，包括预编译**、 **高效递归** 和 **链上 EVM 验证，** 这些功能使任何开发人员都可以使用 ZK

1）编写 Rust 并使用现有的板条箱（支持“std”）。

2）通过预编译和GPU证明器实现无与伦比的性能。

3）链上EVM验证。

4）开源。

5）经过最优秀机构的审核。

6）获得顶级团队信赖的生产用例。

![](https://storage.googleapis.com/papyrus_images/d94080967ab83d763c820feb52918cb5aa98f11a9916d1c2ffacf97a6830c292.png)

2、**SP1 是速度最快的 zkVM**

随着成本和延迟的降低，ZKP 证明器的性能呈指数级增长。自 2 月份 SP1 首次发布以来， SP1 的性能提高了一个数量级，预计到今年年底将再提高 5 倍。SP1 将继续改进 ZKP 的最新技术，目标是实现极其廉价的实时证明。

![](https://storage.googleapis.com/papyrus_images/b9c53aad08c939fbbc0dfa3a8e3f88e01f5c77c00120e1d0330976b66a07adab.png)

SP1 的性能与其他 zkVM 进行了基准测试，发现 SP1 的性能  在成本和延迟方面都 提供了**数量级的改进，适用于 Tendermint 轻客户端和以太坊区块验证等**_实际_ 用例。之前的基准测试仅包括 SP1 的 CPU 实现，而我们在这些结果中还包括了 SP1 的 GPU 实现，并表明 SP1 **在性能和成本方面都是市场领先的 zkVM，最高可达 10 倍**。

---

*Originally published on [dldw1314](https://paragraph.com/@starkware123/succinct-sp1-zkvm-2)*