L2 与扩容
以太坊主网安全但拥挤——高峰期一笔交易几美元甚至几十美元,吞吐只有十几 TPS。这没法承载大规模应用。L2(第二层)是当前的主流答案:把海量交易搬到链下高速处理,只把压缩后的结果和证明交回主网结算。这一章讲清 Rollup 的核心思想,以及 Optimistic 与 ZK 两条路线的根本区别。
扩容的核心矛盾
以太坊主网让全球每个节点都重复执行每一笔交易——这带来了极致的安全和去中心化,代价就是慢和贵。扩容的思路不是"让主网自己变快"(那会牺牲去中心化),而是分层:让主网(L1)专注做它最擅长的事——当最终的、不可篡改的"结算法庭";把繁重的日常交易处理外包给 L2。
像极了缓存 / 批处理的思想:别每次操作都直接命中那个又慢又贵但绝对可靠的主数据库(L1),而是在一个快速层(L2)批量处理,攒一批再把结果汇总写回主库。L1 是那个"最终真相来源",L2 是前面高吞吐的处理层。你为性能做架构分层的直觉,在这里完全适用。
Rollup:把上千笔交易压成一笔
主流 L2 是 Rollup。它在链下执行交易,然后把"这一大批交易的数据 + 新状态"打包("卷起来",roll up),提交回 L1。关键在于:交易数据本身发布到 L1(保证数据可用、人人可重算验证),但执行发生在链下(快、便宜)。安全性因此继承自以太坊——这是 Rollup 和"另起一条链"的侧链的本质区别。分摊到每笔交易,L1 成本被上千笔均摊,于是费用降到几分钱。
两条路线:怎么证明"链下算的是对的"
Rollup 提交了新状态,L1 凭什么信它没作弊?两种截然不同的答案,这是理解整个 L2 版图的关键分野:
| Optimistic Rollup | ZK Rollup | |
|---|---|---|
| 信任模型 | 先假设是对的,留一个挑战期 | 用密码学证明当场证真 |
| 怎么防作弊 | 任何人可在挑战期内提交"欺诈证明"推翻 | 提交"有效性证明(ZK-SNARK/STARK)",数学上无法造假 |
| 提现到 L1 的等待 | 长(通常约 7 天挑战期) | 短(证明一旦上链即最终) |
| 计算成本 | 低(平时不算证明) | 高(生成 ZK 证明很耗算力) |
| 代表 | Arbitrum、Optimism、Base | zkSync、Starknet、Linea、Scroll |
一句话记忆:Optimistic 是"疑罪从无 + 事后举报"(所以提现要等挑战期),ZK 是"当庭出示不可伪造的证据"(所以即时最终但算证明贵)。ZK 被普遍认为是更长期的方向,但工程更难;Optimistic 更早成熟、生态更大。第 17 章讲的密码学承诺、第 2 章的哈希验证,在 ZK 这里被推向了极致。
Rollup 便宜的瓶颈其实是"把交易数据发上 L1"这一步的成本。2024 年的 EIP-4844("blob"/proto-danksharding)给 Rollup 开了一条更便宜的临时数据通道,让 L2 费用又降了一个数量级。你会听到 "DA 层""blob""danksharding" 这些词,它们都在解决同一个问题:让数据可用变得更便宜,从而让 L2 更便宜。
对开发者意味着什么
好消息:主流 L2 大多EVM 兼容(甚至等价)。你前面学的 Solidity、Foundry、viem、web3j 几乎原样适用,只是把 RPC 端点和 chainId(第 5 章)换成对应 L2 的。部署一个合约到 Arbitrum 或 Base,和部署到测试网体感差不多。所以"学以太坊开发"基本等于"学了大部分 L2 开发"——生态是共享的。
跨链桥:整个空间最危险的地方
资产要在 L1、各个 L2、各条链之间流动,靠的是跨链桥(bridge)。而桥是 Web3 被盗金额最高的重灾区——历史上多起单次被盗数亿美元的事件都发生在桥上。原因:桥往往要在一条链锁定资产、在另一条链铸造凭证,这个"锁定-铸造"的中枢一旦有漏洞或私钥被盗,两边资产一起遭殃。
用桥的铁律:优先用原生官方桥(如 Arbitrum/Optimism 的官方桥),对第三方桥保持警惕;大额分批;搞清楚这个桥的信任模型(是靠一组多签?还是靠密码学证明?)。作为开发者,如果你的产品涉及跨链,桥的安全就是你架构里风险最高的一环,值得投入最多的审计。别被"一键跨链"的顺滑体验迷惑,底下是整个行业最脆弱的管道。
L2 通过分层扩容:L1 当结算法庭,Rollup 在链下批量执行、把数据发回 L1 以继承其安全。两条路线——Optimistic(疑罪从无 + 挑战期,提现慢但便宜)与 ZK(密码学即时证真,最终快但算证明贵)。对你,L2 大多 EVM 兼容,技能直接迁移,只换 RPC 和 chainId。唯一要格外当心的是跨链桥——全行业最大的安全黑洞。最后一章,我们看账户抽象如何重塑用户体验,并给你一张继续深入的路线图。
本章小结
- 扩容靠分层:L1 做最终结算,L2 承接高吞吐日常交易。
- Rollup 链下执行、把数据发回 L1 以继承安全;分为 Optimistic(挑战期防作弊)与 ZK(有效性证明防作弊)。
- Optimistic 提现慢但便宜、生态大;ZK 即时最终但生成证明贵、被视为长期方向;EIP-4844 blob 让 L2 更便宜。
- L2 多 EVM 兼容,开发技能直接迁移;跨链桥是被盗重灾区,须优先官方桥、警惕第三方。