以太坊 Layer2 扩容入门：乐观 Rollup 如何把交易搬下链又不丢安全性

在以太坊主网转一笔账，费用可能够你在 Layer2 上转一百笔。ethereum.org 官网给出的对比数字：主网平均交易成本约 $0.12，而由以太坊提供支持的网络（L2）上约 $0.0016。差着两个数量级的背后是以太坊扩容的主线方案——Layer2，其中采用最广的一类叫乐观 Rollup（Optimistic Rollup），Arbitrum、OP Mainnet 都是这一路线。这篇教程把它的机制讲透：交易怎么搬下链、欺诈证明怎么抓坏人、为什么要等七天挑战期、OP Stack 又是什么。内容依据 ethereum.org 开发者文档与 Optimism 官方文档整理。

相关背景可参考 AI 工具总纲；以太坊属公链协议，站内暂无对应产品页。

为什么需要把交易搬下链

以太坊主网（L1）每 15 秒出一个区块，区块容量以 gas 计价、有硬上限。所有交易挤在同一层抢空间，拥堵时费用飙升。官方文档对乐观 Rollup 的定义一句话概括：在链下处理交易，把交易数据发布回链上。计算是最贵最慢的部分，挪到链下做；但数据的「账本」留在以太坊，安全性就不打折。

这里要分清三种容易混淆的方案，文档专门做了对比：侧链（sidechain）自己跑自己的账本，数据不发布到以太坊，安全性靠自己的一组验证者，以太坊不背书；等离子体链（Plasma）也用欺诈证明，但交易数据存在别处；乐观 Rollup 则把交易数据（压缩后）作为 calldata 或 blob 完整发布到 L1。文档的结论是：正因为数据可用性由以太坊保证，乐观 Rollup 比不依赖以太坊的纯链下扩容协议（例如侧链）更安全。ethereum.org 的 L2 页 FAQ 也给了个判断标准：看一条网络是否真属于以太坊生态，关键视角是它的数据是否存储在以太坊主网上——这类项目才叫 Rollup，数据存别处的要多个心眼。

「乐观」二字从何而来

乐观 Rollup 的运行机制分三块：链上合约、链下虚拟机、中间的定序器。管理 Rollup 运行的一组智能合约部署在以太坊上，负责存 Rollup 区块、监控状态更新、跟踪用户存款；交易的实际执行和状态存储发生在独立于以太坊虚拟机的链下 VM 里；定序器（sequencer）则是那个收拢链下交易、排序、捆成大批量、压缩后提交上链的角色。批量提交把固定成本摊到批次里的每一笔交易上，这是 L2 便宜的直接原因。

「乐观」指的是验证哲学：默认所有链下交易有效，不为批次附有效性证明。这和零知识 Rollup 形成对照——ZK 路线为每批交易生成密码学有效性证明，链上一验即知真假；乐观路线则反过来，先信，出问题再抓。抓问题的手段就是欺诈证明（fraud proof）。

欺诈证明：先信后查，抓到重罚

批次提交到以太坊后，有一个时间窗口叫挑战期（官方文档：大约持续七天）。窗口内任何人都可以对批次中错误执行的计算发起挑战。挑战机制已经迭代了两代：

单轮交互式证明是早期方案：在 L1 上重放有争议的交易，由验证者合约模拟重新执行，算出的状态根决定谁赢。问题是重放整个交易要发布单笔交易的状态承诺，增加上链数据量，Gas 成本也高。

多轮交互式证明（二分协议，bisection）是现在的做法：挑战发起后，断言者把有争议的断言对半分，挑战者挑一半继续争；反复二分，直到双方只对单个执行步骤有分歧，这时 L1 合约只重新执行这一个步骤就能裁决谁在撒谎。断言者拿不出有效的「单步证明」就输。惩罚设计也讲究：恶意断言者的保证金一部分奖给挑战者、另一部分直接销毁——销毁是为了防串通，两个验证者合谋假挑战也得白白烧掉大头质押。双方都得在时间窗口内行动，逾期视作弃权。

这套机制的安全假设，官方文档写得很直白：整条链的安全性依赖于至少一个诚实节点的存在。诚实节点可以是任何跑 Rollup 全节点的人——执行交易、发现问题、提交欺诈证明。它带来一个重要性质「无须信任的最终性」：只要你的交易是有效的，无论恶意节点怎么发起虚假挑战拖延，它最终一定被确认；而和诚实节点对着干的恶意节点会在争议中输掉质押。代价是另一面的：交易最终性有延迟，恶意节点理论上可以靠假挑战拖时间（但拖不赢）。

七天的代价与流动性提供者

挑战期直接体现在提款上：从乐观 Rollup 把资金提回以太坊主网，官方文档明说必须等挑战期（约七天）结束。流程本身不复杂，下面这张图把一笔提款的完整旅程画了出来：

一笔 L2 提款的四段旅程：销毁、上链、七天窗口、到账（依据 ethereum.org 开发者文档绘制）

等不了七天有正规解法：雇流动性提供者（LP）。LP 先在 L1 把钱垫给你，自己接管那笔待处理的提款，收一笔费用。LP 敢垫是因为它能自己跑链验证提款的有效性——确认交易最终会被确认，这正是「无须信任的最终性」的直接应用。市面上跨链桥的快速通道，本质就是这个模式。

顺带一提方向的不对称：L1 → L2 的存款通常几分钟到账；L2 → L1 的消息因为要等挑战窗口，天生慢。开发者做跨链合约调用时必须考虑这个延迟，文档还提醒给目标链的调用设高一点的 gas 上限——如果存款的 L1 端成功、L2 端因 gas 不足失败，这笔资产会变得难以恢复。

