Succinct的SP1：当前最快的zkVM

Succinct是一个顶级ZK项目，其核心产品SP1是目前最快的zkVM。该项目已获得5500万美元融资。

SP1具有以下特点：

• 性能领先，证明速度比其他zkVM高出最多28倍，成本大幅降低。

• 支持使用Rust编写ZKP，可复用现有代码库，开发效率提升100倍。

• 支持生产级应用，经过专业审计，被多个大型项目采用。

一、SP1简介

SP1是一种通用零知识虚拟机(zkVM)，允许开发者使用Rust或其他支持LLVM编译的语言编写普通代码，生成高效的零知识证明，用于验证程序的正确执行。

SP1的核心创新在于大幅降低了零知识证明的开发门槛，同时保持了出色的性能和灵活性。它使ZKP的开发变得像编写普通软件一样简单，让区块链基础设施(如Rollup、跨链桥、预言机等)能够通过可维护的代码实现可验证性。

零知识证明(ZKP)可以在不泄露任何输入数据的情况下，证明某段计算的正确性。这种技术在区块链领域有广泛应用，包括扩容、互操作性、隐私保护以及桥梁和预言机等。

然而，传统ZKP开发非常复杂，需要专业的密码学团队、长期的开发周期和高昂的维护成本。SP1的出现彻底改变了这一现状。

二、SP1的特点

1. 性能卓越

在实际区块链工作负载(如轻客户端验证、Rollup等)上，SP1比其他zkVM快4-28倍，性能甚至可以媲美手工优化的专用电路。最新版本SP1 Turbo (v4.0.0)在GPU集群上运行时，验证以太坊主网区块仅需40秒，成本低至几美分。

2. 支持Rust开发

SP1允许开发者使用Rust编写ZKP逻辑，并直接复用现有的Rust生态库。开发人员可以直接利用现成的区块链节点代码进行简单改造，就能生成ZKP，省去了从头编写复杂电路的麻烦。

3. 预编译机制

SP1引入了"预编译"机制，针对常见的加密操作(如keccak、sha256、签名验证等)进行了高度优化。这些预编译大幅减少了计算开销，显著提升了SP1处理复杂区块链工作负载的效率。例如，SP1运行ZK Tendermint轻客户端，将验证时间从2.2小时缩短至4.6分钟。

4. 开源和安全性

SP1是完全开源的项目(MIT/Apache 2.0许可)。其模块化架构允许开发者自定义"预编译"，优化特定用例的性能。SP1吸引了来自多个知名项目的开发者共同完善。

此外，SP1已经过多家顶级ZK安全公司的多次审计，并在公开审计竞赛中取得"零高危漏洞"的优异成绩。

5. 广泛的合作伙伴

多个知名项目都采用了SP1来构建ZKP，保障了超过10亿美元的链上资产(TVL)。从Rollup到跨链桥，从预言机到隐私协议，SP1正在成为区块链基础设施的标准配置。

三、SP1的应用场景

SP1在区块链领域有多种应用：

• Rollup：使用SP1构建ZK Rollup，生成状态转换的零知识证明，连接以太坊或比特币等主链，实现高吞吐量和低成本。

• 跨链桥：SP1可验证Layer 1的共识(如Tendermint或以太坊轻客户端)，构建安全高效的跨链桥。

• 互操作性：通过SP1，Rollup间可以实现快速确定性和互操作性。

• 预言机：SP1支持链下大规模计算(如历史状态查询、链上机器学习)，并生成链上可验证的证明，大幅降低Gas成本。

• 隐私：SP1可实现私人交易和状态，保护用户数据安全。

• 聚合：SP1能聚合同类ZKP，进一步降低链上验证成本。