L1 zkEVM:以太坊ZK終局的第一步

以太坊正迎來繼"The Merge"後的又一次架構級革命。透過將EVM升級為zkEVM,以太坊將從"重新執行"轉向"證明驗證"模式,可望實現10倍甚至100倍的性能提升。這不僅是技術升級,更是重塑L1價值捕捉、因應高性能公鏈競爭的策略轉型。

對於密切關注以太坊技術發展的人來說,以太坊工程師Sophia Gold最近發布的《交付L1 zkEVM #1:即時證明》這篇部落格文章具有重要意義。儘管這僅代表以太坊核心開發團隊的技術構想,還未正式進入EIP(以太坊改進提案)流程,離成為主網升級的既定方案還有很長的路要走,但它釋放出的信號不容小覷。

這篇文章清楚地展現了以太坊未來的核心發展藍圖:將零知識證明(Zero-Knowledge Proof, ZKP)技術全面而深入地整合到Layer 1協議的各個層面,從共識層到執行層實現全方位覆蓋。依照這項技術路線圖,第一個關鍵步驟是將各節點的EVM升級改造成為zkEVM。這樣一來,節點在執行交易和運行智能合約的過程中,能同步產生對應的零知識證明,為驗證節點提供驗證本次執行正確性的依據。

這並非常規的技術迭代,而是一場堪比「The Merge」的架構級革命。它旨在從根本上解決以太坊在擴容、安全與經濟模型上面臨的多重挑戰。那麼,以太坊為何選擇在此時「全面下注」ZK?這一戰略轉向背後,蘊含著怎樣的深層邏輯?它又將如何重塑我們所熟知的L1乃至整個L2生態?

本文將基於現有研究,為您訓道來以太坊「ZK終局」的宏大敘事,並剖析其背後的動機、行動與深遠影響。

🚀 一、從「重新執行」到「證明驗證」的典範轉移🚀

以太坊的ZK化構想,其核心在於共識驗證機制的一次典範重塑。近期發布的L1 zkEVM路線圖,便為此轉變給出了明確的技術路徑。

  • 目前模型:重新執行(Re-execution)目前,當一個新區塊被提議時,網路中所有的驗證者節點都必須獨立地、完整地重新執行該區塊內的每一筆交易,以計算並驗證最終的狀態根是否與提議者聲明的一致。這個過程是資源密集的,也是限制以太坊L1吞吐量的主要瓶頸。

  • 未來模型:證明驗證(Proof Verification)在新的L1 zkEVM架構下,區塊的建構者(Builder)在產生區塊的同時,會產生一個簡潔的ZK有效性證明(ZK Proof)。其他驗證者接收到區塊和證明後,將不再需要重新執行交易,只需對這份密碼證明進行驗證即可。由於「驗證ZK Proof」的計算成本比「重新執行交易」低了數個數量級,更重要的是,驗證一個證明所需的時間,與該證明所涵蓋的交易數量幾乎無關,這使得以太坊可以在不顯著提高驗證者硬體門檻的前提下,大幅提升區塊的Gas上限以容納更多交易。 Vitalik Buterin曾提及,L1的Gas上限可望因此提升10倍,甚至在更長遠的未來達到100倍,從而在保持去中心化的同時實現L1的擴容。

總之,未來的以太坊L1在架構上非常類似於一個巨大的、原生的ZK-Rollup ,從而使以太坊L1本身有望成為「世界上最大的ZK應用」。

嚴格的技術標準

以太坊團隊為L1 zkEVM的實現設定了極為嚴苛的技術標準,在降低延遲、提高吞吐量的同時,也要保障安全與去中心化承諾。

度量指標目標值原理/影響
證明延遲(99%分位) 10秒以內這是「即時競賽」(race to real-time)的核心。延遲必須夠低,能夠無縫銜接進12秒的出塊週期內,而不會成為新的瓶頸。
密碼學安全128位(啟動初期最低100位)確保證明的密碼學強度足以抵禦當前和可預見未來的計算攻擊,並保障L1的安全性。
證明大小小於300 KiB證明必須足夠小,以便在P2P網路中高效傳播,避免成為新的網路瓶頸。
證明者硬體成本不超過10 萬美元旨在實現「家庭證明」(home proving),確保獨立質押者有能力參與證明生成,作為對抗審查的最後防線。
證明者功耗低於10 kW與家用電動車充電樁相當的功耗,進一步降低了家庭證明的門檻,確保去中心化。

多證明安全模型

