Succinct SP1：最快zkVM，性能提升28倍

Succinct融资5500万美元，Paradigm领投的顶级ZK项目

Succinct，这家由Paradigm领投两轮融资的公司，最近筹集了5500万美元。其核心产品SP1，是目前市场上最快的zkVM（零知识虚拟机）。

SP1的性能可谓是行业领先，其证明速度比其他zkVM高出最高28倍，成本仅为它们的几分之一。此外，SP1支持使用Rust编写ZKP（零知识证明），这使得开发者能够复用现有的代码库，极大地提升了开发效率，达到了100倍的提升。更重要的是，SP1已经通过了顶级审计，并被Polygon、Celestia等大型项目所采用，证明了其在生产级用例中的可靠性。

什么是SP1？

SP1是一种通用的零知识虚拟机（zkVM），它允许开发者使用Rust（或任何支持LLVM编译的语言）编写普通代码，并生成高效的零知识证明，用于验证程序的正确执行。简单来说，SP1让开发者能够使用他们熟悉的编程语言，快速构建出具备密码学安全性的可验证计算应用，无需深入研究复杂的密码学理论。

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

零知识证明（ZKP）可以在不泄露任何输入数据的情况下，证明某段计算的正确性。这种能力在区块链中有广泛的应用场景：扩容、互操作性、隐私保护、桥梁和预言机等。然而，传统的ZKP开发过程复杂且成本高昂，需要专业的密码学团队和漫长的开发周期。SP1的出现彻底改变了这一现状。

SP1的特点

1.当前最快最强的zkVM

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

2.支持用Rust写ZKP

SP1允许开发者使用Rust编写ZKP逻辑，并直接复用现有的Rust生态库（如revm、reth、alloy等）。开发人员可以直接拿现成的区块链节点代码稍加改造，就能生成ZKP，省去了从头编写复杂电路的麻烦。

3.预编译：性能的秘密武器

SP1引入了“预编译”机制，针对常见的加密操作（如keccak、sha256、签名验证等）进行了高度优化。这些预编译大幅减少了计算开销，让SP1在处理复杂区块链工作负载时如虎添翼。例如，SP1运行ZK Tendermint轻客户端，直接将验证时间从2.2小时缩短至4.6分钟。

4.100%开源，代码安全

SP1是100%开源的（MIT/Apache 2.0许可）。它的模块化架构允许开发者自定义“预编译”，优化特定用例的性能。与传统闭源zkVM不同，SP1拥抱社区贡献，吸引了来自Polygon、Celestia、Sovereign Labs等团队的开发者共同完善。且SP1已经过多家顶级ZK安全公司的多次审计，并在公开审计竞赛中取得“零高危漏洞”的优异成绩。

5.优质合作伙伴

Polygon、Celestia、Avail、Taiko等都采用了Succinct的SP1来构建ZKP，保障了超过10亿美元的链上资产（TVL）。从Rollup到跨链桥，从预言机到隐私协议，SP1正在成为区块链基础设施的标配。

SP1的应用场景

SP1在区块链领域实现了多种用例：

Rollup：使用SP1构建ZK Rollup，生成状态转换的零知识证明，连接以太坊或比特币等主链，实现高吞吐量和低成本。例如，OP Succinct使用SP1为OP Stack提供生产级证明引擎。

跨链桥：SP1可验证Layer 1的共识（如Tendermint或以太坊轻客户端），构建安全高效的跨链桥。例如，SP1 Blobstream在以太坊上验证Celestia的数据根，SP1 Vector则将Avail的Merkle根中继到以太坊。

互操作性：通过SP1，Rollup间可以实现快速确定性和互操作性，助力Polygon的AggLayer等项目。

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

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

聚合：SP1能聚合同类ZKP，进一步降低链上验证成本，Nebra等项目正在探索这一方向。