跳到主要内容

统一验证层之战：ZK 证明聚合成为以太坊缺失的 L2 可组合性原语

· 阅读需 16 分钟
Dora Noda
Dora Noda
Software Engineer

以太坊有一个潜藏在眼前的 400 亿美元问题。到 2026 年第三季度，Layer 2 的 TVL 预计将首次超过主网 DeFi —— Rollup 上约为 1500 亿美元，而 L1 上为 1300 亿美元。问题在于：这 400 亿美元的 L2 价值被困在 60 多个相互隔离的网络中，每个网络都有自己的桥接器、流动性池、证明系统和终局性定义。以太坊实现了扩展，只是扩展成了一个“镜子迷宫”。

现在的共识是，解决方案在于某种形式的“统一验证”。争论的焦点在于哪种形式会胜出。Polygon AggLayer、Risc Zero 的 Boundless、Succinct SP1、zkSync Boojum 以及较新的 ILITY Network 都在从不同的起点趋向于同一个见解：如果 Rollup 要表现得像一条链，就必须有人在一个地方验证它们所有的证明。这个“有人”现在是一个市场 —— 且这个市场竞争非常激烈。

没人愿意支付的碎片化税​

Vitalik Buterin 在 2026 年 2 月将 L2 重新定义为“拥有自己合法经济体系的独立平台”，这是一种委婉的承认，即以 Rollup 为中心的路线图在交付扩展承诺的同时，也带来了碎片化问题。以太坊基金会 3 月 23 日关于 L1/L2 分工的博客文章进一步重申：L1 应该是“无许可且具有极强韧性的全球结算枢纽”，而 L2 应该在执行和产品契合度上展开竞争。

在 PPT 上这看起来很简洁。但在实际生产中，这意味着在 Arbitrum 上持有 USDC 且想使用 Base 上金库的用户，必须通过第三方消息层进行桥接，接受以分钟计算的终局性延迟，并信任桥接器引入的任何安全假设。将这种摩擦放大到 60 条链上，体验就变得“比中心化交易所还糟糕”。

摩擦背后的数字解释了原因：在 2026 年的价格水平下，以太坊 L1 上的链上 SNARK 验证通常每份证明花费 250,000 到 500,000 gas。随着每个主要 Rollup 独立提交证明，累计年度 L1 验证支出达数千万美元 —— 这还是在 L2 已经针对成本进行优化之后。理论上，聚合可以将这些成本降低一个数量级。《The Block》报道称，NEBRA 的通用聚合器已在以太坊主网上线，部分原因是其节省模式足以吸引真实交易量。

到 2026 年，出现了一场五方竞赛，争夺成为这种压缩发生的底层设施。

五种架构，一个终局​

每个主要竞争者都从不同的架构切入点解决同样的问题。理解这些差异至关重要，因为它们不可互换 —— 验证层的选择会连锁影响到信任假设、延迟和可组合性。

Polygon AggLayer：悲观证明（Pessimistic Proof）之赌​

AggLayer 在 2025 年初随着悲观证明上线从概念走向主网就绪，它采取了一种防御性方法。其核心技巧是“悲观证明” —— 一种将每个连接的链默认视为可疑的 ZKP。如果链 A 声称在共享桥上有 100 个 POL 存款，AggLayer 会在数学上强制链 A 证明这一点，然后才允许提款通过。任何链都不能冒其他链存款被挪用的风险，即使它本身遭到破坏。

Polygon 的 AggLayer v1.0 预计将于 2026 年第二季度推出，而基于 Polygon Plonky3 证明器构建的 Succinct SP1 已经宣布作为跨链互操作性的性能骨干。这是一个紧密的垂直整合案例：共享桥、共享证明器、悲观结算。其权衡在于，该模型最适合使用 Polygon CDK 或兼容堆栈的链。引入具有不同证明假设的主权 Rollup 意味着需要重建部分信任模型。

Risc Zero Boundless：开放证明市场​

Boundless 于 2025 年 9 月在主网启动，Risc Zero 在同年 12 月终止了其托管证明服务 —— 强制所有证明生成通过去中心化网络进行。其架构更接近商品交易所而非结算层。GPU 运营商对证明任务进行竞标，生成证明，并通过 Risc Zero 称为“可验证工作证明”（PoVW）的机制获得奖励，其中每份证明都带有加密元数据，证明投入了多少计算量。

其核心论点是：通过将 ZK 证明生成转变为开放市场，Boundless 可以将可验证计算的成本推向执行成本。Boundless 还在其路线图中明确支持竞争性的 zkVM —— 这意味着开发人员可以将任务路由到 Risc Zero、SP1 或其他系统，而无需离开该市场。这使得 Boundless 的定位与其说是一个单一验证层，不如说是一个“流动性场所”，证明在进入特定链之前在这里进行生产和定价。

Succinct SP1：实时证明之楔​

