16 GPU 实时证明：Succinct 如何改写以太坊 L1 扩容路径？| ETHPanda 推荐

Succinct 是第一个使用 16 个 GPU 实现实时证明的团队，这是朝着以太坊基金会将 zkEVM 引入 L1 的目标迈出的突破性一步。

Succinct 是第一个使用 16 个 GPU 实现实时证明的团队，这是朝着以太坊基金会将 zkEVM 引入 L1 的目标迈出的突破性一步。最新版本的 SP1 Hypercube zkVM 在 16 个 NVIDIA RTX 5090 GPU 上，能在 12 秒内证明 99.7% 的 L1 以太坊区块，并在 10 秒内证明 95.4% 的区块。

今年 5 月，Succinct 创造了历史，成为第一个实时证明以太坊的团队。这一堪比「登月时刻（man-on-the-moon moment）的成就」 改变了 L1 的路线图，因为以太坊基金会承诺将零知识证明作为其 2026 年及以后的核心扩展解决方案。今天，我们将这一目标推向更远的地平线。

未来，L1 验证者将不再重新执行区块。相反，他们将验证简洁的 ZK 证明（zero-knowledge proofs），以证明区块执行的正确性。正如著名研究员 Justin Drake 所描述的，这将允许以太坊实现水平扩展，解锁每秒 1 Gigagas（约 10,000 TPS）的处理能力，这对于服务现实世界的用例至关重要。这种证明验证机制还将允许原生 Rollup（native rollups） 与基础层进行交互，从而实现最小的延迟和即时的互操作性。

实时证明时代已来

这一里程碑是过去六个月对算术化层（arithmetization layer）、GPU 证明器、执行器速度和集群编排进行不懈优化的结果。

在一组包含 954 个区块的随机样本中（取自区块高度 23,807,739 到 23,812,008），最新版本的 SP1 Hypercube 在由 16 个 NVIDIA RTX 5090 GPU 组成的集群上，实现了在 12 秒内对 99.7% 的 L1 以太坊区块进行实时证明，并在 10 秒内实时证明 95.4% 的区块。

但仅有速度而没有安全保障是不够的。

SP1 已经为 Polygon、Celestia、Avail 和 Mantle 等领先团队保护着数十亿美元的总锁仓价值（TVL）。但随着我们推进在以太坊 L1 上部署 zkVM，生产就绪性和安全性的标准变得更高。

随着 SP1 Hypercube 的发布，我们正大力推动将部署的实际保障措施与严格的理论安全保证相结合。这种全面的方法将使开发人员有信心在生产环境中信任这项技术。

RISC-V 约束的形式化验证

我们与 Nethermind 和以太坊基金会合作，形式化验证了所有 RISC-V 约束的正确性。这种数学上的正确性证明使 SP1 有别于仅依赖审计或测试的竞争对手。结合我们现有的安全投入（包括严格的第三方审计和安全专家的审查），以及我们只需一行代码即可添加 TEE（可信执行环境）保护的新增 SP1-2FA 功能（只需一行代码即可添加 TEE 保护），SP1 Hypercube 提供了以太坊 L1 所要求的安全保证。

消除对邻近间隙猜想（Proximity Gap Conjectures）的依赖

SP1 Hypercube 是第一个完全消除对「邻近间隙猜想」需求的通用哈希型 zkVM：这些数学假设长期用于所有基于哈希的 zkVM 的安全分析。以太坊基金会曾提供奖金来解决这些猜想，而最近的研究证明它们在最普遍的形式下是错误的。其他 zkVM仍 继续依赖这些被推翻的假设，而Hypercube 则通过完全消除这种依赖性来实现毫不妥协的正确性。

敬请期待更多内容

SP1 Hypercube 正在完成最后一轮审计，随后将开源并在 Succinct 证明器网络上可用。SP1 Hypercube 也将被集成到 Succinct 的所有产品中，包括 OP Succinct 和我们即将推出的 Arbitrum 集成。这将为我们所有的客户提高成本效益、性能和安全性。

如果您正在寻找使用顶级加密团队信任的技术来构建 ZK 应用程序，请在此处联系我们。

作者 | Succinct
翻译 | Y4NG
校对 | Plato
编排 | Quentina

👇 欢迎关注 ETHPanda 获取更多资讯！