压缩：同一笔交易从 112 字节压到 12 字节

乐观 Rollup 的扩容能力核心在数据压缩。官方文档拿一笔基本转账（发送以太币）做了逐字段对比：

同一笔转账在 L1 和 Rollup 上的数据量对比：合计从约 112 字节压到约 12 字节（数据引自官方文档）

压缩的思路：随机数在 L2 可以从序列推导，归零；gas 参数由定序器统一打包，几乎不占空间；地址用索引表短编码；签名一次聚合验证多笔。官方按 15,000,000 gas 平均区块、16 gas/字节的定价推算：一个区块能装 937,500 字节数据，除以 12 字节/笔约 78,125 笔 Rollup 交易，15 秒出块即约 5,208 TPS。文档随即泼了冷水：这是乐观上限，实际 Rollup 不可能独占整个区块，当前实现大约 2,000 TPS。后续的数据分片（Danksharding）会开更多的 blob 空间，把这块天花板再抬高。EIP-4844 引入的 blob 是关键配角：与永久保留的 calldata 不同，blob 大约 18 天后就可修剪，专门服务 Rollup 这种「上链即可验证、无需永久保存」的场景，成本更低。

OP Stack：乐观 Rollup 的开源积木

聊乐观 Rollup 绕不开 OP Stack。Optimism 官方文档对它的定位原话：「构建以太坊 Layer 2 Rollup 的标准框架」，并且强调「它不是一个单一程序，而是一组共同产出一条链的组件——这条链的完整历史都发布到以太坊上，任何人都能重建并检查它」。OP Mainnet 跑在上面，Base 等众多生产链也基于它。

OP Stack 的功能分层（依据 Optimism 官方文档绘制）：执行、排序、派生、结算彼此分离

对用户最有感的特性，官方列了四条：EVM 等效（现有以太坊合约和工具无需修改直接用）；成本远低于以太坊（交易在 L2 执行、只有压缩数据上 L1）；秒级快速确认＋以太坊终局性兜底（数据在 L1 终结后不可逆）；模块化（数据可用性、排序、结算分离，换一层不用重建其余）。这最后一条是 OP Stack 生态能长出几十条链的原因——换成别的数据可用性方案或接入去中心化排序网络，其他层照旧。

排序层有个值得知道的现实：现阶段定序器是中心化运营的，能影响交易排序。文档同时给了抗审查的兜底设计：如果定序器把你的交易拖着不处理超过允许时长，你可以直接向链上 Rollup 合约提交交易；定序器若无视 L1 上的存款消息，就会发布可证明错误的状态根，等于自曝。

第一次上手：存取款的实际路径

理解机制之后，实际把资金搬上 L2 的操作并不复杂。官方文档把资产在两层之间的流转讲成了「资产转移」一节，流程如下。

入金（L1 → L2）：把 ETH 或 ERC-20 代币存入 L1 上 Rollup 的跨链桥合约，桥把交易中继到 L2，在 L2 上铸造等量资产发到你的地址。通常几分钟到账。你生成的交易会先排队，等定序器重新提交给 Rollup 合约；如果定序器拖延超过允许的最长时间，抗审查机制允许你直接向链上合约提交——这是前面提到的兜底设计的用户侧入口。

出金（L2 → L1）：在 L2 发起提款，交易进入批次、L2 侧资产销毁；批次上链后你计算默克尔证明，证明退出交易确实包含在批次里；然后等挑战期走完，在 L1 上最终确认拿钱。整个流程除等待外没有复杂操作，急用钱就走 LP 快速通道。

两个容易忽略的细节。其一，L2 上看到的资产是桥铸造的对应版本（例如 L2 上的 USDC 与 L1 原生 USDC 合约地址不同），搬回 L1 时桥会销毁 L2 版本、解锁 L1 原版。其二，跨链合约调用是异步的：L1 → L2 方向通常几分钟后执行，L2 → L1 方向必须等挑战窗口——开发者集成时把这两条延迟当成常量设计进业务逻辑，别用同步思维写跨链交互。

优缺点摆在一起看

官方文档的优缺点表值得照抄一遍，省得只见好处不见代价。优点：扩容大幅提升而不牺牲安全性与去信任；交易数据存 L1，透明度、抗审查性、去中心化都有保证；欺诈证明带来无须信任的最终性，诚实少数派即可护链；计算欺诈证明对普通 L2 节点开放，不像 ZK 有效性证明需要特殊硬件；与 EVM 和 Solidity 兼容，以太坊合约直接迁移。缺点同样明确：交易最终性因潜在挑战而延迟；中心化定序器可影响交易排序；安全模型依赖至少一个诚实节点——没有诚实节点时，恶意运营者理论上能发布无效区块窃取资金；提款要等约一周挑战期；必须在链上发布全部交易数据，成本随用量上涨。

对照 ZK Rollup 路线：ZK 用有效性证明换掉了七天挑战期（提款快），代价是生成证明需要专门硬件、链上验证也有成本。两条路线都在快速演化，以太坊官网 L2 页列出的主流网络（Arbitrum One、OP Mainnet、Unichain 等）以乐观 Rollup 为主，具体网络与费率以官方页面实时数据为准。

来源与延伸

本文机制表述、引文与数据依据 ethereum.org 开发者文档「乐观 Rollup」（ethereum.org/zh/developers/docs/scaling/optimistic-rollups/，页面更新于 2026 年 6 月）、「二层网络 (L2)」页及 Optimism 官方文档「The OP Stack」（docs.optimism.io）整理，三张图为依据上述文档绘制，版权归原作者所有。