為了防範單一zkEVM實作中可能存在的未知漏洞,該路線圖引入了「多證明」(Multi-Proof)安全機制。它要求對同一個區塊的有效性,必須由來自不同團隊(如Scroll、Polygon、Kakarot等)的多個zkEVM產生多份證明。驗證者的用戶端會下載並驗證這些來源不同的證明。只有當多份獨立的證明都驗證通過時,該區塊才會被共識層接納。這本質上是以太坊「客戶端多樣性」理念在證明層的延伸和昇華,透過協議強制引入冗餘和多樣性,為L1提供了深度防禦,增強了協議的健壯性。

🎯 二、以太坊為何必須「全面ZK化」? 🎯

以太坊全面擁抱零知識證明技術,是基於對其經濟模型、競爭環境和未來市場需求的深度思考而製定的重大策略轉型。

  • 首先,這是對"以L2為中心"經濟模型的重要修正。 EIP-4844引入blob機制後,雖然成功降低了Layer 2的交易成本,但也帶來了意想不到的副作用——嚴重削弱了Layer 1的價值捕獲能力。 L1交易費收入和ETH銷毀量的急劇下滑,直接衝擊了ETH的通貨緊縮預期,導致幣價表現低迷,社區不滿情緒高漲。透過將EVM升級為zkEVM,驗證節點可以從耗時的"重新執行"模式轉向高效的"驗證"模式,這將顯著降低L1延遲並提升吞吐量。如此一來,以太坊能夠重新吸引那些對安全性和即時最終性有極高要求的高價值交易,增加L1手續費收入,重新激活EIP-1559的銷毀機制,實現L1與L2經濟關係的再平衡。

  • 其次,這是應對高性能公鏈競爭的非對稱策略。面對Solana、Sui等新一代高性能L1在TPS的強勁表現,以太坊選擇了一條獨特的競爭路徑。它沒有效仿競爭對手通過犧牲去中心化程度(如大幅提高驗證者硬體門檻、減少驗證節點數量)來追求性能提升,而是利用ZK技術,在保持其百萬級驗證者網絡這一核心優勢的基礎上,通過將驗證工作從"昂貴的重放"轉變為"廉價的驗證"來實現性能飛躍。這項策略旨在鞏固以太坊在去中心化和安全性方面的護城河,同時提升性能表現,力求實現安全性與高性能的兼得。

  • 最後,這是為迎接RWA與機構金融浪潮的前瞻性佈局。 RWA代幣化普遍被視為區塊鏈的下一個兆級市場機會。隨著貝萊德、富蘭克林鄧普頓等金融巨頭的入場,對底層公鏈在性能、安全、隱私和合規方面提出了史無前例的嚴格要求。雖然Solana、Sui等L1效能卓越,但驗證節點相對較少,中心化程度較高,加上有宕機的黑色歷史,在安全性和穩定性方面難以滿足高價值金融活動的需求。而以太坊生態中的各種OP Rollup(如Base、MegaETH)雖然性能不錯,且因狀態回寫L1而具備良好的安全性,但其長達7天的挑戰期對高價值金融結算而言是不可接受的風險敞口。相較之下,ZK技術提供的密碼學級別最終性,以及在不洩露敏感資料的前提下證明合規性的能力(如證明某位地址已通過KYC),完美契合了機構金融的核心需求。如果zkEVM升級能夠如願提升吞吐量,那麼原生整合ZK技術的以太坊生態( L1+ZK Rollup )將實現「性能、安全、穩定」兼得,成為承接RWA浪潮的理想全球結算層。

🛠️ 三、ZK終局在行動🛠️

以太坊的ZK終局早就顯露端倪,除了Sophia Gold這次發表的blog:

  • 早在2025年4月,Vitalik Buterin就提出了一個極具前瞻性的構想:以對ZK更友善的RISC-V指令集架構取代現有的EVM。支持者認為,相較於EVM在產生ZK電路時的低效率表現,RISC-V更簡潔的架構能帶來數量級的證明效率提升。儘管這項提議因顛覆現有生態而引發爭議,但它為以太坊的ZK化設定了清晰的"北極星"——明確了理想的zkEVM的標準,為優化指明了方向。

  • 在2025年6月的柏林工作坊上,以太坊基金會研究員Justin Drake明確宣布,以太坊在L1擴容上將"全面押注ZK "( Ethereum is going all in on ZK )。這項表態證實了核心開發團隊的堅定決心。

