ZK 技術正成為以太坊擴容的關鍵驅動力，未來有望將主網 TPS 提升百倍至 1 萬。本文將拆解 ZK 技術、zkEVM 路線圖以及 L1 擴容計畫，探討如何破解「不可能三角」。本文源自Andrew Fenton所著文章，由imToken整理、編譯及撰稿。 （前情提要：以太坊基金會發布未來10年藍圖：解鎖ETH百萬TPS、打造量子安全防線、協議精實三升級 ） （背景補充：NFT市場「開心只有一下」假性復甦？只有藍籌專案鞏固以太坊地位 ）   7 美元的樹莓派也能驗證 ZK 證明，zkEVM 未來 6 年或把以太坊主網 TPS 提升百倍。以太坊正在邁向 1 萬 TPS 的擴容新時代，而零知識證明 (ZK) 技術正成為關鍵驅動力，本文是我們整理的(以太坊 1 萬 TPS 路線圖)第一篇，用盡量通俗的方式拆解 ZK 技術、zkEVM 路線圖和以太坊 L1 擴容計畫，下一篇將深入探討 ZK 落地挑戰、L2 生態演化以及未來對以太坊經濟結構的影響。 2025 年 7 月 30 日，以太坊迎來了創世區塊十週年，而經過十年的探索，以太坊的擴容路線圖也正在探索新的方向和願景。 當然近期 ETH 的價格上漲也重新給社羣帶來了信心，但真正讓人興奮的是，在經歷了數年圍繞 L2 擴容的探索之後，以太坊 L1 終於擁有了一條在保持最大去中心化的前提下實現極致擴容的可信路徑。 簡言之，從現在開始，以太坊的 Gas 上限和 TPS 計畫每年提升數倍，驗證者 (Validators) 將不再重複執行每一筆交易 (編者注：也即無需從頭算一遍交易的狀態變化)，而是隻去驗證一份零知識證明 (ZK-proof)，以證明這批交易是正確執行的，從而能夠讓底層網路的 TPS 提升至每秒上萬筆交易。 與此同時，L2 也會同步擴容，實現數十萬甚至數百萬 TPS，且一種名為「原生 Rollup」(Native Rollup) 的新型 L2 將像可編程分片一樣運行，提供與 L1 相同的安全性。 雖然這些提案還未正式得到以太坊治理流程的批准，但它們建立在 Vitalik Buterin 在 2017 年就開始探索的思路之上，並得到了以太坊基金會核心研究員 Justin Drake 的推動支持。 在 7 月的 EthCC 大會上，Drake 表示：「我們正處於以太坊擴容的關鍵轉折點，我堅信我們即將進入 L1 的 GigaGas 時代——大約 1 萬 TPS，而開啟這一時代的關鍵是 zkEVM 與即時證明 (real-time proving)」。 Drake 的終極目標是在 10 年內讓以太坊生態能夠實現 1000 萬 TPS，但這意味著沒有任何單一區塊鏈能滿足這一吞吐量要求，未來必然是一個「網路中的網路」架構：不同 L2 各自承擔不同場景、權衡與優勢，共同擴展整個生態滿足全球需求。 為什麼以太坊 L1 一直無法大規模擴容？ 雖然其他區塊鏈早已開始嘗試使用更強大的硬體和計算能力來擴大吞吐量，但以太坊一直對去中心化有一種近乎意識形態，甚至有人會覺得「烏託邦式」的執著。 從 ETH 最大主義者 (ETH maxis) 的角度來看，像 Solana 這樣的「資料中心鏈」擁有數百萬美元的中心化風險點，政府可以直接針對這些節點進行交易審查，即使是像 Sui 這樣硬體規格要求低一些的鏈，其成本和頻寬要求也令人望而卻步，從而影響去中心化程度。 相比之下，以太坊甚至可以運行在樹莓派 (Raspberry Pi) 上，這種低門檻設計讓超過 15,000~16,000 個公開節點和上百萬個驗證者參與網路，因此幾乎不可能審查以太坊上的交易，並且使整個網路對攻擊具有極強的韌性。 當然，代價是速度極慢 —— 當前 TPS 約為每秒處理 18~20 筆交易，而 Solana 的 TPS 則為每秒約 1500 筆交易。 從某種程度上來說，區塊鏈架構天生低效，有點像一個 Google 表格，每當你修改一個儲存格之前，全世界所有擁有副本的電腦都要先把整個表格重新算一遍，確認無誤後才能更新。 ZK 技術公司 Succinct Labs 的聯合創辦人 Uma Roy 解釋說：「以太坊的設計是希望任何人都能跟上網路，並重新執行所有交易」，這也意味著交易量不能隨便無限放大，因為每筆交易都需要有人重新計算。 正因為在保持去中心化的前提下，主網擴容空間有限，以太坊在 2020 年不得不走上了 L2 分層擴容這條備受爭議的路線。 ZK 如何破解區塊鏈不可能三角？ 以太坊創辦人 Vitalik Buterin 曾提出過「區塊鏈不可能三角」這一概念，用來形容公鏈在 安全性、可擴展性和去中心化 三者間難以兼得的困境。 幾乎所有擴容方案都只能同時滿足其中兩項，必然犧牲掉第三項。 直到現在。 零知識證明 (ZK-Proof)，被 Drake 形容為「登月級數學 (moon math)」的技術——能夠在不洩露交易細節的前提下，數學上證明一大批複雜交易已被正確執行。 生成 ZK 證明的過程非常複雜，但驗證一份證明是否正確，卻既快又輕量。 因此，以太坊未來的構想是：與其讓一堆性能孱弱的樹莓派節點逐筆重算所有交易，不如讓驗證者只需檢查一份極小的 ZK 證明的數學結果即可。 Succinct Labs 聯合創辦人 Uma Roy 繼續解釋說，「與其讓大家重新執行所有交易，不如直接給他們一份證明，告訴他們這些操作已經發生了，這樣任何人都可以驗證這份證明，而不必重新做計算」。 Drake 甚至打趣說，未來驗證 ZK 證明的計算量小到連售價 7 美元的 Raspberry Pi Pico (性能不到普通樹莓派的十分之一) 都能勝任，根本不需要大型資料中心。 zkEVM：通往 1 萬 TPS 的路線圖 以太坊基金會的 Sophia Gold 最近在部落格中發布的一則消息引發了社羣熱議：未來一年內，L1 主網可能整合零知識證明驅動的以太坊虛擬機 (zkEVM)。 值得注意的是，很多 ZK 技術的實用化探索，其實是從 L2 網路開始的...