跳到主要内容

第一阶段欺诈证明上线:让以太坊 L2 真正实现去中心化信任的静默革命

· 阅读需 12 分钟
Dora Noda
Software Engineer

多年来,批评者的观点不无道理:以太坊的 Layer 2 网络并非真正地无需信任。当然,它们承诺了欺诈证明——一种允许任何人挑战无效交易的机制——但这些证明要么根本不存在,要么仅限于白名单验证者。在实践中,用户信任的是运营者,而非代码。

那个时代在 2024-2025 年宣告结束。Arbitrum、Optimism 和 Base 都已部署了无许可欺诈证明系统,实现了 L2Beat 分类的“第一阶段 (Stage 1)”去中心化。这些 Rollup 宣传的安全模型首次真正成为了现实。以下是为什么这很重要、它是如何运作的,以及它对锁定在以太坊 L2 中超过 500 亿美元资金的意义。

阶段框架:从营销口号到现实

在深入研究技术成就之前,我们需要了解 Rollup 的安全性实际上是如何衡量的。L2Beat 于 2023 年 6 月(基于 Vitalik Buterin 在 2022 年的提议)推出的阶段框架 (Stages Framework) 为评估 Rollup 的成熟度提供了明确的标准。

其直观逻辑很简单:

  • 第 0 阶段 (Stage 0):项目完全由运营者控制,证明系统“仅供参考”
  • 第 1 阶段 (Stage 1):智能合约治理 Rollup,但安全委员会可以在出现 Bug 时进行干预
  • 第 2 阶段 (Stage 2):代码控制一切——安全委员会的权力仅限于可证明的链上 Bug

多年来,几乎所有主要的 Rollup 都处于第 0 阶段。它们的欺诈证明系统要么不存在,要么未激活,要么仅限于经过挑选的验证者。营销材料中“无需信任”的承诺与现实并不相符。

这种情况发生了巨大的变化。

Arbitrum 的 BoLD:无许可验证时代来临

2025 年 2 月,Arbitrum 部署了 BoLD(Bounded Liquidity Delay,有界流动性延迟),这是一种全新的争议协议,从根本上改变了网络处理欺诈证明的方式。

BoLD 的实际作用

根据 Arbitrum 官方文档,BoLD 允许任何人参与验证链的状态——包括提交和赢得挑战——而无需获得 Offchain Labs 或任何其他人的许可。

其核心创新包括:

  • 无许可验证:任何节点运营者都可以提交欺诈证明来挑战无效的状态根
  • 有界争议解决:固定为 7 天的争议解决上限,防止延迟攻击
  • 经济安全性:挑战者通过质押资产参与,建立了利益绑定 (skin-in-the-game) 的激励机制

此前,Arbitrum 的欺诈证明系统是许可制的——只有选定的白名单验证者组才能发起挑战。这意味着用户必须信任:

  1. 这些验证者正在监控欺诈行为
  2. 他们实际上会挑战无效状态
  3. Arbitrum 不会与他们勾结

BoLD 消除了这些信任假设。现在,任何运行验证者节点的人都可以保护网络。

部署状态

BoLD 目前已在 Arbitrum One、Arbitrum Nova 和 Arbitrum Sepolia 上激活。治理提案于 2025 年 1 月初通过,随后几周内完成了部署。

正如 以太坊官方账号所指出的:“BoLD 引入了无许可验证,这意味着任何节点运营者都可以提交欺诈证明来挑战链的状态。这是一个巨大的去中心化释放,提升了 Arbitrum One 的安全性。”

Optimism 的故障证明:通往第一阶段的波折之路

Optimism 实现无许可故障证明的过程较为坎坷,但最终取得了成功。

2024 年 6 月:初始发布

2024 年 6 月 10 日,故障证明在 OP Mainnet 上线,标志着 OP Stack 的历史性里程碑。正如 Optimism 所宣布的:

“经治理批准的无许可故障证明已在 OP Mainnet 上线,随之而来的是 OP Stack 进入了第一阶段 (Stage 1) 去中心化。”