以太坊的ZK終局也絕非「紙上談兵」 。儘管目前Optimistic Rollup在各項關鍵指標上仍領先ZK Rollup,但阻礙ZK技術實戰應用的各項困難正在逐一攻克。歷史上造成ZK Rollup嚴重落後的三大根本原因:

  • 首先是技術複雜性與效能瓶頸:過去為通用EVM計算生成ZK證明被認為極為困難、緩慢且昂貴,甚至在計算上不可行。

  • 其次是開發者體驗差距:ORU從一開始就實現了高度EVM相容性,而早期ZKR(如StarkNet早期版本)不相容於EVM,要求開發者學習全新程式語言,構成極高進入門檻。

  • 最後是流動性碎片化與網路效應:ORU憑藉先發優勢聚集了大量使用者和流動性,形成強大網路效應。

然而,這些歷史障礙正被逐一攻克。

  • 在證明速度方面,由於PLONK、STARKs等新一代證明演算法的進步,以及GPU、FPGA甚至ASIC等硬體加速技術的發展,ZK證明產生時間被大幅縮短。例如,Succinct公司的SP1 zkVM已能在平均10.3秒內證明93%的以太坊主網區塊,非常接近以太坊基金會設定的10秒目標。

  • 在相容性方面,zkEVM經歷了從Type 4到Type 1相容性逐步提升的演進過程。如今,Scroll、Taiko、Polygon zkEVM等專案已能實現接近完美的EVM等效性(達到Type 2甚至Type 1標準),從根本上消除了與ORU在開發者體驗上的差距。而L1 ZK化的Multi-Proof安全模型依賴多個獨立的證明系統,當前zkEVM賽道的蓬勃發展為實現這一安全模型奠定了基礎。

綜上所述,歷史上導致ZK技術落後的核心障礙——效能和相容性——正在迅速克服。科技已經為大規模實戰應用做好了充分準備,只是此前ZK技術"又慢、又貴、又難"的刻板印象讓人們一時不願接受。而以太坊核心團隊"讓以太坊成為世界最大ZK應用"的願景,正是為現代ZK技術背書,吹響了ZK技術大規模投入實戰的號角。

🌊 四、ROLLUP生態轉型🌊

NATIVE ROLLUP為ZK ROLLUP鋪設高速公路

以太坊L1的全面ZK化將從根本上重塑Layer 2的競爭格局,其中最具革命性的變化是"原生Rollup"(Native Rollup)的提出。目前的ZK-Rollup需要在L1上部署包含數千行程式碼的複雜驗證者智慧合約來驗證L2提交的ZK證明,這不僅增加了開發難度,也因為開發者水平參差不齊而帶來安全風險。而在L1實作zkEVM後,將引入EXECUTE預編譯功能,讓ZK Rollup在L1上的智慧合約直接呼叫L1協定內嵌的驗證邏輯,而不用自己寫合約。

這項變化為ZK-Rollup帶來了三重優勢:

  • 首先是安全性的根本性提升,Rollup專案方可以將建置和維護EVM驗證器的巨大工程挑戰完全外包給L1,將複雜的技術難題簡化為一行程式碼的呼叫;

  • 其次是實現了真正的EVM等效性和前向相容,原生Rollup與L1同步升級,無需獨立的治理流程;

  • 最後是成本效益的顯著改善,使用L1協定內嵌預編譯功能避免了虛擬機器解釋執行的開銷,驗證效率比智慧合約實現高出幾個數量級,從而有望大幅降低ZK Rollup的運行成本。

這個Native Rollup功能相當於以太坊L1為所有ZK-Rollup免費提供了一個標準化、高度安全且高效的驗證層,直接解決了長期困擾ZK-Rollup發展的核心難題:高昂的鏈上證明驗證成本、維持EVM等效性的技術挑戰,以及驗證者合約的安全風險。

OP ROLLUP的策略轉型

相較之下,L1的ZK化對Optimistic Rollup構成了生存等級的挑戰。 ORU的核心弱點在於其長達7天的提款確認週期,這種延遲對許多高價值應用來說是不可接受的。如果L1 ZK化成功提升吞吐量,可能導致資本和應用大規模從OP Rollup生態外流。