Succinct 的 SP1 是这款 zkVM，它将基准测试之战变成了公开的竞技运动。2026 年初宣布的 “SP1 Hypercube” 更进一步 —— 声称实现了以太坊实时证明吞吐量，这是 zkVM 的终极目标，能让证明区块的速度几乎与以太坊产出区块的速度持平。如果实时证明成为基本门槛，瓶颈就会从证明者速度转移到 “聚合” 和 “验证” —— 这正是 AggLayer 试图垄断、而 Boundless 试图平民化的关键卡点。

SP1 在 AggLayer 内部的角色是最有趣的迹象。Polygon 选择 Succinct 作为证明引擎，这意味着这两个生态系统在表现出竞争态势的同时，又在底层相互锁定。更深层的问题在于，SP1 是否能保持足够的中立，成为跨多个聚合层的官方记录证明者 (prover-of-record)，还是会被纳入 AggLayer 的旗帜之下。

zkSync Boojum：垂直集成堆栈​

zkSync 的 Boojum 证明系统使用 15 个递归电路在内部聚合证明，最近发布的 Atlas 升级让 ZK Stack 链能够直接接入以太坊 L1 流动性。Vitalik 在 2025 年底公开认可了 zkSync 的工作，称其 “被低估且极具价值”，而 BoojumOS 的 2026 年路线图目标是在保持以太坊 L1 等效开发体验的同时，实现 30,000 TPS。

AggLayer 销售的是跨异构链的水平聚合，而 Boojum 销售的是单一技术家族内的垂直聚合。选择 ZK Stack，你就能开箱即用地获得证明聚合、共享流动性和统一的 UX。代价是主权：加入的代价是必须接受 Matter Labs 的技术决策。

ILITY Network：隐私优先的验证层​

ILITY 于 2026 年 1 月上线 Alpha 主网，其架构上的创新在于专为 “保护隐私” 的跨链数据验证而设计 —— 在不泄露钱包地址的情况下，证明主网上的资产所有权、持有历史和链上行为。ILITY 的论点是，公开 Web3 的 “透明度陷阱” 本身就是一个碎片化问题：用户无法在不向路径上的每个观察者暴露完整身份的情况下跨链转移状态。

其技术堆栈是一个主权 Layer-1 区块链，配备了针对跨链数据检索优化的 ZK 引擎。ILITY 筹集了 200 万美元的种子轮资金来构建验证层，其战略定位与 AggLayer 的跨链桥安全模型或 Boundless 的开放证明者市场截然不同 —— ILITY 在隐私维度上进行竞争，而 MiCA 驱动的合规压力和机构金库需求正汇聚在机密跨链原语上。

zkVerify 变数​

在五方博弈之外，zkVerify 于 2025 年 9 月 30 日上线了主网，作为第一个专门为零知识证明验证构建的 L1。其成本降低的声称非常惊人：zkVerify 报出的验证成本不到以太坊 L1 成本的 1/100，处理时间达毫秒级，并原生支持 Groth16、UltraPlonk、RiscZero、ultrahonk、Space and Time 以及 SP1 证明。

zkVerify 的存在提出了一个各大主流玩家都不愿回答的尴尬问题：我们真的需要在以太坊 L1 上进行验证吗？如果一条专用链可以提供便宜 100 倍的验证，Rollup 与以太坊的经济关系将被重新定价。证明在 zkVerify 上结算，以太坊则成为 “安全” 锚点而非验证场所。对于 ETH 质押者来说，这意味更小的费用捕获空间。

以太坊基金会明确的优先事项 —— “让 ETH 重新成为结算中心和信任锚点” —— 在很大程度上是对这一场景的防御性反应。基金会的观点没错，谁掌握结算谁就捕获价值；悬而未决的问题是，如果经济效益向专用验证链倾斜，以太坊的社会层是否还能维持结算引力。

碎片化解决方案究竟在解决什么？​

有必要准确区分每一层解决的是哪种碎片化问题，因为营销辞令往往会模糊它们：

  • 跨链桥碎片化（AggLayer 的擅长领域）：多个具有不兼容安全模型的跨链桥。通过共享的、ZK 担保的跨链桥解决。
  • 证明生成碎片化（Boundless 和 SP1 的擅长领域）：每个 Rollup 运行自己的证明者，重复消耗 GPU 算力。通过共享证明市场解决。
  • 验证成本碎片化（zkVerify 的擅长领域）：每个 Rollup 独立支付 L1 验证 Gas。通过分摊聚合解决。
  • 身份和数据碎片化（ILITY 的擅长领域）：跨链状态查询泄露用户数据。通过隐私保护验证解决。
  • 流动性碎片化（zkSync Atlas、以太坊经济区）：资金被困在各个 Rollup 中。通过共享流动性原语或统一结算解决。

