SP1 Hypercube 现已主网上线

Succinct 发布于 2026-02-20 阅读 100

SP1 Hypercube 是 Succinct 团队推出的最先进的 zkVM,现已主网上线。

博客/ 网络/SP1 Hypercube 现已上线主网

SP1 Hypercube 现已上线主网

SP1 Hypercube 是生产环境中最先进、最安全、最受信任的 zkVM。由首个实时证明以太坊的团队打造。

今天,SP1 Hypercube 在主网上线,标志着行业的转折点

以太坊基金会为 L1 zkEVM 设定了雄心勃勃的愿景,并提出了实时证明的明确标准安全性要求。SP1 Hypercube 已经超越了路线图。实时证明不再是一个研究目标。它现在是生产就绪的基础设施,可供任何开发者使用。

开始使用 SP1 Hypercube,在几分钟内生成快速、便宜且安全的证明。

生产环境中最高级的 zkVM

2025年5月,我们创造了历史,成为首个实时证明以太坊的团队。六个月后的2025年11月,我们更进一步。SP1 Hypercube 成为首个仅用 16 块 NVIDIA RTX 5090 GPU 在 12 秒内证明 99.7% 的以太坊区块的 zkVM。

https://x.com/SuccinctLabs/status/1990764341264855356

这代表了非凡的性能提升。

  • 比 SP1 Turbo 快 4 倍,适用于计算密集型工作负载
  • 在预编译密集型的以太坊证明工作负载上快 2 倍
  • GPU 效率在 6 个月内提升了 12.5 倍(从 200 块 GPU 减少到 16 块)

这些成果源于 Succinct 团队开发的新型密码学技术。SP1 Hypercube 是首个完全基于多重线性多项式证明系统(而不是传统的单变量 STARK)构建的 zkVM。SP1 Hypercube 的核心是我们新颖的 Jagged PCS(多项式承诺方案),它实现了“按需付费”的架构。

现在,实时证明对每个人来说都触手可及。一个能够证明 99.7% 主网区块的集群,使用优化硬件可以以不到 10 万美元的成本构建,使家庭证明变为现实。

Twitter 嵌入

SP1 Hypercube 将在未来几周内上线主网。

@eth_proofs,Succinct 的密码学负责人 @tamirhemo 进行了约 10 分钟的快速介绍,讲述了我们如何构建首个实时证明以太坊的系统。

答案?一个全新的证明系统。pic.twitter.com/upt2sLnabJ

— Succinct (@SuccinctLabs) 2025年12月18日

首个经过形式化验证的 zkVM

Succinct 的证明系统已经为 Mantle、Polygon、Celestia 和 Celo 等领先团队保护了数十亿美元的 TVL。为了让 SP1 Hypercube 准备上线主网,我们需要将生产就绪和安全性的标准提升到更高水平。

SP1 Hypercube 是首个对所有核心 RISC-V 约束完成形式化验证的 zkVM。在与 Nethermind Security 和以太坊基金会的合作中,我们已对所有 62 个 RISC-V 操作码与官方 RISC-V Sail 规范进行了数学验证。

SP1 Hypercube 也是首个消除对邻近间隙猜想依赖的通用基于哈希的 zkVM。以太坊基金会曾为解决这些猜想设立奖项。SP1 Hypercube 通过完全移除这一依赖,实现了不折不扣的正确性。

此外,多项独立的第三方安全审计已经完成并通过,确保 SP1 Hypercube 满足 L1 部署所需的生产就绪安全标准。对于敏感计算,SP1-2FA 通过一行代码即可提供 TEE(可信执行环境)保护。

保护超过 30 亿美元 TVL 的 zkVM

领先团队信任 SP1。SP1 Turbo 已保护了超过 30 亿美元的总锁仓价值,并且迄今为止已生成了超过 600 万个证明。

OP SuccinctOP Succinct Lite,我们面向 OP Stack Rollup 的旗舰产品,能够提供完整的 ZK 有效性证明,将乐观 Rollup 转变为 Type-1 zkEVM。多个团队目前正在生产环境中使用 OP Succinct,我们的 Arbitrum 集成即将推出。超过 35 个合作伙伴正在使用 SP1 进行构建,受益于能够使用标准 Rust 编写程序,开发速度比自定义电路快 100 倍。

“SP1 和 Prover 网络的性能让我们惊叹不已。

在使用 Succinct 之前,我们编写了数千行的自定义电路。现在,我们只需维护一个简单的 Rust 程序,便能快速且低成本地生成证明。

我唯一的遗憾是我们没有更早切换。”

RyanPrism 的创始人

与以太坊基金会共同交付 L1 zkEVM

2025年7月,以太坊基金会发布了针对 L1 zkEVM 部署的实时证明标准。几个月后,EF 呼吁安全性要与速度相匹配

SP1 Hypercube 已经达到了最严苛的速度标准(延迟、资本支出和功耗),并对其他标准有清晰的实现路径。

我们正与 EF 密码学团队直接合作,推进 SoundCalc 集成和未来的安全里程碑。以太坊基金会的 12 月文章特别引用了 JaggedPCS 作为“近期密码学进展”的示例,这些进展使得安全性和证明大小的目标变得易于实现。SP1 Hypercube 正是基于 Succinct 密码学家发明的这些基础构建的。

这些成就解锁了以太坊 2026 年及以后的路线图。正如 Justin Drake 所述,这将使以太坊能够水平扩展,达到每秒 1 Gigagas,这是实现实际用例的关键阈值。

SP1 Hypercube 今日上线

SP1 Hypercube 现已集成到 Succinct Prover Network 中,可供使用。现有的 SP1 Turbo 用户只需做最少的改动即可迁移升级。

无论你是构建新项目,还是从 Turbo 升级,只需几分钟即可开始:开始使用 SP1 Hypercube

对于企业部署或自定义集成,请联系我们的团队

有关技术细节,请查阅我们的文档:

  • 原文链接: blog.succinct.xyz/sp1-hy...
  • 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~

相关文章

0 条评论