该系统允许在没有受信第三方的情况下,从 OP Mainnet 提取 ETH 和 ERC-20 代币。任何愿意参与的用户都可以对无效的提款发起挑战。

2024 年 8 月:安全挫折

两个月后,在社区驱动的审计发现漏洞后,Optimism 基金会暂时禁用了无许可欺诈证明。在 OP Labs 开发“Granite”硬分叉期间,系统恢复到了许可运行状态。

这并不是失败——这正是安全委员会在第一阶段应该做的:在漏洞造成损害之前发现并处理它们。2024 年 9 月的 Granite 升级解决了这些漏洞,无许可故障证明随后重新回归。

当前系统

目前的 OP Stack 故障证明系统 工作流程如下:

  1. 提案:任何人都可以提议声称 L2 状态的输出根
  2. 挑战期:7 天的挑战窗口
  3. 争议:如果受到挑战,通过交互式证明博弈确定真相
  4. 解决:有效的提案被最终确认;无效的提案被拒绝

安全委员会保留在紧急情况下干预的权力——这符合阶段 1 (Stage 1) 的要求。正如 Optimism 所解释的,“拥有这种后备机制是故障证明系统负责任且安全推广的一部分。”

Base 加入阶段 1 俱乐部

2024 年 10 月,Base 在主网推出了故障证明,使 Coinbase 的 L2 成为最新实现阶段 1 去中心化的主要 Rollup。

Base 的公告 强调了这对用户的意义:

“Base 已实现阶段 1 去中心化,这是我们构建开放且全球化的链上经济旅程中的一个关键里程碑。我们通过推出无许可故障证明,并利用安全委员会增加了合约升级过程的去中心化程度,实现了这一目标。”

由于 Base 使用 OP Stack,它受益于 Optimism 开发的相同故障证明系统。这展示了共享基础设施的力量——安全性改进会传播到整个超级链 (Superchain) 生态系统。

Why Stage 1 Matters: 信任博弈

要理解阶段 1 为何重要,请考虑用户在每个阶段实际信任的是什么。

阶段 0 (Stage 0) 信任假设

在阶段 0,用户信任:

  • 运营者不会窃取资金
  • 运营者不会无限期审查交易
  • 团队不会恶意升级合约
  • 白名单验证者是诚实且警惕的

阶段 1 (Stage 1) 信任假设

在阶段 1,用户信任:

  • 至少有一个诚实节点会挑战欺诈(由于是无许可的,任何人都可以参与)
  • 安全委员会不会合谋窃取(需要 8 个以上多元化成员中 75% 以上的多数票)
  • 用户在恶意升级生效前有 7 天以上的退出时间

这种差异是巨大的。阶段 0 需要信任特定的已知实体。阶段 1 仅要求安全委员会不主动串通——鉴于成员多元化的要求,这是一个弱得多的假设。

正如 L2Beat 框架所解释的:“一个配置合理的安全委员会至少由 8 名成员组成,阈值大于 75%。‘充分去中心化’的含义在根本上是主观的,L2BEAT 会对每个案例进行单独评估。”

通往阶段 2 之路:拆除辅助轮

阶段 1 是一个重要的里程碑,但它不是终点。阶段 2 代表了真正的去信任化 (Trustlessness):

  • 安全委员会仅能针对 可证明的链上漏洞 采取行动
  • 升级至少有 30 天 的退出窗口(阶段 1 为 7 天)
  • 完全无许可的欺诈证明(已实现)
  • 多个冗余证明系统

多重证明架构

阶段 2 的关键是冗余。Optimism 正在努力实现他们所谓的“多重证明涅槃”——同时运行多个证明系统:

  • Cannon:当前的乐观欺诈证明系统
  • Asterisc:替代欺诈证明实现
  • Kona:另一个独立的实现
  • ZK 证明:零知识有效性证明与乐观证明并存

