昨天談零知識證明時，結尾提到 ZK-rollup 用「有效性證明」把一大批交易搬到鏈下執行，只把一份簡短證明丟回主鏈。那句話其實藏了一個更大的問題：為什麼要把交易搬到鏈下？搬到哪裡去？搬完之後怎麼還能相信它？答案就是今天的主角——Layer 2（第二層）擴容。ZK-rollup 只是 L2 家族裡的一支，它還有個同樣重要、市占甚至更大的兄弟叫 Optimistic Rollup。今天我們把 ZK-rollup 放進整張 L2 地圖，看清楚以太坊為什麼非擴容不可、擴容有哪幾條路、兩大 rollup 流派各自的賭注與代價。
📖 學
以太坊的痛，是「區塊空間」太貴。 以太坊每個區塊能塞的計算量與資料量都有硬上限，大約十二秒出一個塊，全網共用這一小格空間。當 DeFi、NFT、鏈上遊戲同時搶著把交易寫進去，供給不變、需求暴衝，Gas 費就像塞車時段的過路費一路飆高。二〇二一到二〇二二年高峰期，一筆 Uniswap 換幣動輒要付幾十美元手續費，發一個 NFT 上百美元也不稀奇。這不是程式沒寫好，而是設計上的必然：以太坊刻意讓區塊小、讓全球數萬個節點都跑得動，好維持去中心化與抗審查。空間稀缺，是「人人可驗證」換來的代價。
這個兩難有個名字，叫區塊鏈三難（blockchain trilemma）。 Vitalik Buterin 把它講成一個三角：去中心化、安全性、可擴展性，三者你很難同時全拿。想讓交易變快變便宜（可擴展），最簡單的做法是把區塊做大、讓節點門檻拉高，但那會使得只有少數機房級玩家跑得起節點，去中心化就崩了；或者你犧牲一點安全假設去換速度。以太坊選的是死守去中心化與安全，把「擴展」這個難題外包出去解決——這正是 L2 存在的理由。
擴容有兩條路：改主鏈（L1 擴容）或另建一層（L2 擴容）。 L1 擴容是直接動以太坊本體，例如分片（sharding）把鏈切成好幾條平行處理，或單純調高區塊 Gas 上限；但動本體風險高、共識難達成，而且一旦為了效能犧牲節點門檻，就會侵蝕去中心化。以太坊社群因此在二〇二〇年後明確轉向「以 rollup 為中心的路線圖」——L1 不再拚自己每秒處理幾筆交易，而是專心當一個安全、去中心化的「結算與資料層」，把海量交易執行交給 L2。分工明確：L1 負責最終的信任錨點，L2 負責跑量。
Rollup 的核心概念，一句話是「鏈下執行、鏈上結算」。 Rollup 在自己的 L2 環境裡收單、排序、執行成千上萬筆交易，然後把「壓縮後的交易資料」或「一份證明」打包回拋以太坊 L1。關鍵在於：它不自己另起爐灶搞一套安全機制，而是把資料錨回 L1，繼承以太坊的安全性。任何人只要拿得到 L1 上那批資料，就能獨立重算、驗證 L2 的狀態對不對。這跟側鏈（sidechain）有本質差別——側鏈自己顧自己的安全，倒了就倒了；rollup 的帳本真相最終寫在以太坊上。而「怎麼向 L1 證明我這批交易沒作弊」，就是兩大流派分岔的地方。
Optimistic Rollup 的賭注是「先相信，有問題再吵」。 它的名字 optimistic（樂觀）很傳神：排序者把一批交易的結果直接公布到 L1，預設大家「樂觀假設」它是對的，不附任何正確性證明。那萬一它作弊呢？靠的是詐欺證明（fraud proof）：任何人發現結果有錯，可以在一段「挑戰期（challenge period）」內提交證據，把作弊交易揪出來、扣掉惡意排序者的抵押金。這段挑戰期通常設為約七天——這也是它最大的體感缺點：你要把資產從 L2 提回 L1，得等這七天挑戰期跑完才安全放行，否則系統無法確定這筆狀態不會被推翻。日常在 L2 內部轉帳是即時的，卡的是「跨回主鏈」這一步。代表選手是 Arbitrum、Optimism（以及它開源出來的 OP Stack 技術棧），還有 Coinbase 用 OP Stack 打造的 Base。
ZK Rollup 的賭注是「先證明，再上鏈」。 它不搞樂觀假設，而是每批交易都用零知識證明技術產生一份「有效性證明（validity proof）」，用數學保證這批交易百分之百按規則執行、狀態轉換正確。L1 上的合約驗過這份證明才接受結果。好處立刻浮現：不需要挑戰期，因為根本沒有「事後可能被推翻」的空間，理論上證明一上鏈就達成最終性（finality），提款也快得多，不用等七天。代價是產生證明的計算很重、很燒硬體，而且要讓證明系統完全相容以太坊的 EVM（也就是做出所謂 zkEVM）技術難度極高——這也是為什麼 ZK 流派起步較慢。代表選手是 zkSync Era、Starknet、Polygon zkEVM、Scroll、Linea。
兩者取捨，可以攤成一張表看。
| 面向 | Optimistic Rollup | ZK Rollup |
|---|---|---|
| 正確性機制 | 詐欺證明（先信任，可挑戰） | 有效性證明（數學保證） |
| 提回 L1 延遲 | 約 7 天挑戰期 | 近乎即時（等證明上鏈） |
| EVM 相容性 | 高，較易移植現有合約 | 較難，zkEVM 是硬工程 |
| 每筆計算成本 | 排序便宜，無需重證明 | 產生證明的運算較貴 |
| 成熟度／生態 | 較早落地、TVL 較大 | 追趕中、技術演進快 |
| 代表 | Arbitrum、OP、Base | zkSync、Starknet、Scroll、Linea |
現況（2026 年）大致是「Optimistic 佔量、ZK 追技術」。 根據 L2BEAT 的追蹤，二〇二六年四月全網約有七十三條 rollup、總鎖倉價值（TVL）約四百八十億美元。其中 Optimistic 陣營仍是主力，Arbitrum One 約一百六十九億美元、Base 約一百二十八億美元、OP Mainnet 約五十六億美元，三強加起來把持約八成 L2 資金；ZK 陣營合計約兩成，zkSync Era 領先約四十一億，其後是 Linea 約三十四億、Scroll 約二十一億、Starknet 約十五億。另一個值得看的指標是 L2BEAT 的「Stage」去中心化成熟度：到二〇二六年五月，Arbitrum、Base、OP、Starknet、Scroll 都已達 Stage 1，而 zkSync Era 與 Linea 仍停在 Stage 0——這提醒你，rollup 掛著 L2 招牌不代表都同樣去中心化，訓練輪什麼時候拆掉很關鍵。
真正讓 L2 便宜到能用的臨門一腳，是 EIP-4844 的 blob。 前面說 rollup 要把資料回拋 L1，但過去這些資料是塞進以太坊昂貴的永久 calldata 裡，資料費（也就是「資料可用性 data availability」的成本）反而成了 L2 手續費的大頭。二〇二四年三月的 Dencun 升級導入 EIP-4844（俗稱 proto-danksharding），開了一種新的資料格式叫 blob：每個 blob 約 128 KB，專門給 rollup 丟資料，而且只在共識層暫存約十八天就丟掉——因為驗證只需要「當下能拿到資料重算」，不需要永久保存。這一刀把 L2 資料成本砍到零頭，L2 手續費普遍降了一個數量級。到二〇二六年中，Base 一筆交易平均約 0.05 美元、Arbitrum 與 OP 約 0.09 美元、zkSync Era 約 0.07 美元，跟當年主網幾十美元的世界已經是兩回事。
blob 只是起點，danksharding 還在往上加。 proto-danksharding 的「proto」意味著它是完整 danksharding 的前身。後續升級持續調高每個區塊能容納的 blob 數：二〇二五年五月 Pectra 把目標拉到 6 個 blob，之後的 Fusaka 與 BPO（blob 參數調整）分叉在二〇二六年一月推到 14 個，核心開發者已在規劃年中衝上 48 個，終極目標是完整 danksharding 下每個 slot 容納 128 個 blob。blob 越多、單位資料越便宜，L2 的天花板就越高。這是一個「主鏈拚命把資料頻寬做大、L2 拚命把交易塞進去」的正向循環，也是以太坊 rollup 中心路線的骨架。
rollup 之外，還有幾個常被順帶提起的親戚。 如果連 blob 都嫌貴，有些方案乾脆把交易資料放到以太坊「之外」保管：ZK 系搭配鏈下資料可用性叫 validium，Optimistic 系的對應版本叫 optimium。它們更便宜、吞吐更高，但代價是資料可用性不再完全靠以太坊，安全假設弱了一截——資料保管方若擺爛，你可能連重算自救都做不到，所以通常用在對成本極度敏感、對極致安全要求沒那麼硬的場景。再更早期的一種思路是狀態通道（state channel，比特幣的閃電網路就是代表），適合雙方之間高頻小額往來、最後才上鏈結算，但通用性不如 rollup，如今在以太坊生態已非主流。認得這些名字，主要是為了在看到它們時知道「這是在資料可用性上做的取捨」。
🧠 記
- 三難（trilemma）：去中心化、安全、可擴展難以兼得；以太坊守前兩者，把擴展外包給 L2。
- Rollup 一句話：鏈下執行、鏈上結算，把資料/證明回拋 L1 以繼承 L1 安全性，這點區別於自顧安全的側鏈。
- Optimistic：樂觀假設 + 詐欺證明（fraud proof），有約 7 天挑戰期，提款慢；EVM 相容好、生態大。代表 Arbitrum、OP、Base。
- ZK：有效性證明（validity proof）數學保證，近即時最終性、提款快；zkEVM 難做、證明運算貴。代表 zkSync、Starknet、Scroll、Linea。
- EIP-4844 / blob（proto-danksharding）：新增暫存約 18 天的 128 KB 資料格式，砍掉 L2 資料可用性成本，手續費降一個數量級；danksharding 持續加 blob 數。
- 成熟度看 Stage：掛 L2 不等於同樣去中心化，L2BEAT 的 Stage 0/1/2 是拆訓練輪的進度條。
✍️ 實踐
- 上 L2BEAT（l2beat.com）花十分鐘做橫向對比：挑三條 L2（例如 Arbitrum、Base、Starknet），對照它們的 TVL、類型（Optimistic/ZK）、Stage 成熟度、以及提款延遲。目標是能用自己的話講出「這條為什麼便宜／為什麼提款要等」。
- 實際跨一次橋、體感挑戰期：用少量測試資產（或極小額）從主網橋到一條 Optimistic Rollup，再發起提回，觀察介面顯示的「約 7 天」等待；換一條 ZK Rollup 做同樣操作，比較提款速度差異。親手做過，「挑戰期」就不再是抽象名詞。
- 看一筆 L2 交易的手續費拆解：在區塊瀏覽器裡打開一筆 L2 交易，找出它的「L2 執行費」與「L1 資料費」兩部分，感受 EIP-4844 之後資料費被壓到多小。想深一點，就去看該 L2 最近往 L1 提交 blob 的紀錄。
🔗 延伸學習
- ethereum.org：Layer 2 擴容總覽
- ethereum.org：Rollup 是什麼
- L2BEAT：L2 生態即時數據與 Stage 成熟度
- Wikipedia：Optimistic rollup
💬 問 AI
我在學以太坊 Layer 2 擴容。請用「先講三難、再講 rollup 核心、最後對比兩大流派」的順序，
幫我把下列概念串成一條清楚的脈絡，並各給一個生活化比喻：
1. 區塊鏈三難（去中心化／安全／可擴展）為什麼逼出 L2
2. Rollup 為何能「繼承 L1 安全性」，跟側鏈差在哪
3. Optimistic Rollup 的詐欺證明與 7 天挑戰期，為什麼提款要等
4. ZK Rollup 的有效性證明為何能近即時最終性，zkEVM 難在哪
5. EIP-4844 的 blob（proto-danksharding）如何砍掉 L2 資料可用性成本
最後出 3 題選擇題檢驗我有沒有搞混 Optimistic 與 ZK 的取捨（提款時間、EVM 相容、成本、成熟度）。