然而,目前OP Rollups(如Base, Arbitrum, Optimism)在TVL和用戶活動方面佔據主導地位,這種既得利益格局讓人對L1全面ZK化的前景產生疑慮。但令人欣慰的是,領先的ORU專案方並未選擇對抗,而是積極適應,將潛在衝突轉變為技術趨同。

  • Optimism展現了明確的ZK轉向策略,其OP Stack從設計之初就強調模組化,允許替換證明系統等核心組件。 Optimism基金會已投入資金支持多個團隊(如RISC Zero, O(1) Labs, Succinct)開發ZK詐欺證明。例如RISC Zero推出的Zeth已實現與OP Stack的集成,使Optimism生態具備了透過ZK技術進行區塊狀態驗證和爭議解決的能力。

  • Arbitrum則採用了更務實的混合路線,在其2024-2025年官方技術路線圖中明確提出" ZK+Optimistic混合證明"的研發方向。此設計允許系統在ZK證明能夠及時生成時,將其用作"即時確認通道" ,為鏈上狀態變更提供即時的最終性,極大縮短資金提現與跨鏈通信延遲;當ZK證明無法及時生成時,系統自動回退至傳統的樂觀證明路徑,通過爭議期與挑戰機制保障安全性。

🌍 五、系統性影響🌍

這場變革的影響將是系統性的,貫穿績效、去中心化和經濟模型。

  • 效能願景:透過將驗證成本降至極低,以太坊將有能力將區塊Gas上限提升10倍甚至100倍使L1+L2的總TPS達到10,000以上,成為真正的高效能平台。

  • 新的經濟分工:L1的ZK化將催生一個類似PBS(Proposer-Builder Separation)的專業化分工體系。

    • 證明者(Provers) :運作昂貴(成本上限10萬美元)、高功耗(上限10千瓦)的專業硬件,負責產生ZK證明。由於其高昂的資本和營運成本,該角色很可能趨向中心化。

    • 驗證者(Validators) :其角色被大幅簡化和減負。他們不再需要運行強大的執行客戶端進行交易重播。一台普通的筆記型電腦或低規格設備就足以在短時間內下載並驗證一個小於300 KiB的輕量級證明。

    • 這種設計透過將計算密集型任務集中化,同時保持驗證的廣泛去中心化,從而解決了擴容與去中心化之間的矛盾。一個全新的、連結的證明者市場將會出現。證明者將透過交易費、MEV分成和代幣激勵獲得報酬。

  • ETH價值捕獲重塑:一個更強大的L1能夠承載更多高價值交易,直接推高交易手續費,從而增加ETH的銷毀量,這對於穩定ETH價格至關重要。

  • 與Danksharding的綜效:L1的ZK化願景與Danksharding路線圖相輔相成,共同構成了以太坊的「雙輪驅動」擴容策略。

    • EIP-4844及後續的完整Danksharding為Rollup提供了廉價、海量的資料可用性空間(Blobs)。

    • ZK化的L1則為Rollup(特別是ZK Rollup)提供了一個超高安全性、超快最終性的執行與結算層。

    • 兩者在技術上高度協同,使得以太坊能夠同時在執行層(透過ZK)和資料層(透過Danksharding)進行擴容,全面提升網路效用,進而驅動對ETH作為網路原生資產的整體需求。

🏁 結語:邁向可驗證的世界電腦🏁

以太坊向全面ZK化的策略轉型,是其發展史上的另一個決定性時刻。這不是一次孤立的技術升級,而是一項應對技術瓶頸、經濟挑戰和激烈市場競爭的系統性、多維度的綜合策略。它深刻確認了以太坊作為全球最終結算層的角色,為「不可能三角」問題提供了獨特的解法,優化了ETH的經濟模型,並引領整個L2生態走向成熟。

前路依然充滿挑戰,但方向已經無比清晰。以太坊正在從一個“世界電腦”,進化為一個“可驗證的世界電腦”。透過將密碼學真理深度嵌入其核心,以太坊不僅在為自身的未來鋪路,也在為整個去中心化世界的未來,建立一個更安全、可信和可擴展的基礎。 ZK終局,正是以太坊對這未來最堅定的承諾。

  • 本文基於公開資訊分析,不構成投資建議。加密貨幣投資有較大風險,請謹慎決策,DYOR。

  • 如果您喜歡本文,歡迎關注、按讚和轉發支持!

  • 需要說明的是,這篇文章只是一篇專業研究報告的"簡化科普版"。若想了解更多深度內容,歡迎關注部落客並私訊索取完整研報。完整版研報內容更加豐富詳實,包含更多分析、圖表、數據及參考文獻。

分享至:

作者:加蜜烘焙坊

本文為PANews入駐專欄作者的觀點,不代表PANews立場,不承擔法律責任。

文章及觀點也不構成投資意見

圖片來源:加蜜烘焙坊如有侵權,請聯絡作者刪除。

關注PANews官方賬號,一起穿越牛熊
推薦閱讀
6小時前
7小時前
9小時前
10小時前
15小時前
16小時前

熱門文章

行業要聞
市場熱點
精選讀物

精選專題

App内阅读