当多个独立系统达成一致时,对结果的信心会显著提高。如果它们存在分歧,安全委员会可以进行裁决——这是一个合法的角色,而非专断的权力。

Vitalik 对阶段 2 的愿景

在他 2025 年 5 月的文章《阶段 1 和阶段 2 何时有意义的数学》中,Vitalik Buterin 认为阶段 2 应该是成熟 Rollup 的标准:

“从 2025 年开始,我将仅公开支持符合更高安全标准(分类为阶段 1 或更高)的项目。”

这产生了切实的压力。不进步的 Rollup 面临失去公信力和生态系统支持的风险。

竞争格局

根据 The Block 的 2026 年 L2 展望

“Arbitrum、OP Mainnet 和 Base 都拥有已上线的无许可欺诈证明系统,目前被归类为阶段 1。然而,许多较小的乐观 Rollup 仍未具备可运行的欺诈证明。”

这创造了一个两级市场:

阶段 1 领导者

Rollup欺诈证明系统状态
Arbitrum OneBoLD已上线 (2025 年 2 月)
Arbitrum NovaBoLD已上线 (2025 年 2 月)
OP MainnetCannon已上线 (2024 年 6 月)
BaseCannon (OP Stack)已上线 (2024 年 10 月)

阶段 0 (或更低)

许多较小的 Rollup 仍处于阶段 0,或完全缺乏欺诈证明。L2Beat 的 2025 年框架更新 将没有适当证明系统的项目移至“其他 (Others)”类别——实质上是将它们从真正的 Rollup 名单中剔除。

这对用户意味着什么

对于普通用户而言,第 1 阶段(Stage 1)欺诈证明提供了具体的保护:

提现安全

你可以无需信任任何人地将资金提取到以太坊。如果 Rollup 运营商发布了一个无效的状态根,声称你的资金不存在,你(或任何人)都可以对此发起挑战。

退出权

如果 Rollup 团队提议恶意升级,你至少有 7 天的时间退出到以太坊。这并非理论上的——而是由智能合约强制执行的。

抗审查性

即使排序器(sequencer)审查你的交易,你也可以通过 L1 强制包含它们。结合欺诈证明,这意味着 Rollup 无法通过审查来窃取你的资金。

信任面减少

你不再需要信任“Arbitrum 团队”或“Coinbase”,而是信任:

  1. 全球至少存在一个诚实的验证者
  2. 多元化的安全委员会中的绝大多数成员不会串通

前方的道路

第 1 阶段现已上线。剩余的工作重点在于:

2025-2026 年优先事项

  • Arbitrum:致力于通过延长锁定时间和多重证明系统迈向第 2 阶段
  • Optimism:部署 Asterisc 和 Kona 以实现多重证明冗余
  • Base:跟随 OP Stack 升级迈向第 2 阶段
  • ZK Rollups:Starknet、zkSync 等正在致力于通过有效性证明迈向第 1 阶段及以上

第 2 阶段时间线

大多数估计表明,主要的 Rollup 将在 2026 年底或 2027 年达到第 2 阶段。技术工作已基本完成——剩下的挑战在于治理、测试以及建立对多重证明系统的信心。

为什么这真的很重要

无许可欺诈证明听起来很抽象,但它们代表了数十亿美元资金保障方式的根本转变。

在第 1 阶段之前,批评者可以准确地声称 L2 只是“带有额外步骤的多签”。安全模型依赖于信任特定实体——而这正是加密货币原本要消除的。

随着第 1 阶段的实现,最大的 Rollup 现在提供了真正的无信任安全保障。用户可以验证链、挑战欺诈并无需许可地退出。“由以太坊保障安全”的说法终于有了技术上的实质内容。

以太坊 L2 中锁定的 500 多亿美元现在由代码保护,而非承诺。


对于在第 1 阶段 Rollup 上进行部署的构建者,BlockEden.xyz 为 Arbitrum、Optimism 和 Base 提供可靠的 RPC 终端——这些基础设施达到了这些网络目前为安全性所提供的相同可用性标准。