以太坊基金会的 “以太坊经济区”（EEZ）计划 —— 由 Gnosis、Zisk 和 EF 在 EthCC 上发起 —— 本质上是试图在一个意识形态框架下捆绑其中的几种解决方案。EEZ 承诺，连接的 Rollup 上的智能合约可以在单个交易中调用主网或其他 EEZ 链上的合约，从而消除了过去三年来统治跨 Rollup 交互的跨链桥依赖。

PeerDAS 的转变改变了博弈局面​

作为 Fusaka 升级一部分交付的 PeerDAS，将 blob 容量从 6 个增加到每个区块 48 个——这为 L2 提供了大约一个数量级的廉价数据可用性。Vitalik 将 PeerDAS 加上处于 alpha 阶段的 zkEVMs 描述为将以太坊推向“一种从根本上更强大、更去中心化的新型网络”。交易吞吐量的影响是实实在在的：到年底，由 PeerDAS 驱动的 rollup 合计每秒交易量（TPS）可达 12,000 次。

这种吞吐量的激增并没有解决碎片化问题——反而使其更加恶化。更多的 blob 空间意味着更多的 rollup 有能力生存，这意味着更多的验证表面、更多的桥接关系以及更多需要协调的证明系统。PeerDAS 是供应端的扩容杠杆；聚合则是需求端的协调杠杆。两者必须共同作用，才能让 L2 生态系统对用户而言像是一条单链。

这也是 Celestia 和 EigenDA 的角色被更清晰定义的领域。Celestia 拥有约 50% 的 DA 市场份额，其 Matcha 计划在 2026 年第一季度将区块大小翻倍至 128MB，这是一种纯粹的数据可用性方案——它不尝试验证证明。EigenDA V2 的 100MB / sec 吞吐量位于 EigenLayer 再质押（restaking）经济中，以太坊验证者通过重用质押的 ETH 来对数据可用性进行证明。两者都不与证明聚合竞争。通过降低 rollup 扩散的成本，两者都使聚合变得更加重要。

为什么这对基础设施提供商很重要​

对于 RPC 和索引基础设施而言，统一验证层的竞赛是一个强制函数。如今，一个跨 Arbitrum、Base、zkSync 和 Optimism 查询状态的索引器必须维护四个独立的摄取管道、四套证明处理逻辑和四个信任模型。如果 AggLayer、Boundless 或 zkVerify 赢得足够的市场份额，抽象层级将发生变化：单个证明源端点即可验证多条链的状态，索引器的工作将从协调转变为路由。

更难预测的是，2026 年没有任何一个单一层级能彻底胜出。Polygon 的 CDK 链将通过 AggLayer 路由。zkSync 生态链将通过 Boojum 路由。使用 Risc Zero zkVM 的主权 rollup 将通过 Boundless 路由。注重隐私的机构资金流可能通过 ILITY 路由。2026 年可能的终局是一个“元聚合层（meta-aggregation layer）”——一个路由器的路由器，它将证明源的异构性抽象在一个单一的查询接口之后——这是目前的传统 RPC 提供商和专业索引器都尚未大规模提供的产品。

对于构建跨链应用的开发者来说，实际的影响是假设验证的异构性并以此进行设计。锁定在单一聚合层，你就会继承其信任模型和潜在的衰落风险。构建与验证无关的状态查询，你就能在层级战争尘埃落定之际保留选择权。

2026 年的决胜问题​

诚实的评估是，这些层级中目前还没有哪一个取得了决定性的胜利。AggLayer 拥有最强的垂直整合故事，但受限于 Polygon 堆栈的采用情况。Boundless 拥有最简洁的经济模型，但依赖于足够的需求来引导竞争性的证明者（prover）市场。SP1 拥有最佳的 zkVM 基准测试表现，但在聚合战争中缺乏中立地位。Boojum 拥有最完整的 ZK Stack，但为了便利牺牲了主权。ILITY 拥有最具差异化的架构，但生态版图最小。zkVerify 拥有最清晰的成本故事，但威胁到了以太坊的结算价值捕获。

2026 年的变化在于，问题不再是统一验证是否重要，而是谁控制了发生验证的那个层级。这是一个结算层之争，而历史表明，结算层往往会合并为一两个赢家。接下来的 18 个月将揭晓合并模式是否会重演，或者 ZK 证明聚合是否会像数据可用性那样保持多元化——即在进入模块化时代的三年后，依然分散在 Celestia、EigenDA、Avail 和 PeerDAS 之中。

L2 扩张问题不会消失。总有人会因为重新缝合它而收取过路费。剩下的唯一问题是，那会是谁的收费站。

BlockEden.xyz 在塑造这一竞赛的主要 Layer 1 和 Layer 2 网络中提供生产级 RPC 和索引基础设施。随着验证层的合并和跨 rollup 可组合性成为基本要求，我们的 API 市场和多链端点可以帮助开发者构建在任何获胜的聚合层上都能保持可移植性的应用程序。

资料来源​

Share on Twitter