Succinct SP1：速度之王zkVM，性能提升28倍

Succinct 完成 5500 万美金融资，Paradigm 领投，其核心产品 SP1 是当前最快的 zkVM。

免费的交易所推荐：

• 欧易交易所 >>>进入官网<<< >>>官方下载<<<
• 币安交易所 >>>进入官网<<< >>>官方下载<<<

Succinct，这家公司融了 5500 万美金，背后是 Paradigm 领投的两轮投资，绝对是 ZK 领域的明星项目。他们最厉害的产品就是 SP1，号称是现在速度最快的 zkVM。

• 性能超群：SP1 的证明速度比其他 zkVM 快了 28 倍，成本也低到让人难以置信。
• 开发效率高：支持用 Rust 编写 ZKP，直接用现成的代码库，开发效率直接提升 100 倍。
• 应用广泛：已经通过了顶级安全审计，被 Polygon、Celestia 这样的大项目采用。

一、SP1 到底是什么？

SP1 就像一个通用的零知识虚拟机（zkVM），开发者可以用 Rust 这样的通用编程语言编写代码，然后生成高效的零知识证明，用来验证程序的正确性。

说白了，SP1 就是让开发者用熟悉的语言，快速开发出具有密码学安全性的应用，不需要懂那些复杂的密码学理论。

SP1 最大的创新就是降低了零知识证明的开发门槛，同时保证了顶级的性能和灵活性。让 ZKP 变得像写普通软件一样简单，让各种区块链基础设施都能通过可维护的代码实现可验证性。

零知识证明（ZKP）可以在不泄露任何数据的情况下，证明某段计算的正确性。这种能力在区块链里简直是万能的：

• 扩容：通过 Rollup，ZKP 可以把大量交易压缩成一个证明，减轻主链的负担。
• 互操作性：ZKP 可以验证不同链的状态，促进跨链通信。
• 隐私：ZKP 可以保护交易或状态的隐私，保护用户数据。
• 桥梁和预言机：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 代码库。

开发者可以直接拿现成的区块链节点代码，稍加修改就能生成 ZKP，省去了从头编写复杂电路的麻烦。

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

SP1 引入了“预编译”机制，针对常见的加密操作进行了高度优化。这些预编译大幅减少了计算开销，让 SP1 在处理复杂区块链应用时更加高效。比如，SP1 运行 ZK Tendermint 轻客户端，直接将验证时间从 2.2 小时缩短到 4.6 分钟。

4.100% 开源，代码安全

SP1 是 100% 开源的（MIT/Apache 2.0 许可）。它的模块化架构允许开发者自定义“预编译”，优化特定用例的性能。SP1 拥抱社区贡献，吸引了来自 Polygon、Celestia、Sovereign Labs 等团队的开发者共同完善。

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

5.合作伙伴都是大佬

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

三、SP1 的应用场景

SP1 在区块链中有很多用例：

• Rollup：用 SP1 构建 ZK Rollup，生成状态转换的零知识证明，连接以太坊或类似的主链，实现高吞吐量和低成本。例如，OP Succinct 使用 SP1 为 OP Stack 提供生产级证明引擎。
• 跨链桥：SP1 可以验证 Layer 1 的共识，构建安全高效的跨链桥。例如，SP1 Blobstream 在以太坊上验证 Celestia 的数据根，SP1 Vector 则将 Avail 的 Merkle 根中继到以太坊。
• 互操作性：通过 SP1，Rollup 间可以实现快速确定性和互操作性，助力 Polygon 的 AggLayer 等项目。
• 预言机：SP1 支持链下大规模计算，并生成链上可验证的证明，大幅降低 Gas 成本。
• 隐私：SP1 可以实现私人交易和状态，保护用户数据安全。
• 聚合：SP1 能聚合同类 ZKP，进一步降低链上验证成本，Nebra 等项目正在探索这一方向。