⚡ 第24课:Layer2扩容

治理与未来 阶段五 ✅ 验证通过

🎯 学习目标:理解以太坊扩容的必要性与技术路线,掌握Rollup(Optimistic/ZK)核心原理,理解数据可用性、欺诈证明、有效性证明等关键概念。

📖 一、为什么需要扩容?

以太坊主网(L1)的性能瓶颈:
• TPS:约15-30笔/秒(Visa: 65,000笔/秒)
• Gas费高峰:简单转账$5+,DEX交易$50+
• 区块确认:12秒一个区块
• 区块大小:~30KB(约200笔交易)

扩容路线图:
L1扩容:分片(Sharding)— 复杂,延期
L2扩容:Rollup — 已成为主流方案
Danksharding:为Rollup提供廉价数据可用性

📖 二、Rollup核心原理

Rollup = 链下执行 + 链上数据 + 链上验证 ┌────────────────────────────────────────────────┐ │ 以太坊 L1 │ │ │ │ ┌──────────────────────────────────────────┐ │ │ │ Rollup合约 │ │ │ │ │ │ │ │ 1. 存储交易数据(calldata) │ │ │ │ → 任何人可重建状态 │ │ │ │ │ │ │ │ 2. 存储状态根(stateRoot) │ │ │ │ → Merkle根,代表完整状态 │ │ │ │ │ │ │ │ 3. 验证新状态根的合法性 │ │ │ │ → Optimistic: 欺诈证明 │ │ │ │ → ZK: 有效性证明 │ │ │ └──────────────────────────────────────────┘ │ └────────────────────────────────────────────────┘ ▲ │ 提交批次 ┌────────────────────────────────────────────────┐ │ L2 执行层 │ │ │ │ ┌──────┐ ┌──────┐ ┌──────┐ ┌──────┐ │ │ │ tx1 │ │ tx2 │ │ tx3 │ │ tx4 │ ... │ │ └──────┘ └──────┘ └──────┘ └──────┘ │ │ │ │ Sequencer(排序器) │ │ • 收集交易,排序执行 │ │ • 即时确认(软确认) │ │ • 定期提交批次到L1(硬确认) │ └────────────────────────────────────────────────┘

2.1 Rollup如何实现扩容?

// L1上的一笔交易需要:
// - 完整的签名验证
// - 完整的状态更新
// - 每个节点都执行
// → Gas: ~21,000 (转账) ~150,000 (DEX)

// Rollup上的一笔交易:
// - L2执行(便宜、快速)
// - L1只存压缩的calldata
// - 批量提交,分摊L1 Gas
// → Gas: ~300 (转账) ~2,000 (DEX)

// 压缩原理:
L1原生交易数据:
  nonce:        3字节  (vs 8字节)
  gasPrice:     0字节  (L2统一gas)
  gasLimit:     2字节  (vs 8字节)
  to:           20字节 (不变)
  value:        3字节  (vs 32字节)
  signature:    0.5字节(聚合签名)
  ─────────────────────
  总计:        ~28字节 vs L1的~112字节
  压缩率:     约4x

📖 三、Optimistic Rollup vs ZK Rollup

══════════ Optimistic Rollup ══════════ (乐观假设:默认所有交易有效) Sequencer提交批次 → L1合约乐观接受 │ │ 7天挑战期 ▼ ┌──────────────────┐ │ 有人提交欺诈证明? │ └──────┬───────────┘ │ ┌────┴────┐ │ │ 是 否 │ │ ▼ ▼ 回滚状态 状态确认 惩罚Sequencer ✅ 代表:Arbitrum, Optimism, Base 提款时间:7天(等待挑战期) EVM兼容:✅ 完全兼容 证明成本:低(只在欺诈时生成) ══════════ ZK Rollup ══════════ (零知识证明:数学证明所有交易有效) Sequencer提交批次 + ZK证明 → L1合约验证证明 │ ▼ ┌──────────────────┐ │ 证明验证通过? │ └──────┬───────────┘ │ ┌────┴────┐ │ │ 是 否 │ │ ▼ ▼ 状态确认 拒绝批次 ✅ ❌ 代表:zkSync Era, Starknet, Scroll, Polygon zkEVM 提款时间:~10分钟(只需证明验证) EVM兼容:🟡 部分兼容(各有差异) 证明成本:高(每批次都需生成证明)

3.1 对比表

特性Optimistic RollupZK Rollup
验证方式欺诈证明(事后挑战)有效性证明(数学验证)
提款时间7天~10分钟
EVM兼容完全兼容部分兼容
计算开销低(L2执行+L1存储)高(L2执行+证明生成)
安全性依赖至少1个诚实验证者数学保证
成熟度高(已运行3年+)中等(快速发展中)
TPS提升~10-50x~100-1000x(理论)
代表项目Arbitrum, Optimism, BasezkSync, Starknet, Scroll

📖 四、数据可用性(DA)

数据可用性 = 能否获取重建状态所需的交易数据

为什么DA重要?
• 如果交易数据不可用 → 无法验证状态根 → 无法生成欺诈证明 → 滚回不能
• DA是Rollup安全的基石

EIP-4844 (Proto-Danksharding):
• 引入"blob"交易类型,专门存储Rollup数据
• blob不参与EVM执行,只用于DA
• blob数据约18天后自动删除(降低存储成本)
• Gas费降低10-100x

DA层选择:
• 以太坊L1(最安全,最贵)
• EigenDA(以太坊再质押保护)
• Celestia(专用DA链)
• 任意DA(validium模式,牺牲安全性换低成本)

📖 五、L2生态全景

L2类型TVL特点
ArbitrumOptimistic$15B+最大L2,Stylus多语言支持
OptimismOptimistic$8B+OP Stack模块化,Superchain
BaseOP Stack$7B+Coinbase推出,用户量大
zkSync EraZK$1B+原生账户抽象,ZK证明
StarknetZK$300M+Cairo语言,STARK证明
ScrollZK$800M+最EVM兼容的ZK Rollup
Polygon zkEVMZK$100M+Polygon生态,AggLayer

📖 六、开发者如何适配L2

// L2适配检查清单:

// 1. ✅ 使用EIP-1559交易
// 大多数L2支持EIP-1559风格Gas

// 2. ✅ 注意7天提款期(Optimistic Rollup)
// 用户从Arbitrum/Optimism提款到L1需要等7天
// 可使用第三方快速桥(如Across, Hop)

// 3. ✅ L2特有的合约地址
// 预言机、WETH等地址与L1不同
// 必须使用L2部署的版本

// 4. ✅ 区块时间差异
// L2出块时间可能不同
// Arbitrum: ~0.25秒
// Optimism: ~2秒

// 5. ✅ Gas代币
// 大多数L2使用ETH作为Gas
// 但某些可能使用自己的代币

// 6. ✅ 账户抽象
// L2更早支持ERC-4337账户抽象
// 可以实现Gas代付、社交恢复等

// Hardhat多链部署配置
module.exports = {
  networks: {
    arbitrum: {
      url: "https://arb1.arbitrum.io/rpc",
      accounts: [process.env.PRIVATE_KEY],
    },
    optimism: {
      url: "https://mainnet.optimism.io",
      accounts: [process.env.PRIVATE_KEY],
    },
    base: {
      url: "https://mainnet.base.org",
      accounts: [process.env.PRIVATE_KEY],
    },
    zksync: {
      url: "https://mainnet.era.zksync.io",
      ethNetwork: "mainnet",
      zksync: true,  // 启用zkSync特殊编译
    },
  },
};

🧪 练习

1. Rollup实现扩容的核心思路是什么? 2. Optimistic Rollup为什么需要7天提款期? 3. ZK Rollup相比Optimistic Rollup的主要优势是什么?

🏆 成就解锁:扩容先锋

你已掌握Layer2扩容技术!从Rollup原理到Optimistic/ZK对比,从数据可用性到L2生态,你理解了以太坊扩容的未来方向。

关键收获:

✅ Rollup链下执行+链上验证架构
✅ Optimistic Rollup欺诈证明与7天挑战期
✅ ZK Rollup有效性证明与快速提款
✅ 数据可用性与EIP-4844
✅ L2生态全景与开发者适配