Interop 路線圖「加速」：Fusaka 升級之後，以太坊互操作或迎關鍵一跳

Chainfeeds 導讀：

沒有即時 ZK，就很難有真正可用的 Interop UX。

文章來源：

文章作者：

imToken Labs

觀點：

imToken Labs：12 月 4 日，以太坊 Fusaka 升級正式在主網上啟動，只是不像當年 Dencun 升級那樣聲勢浩大，市場的聚光燈也多集中在 Blob 擴容與 PeerDAS 上，大家熱議於 L2 數據成本的進一步降低。但在這場喧囂之外，其實還有一個不起眼的提案 EIP-7825，為以太坊實現 L1 zkEVM 和即時證明掃清了最大障礙，甚至可以說正在悄悄為 Interop 的終局鋪路。在此次 Fusaka 升級中，大家關注的焦點幾乎都在擴容上：Blob 容量擴充 8 倍，配合 PeerDAS 隨機抽樣驗證，讓 DA（數據可用性）賽道的成本敘事徹底成為了歷史。確實，更便宜的 L2 是好事，但對於以太坊長遠的 ZK 路線圖來說，EIP-7825 才是真正的遊戲規則改變者，因為它給以太坊的單筆交易設置了一個 Gas 上限（約 1678 萬 Gas）。眾所周知，今年以太坊區塊的 Gas Limit 已經提升至 6000 萬，但即便上限不斷提高，理論上如果有人願意出極高的 Gas Price，他仍可以發送一筆超級複雜的「巨型交易（Mega-Transaction）」，直接佔滿整個區塊的 6000 萬 Gas 容量，進而堵塞整個區塊。 那為什麼又要限制單筆交易大小？其實這個改動對普通用戶轉帳毫無影響，但對 ZK Prover（證明生成器）來說，卻是生與死的區別，這也與 ZK 系統生成證明的方式息息相關。舉個簡單的例子，在 EIP-7825 之前，如果區塊裡包含一筆消耗 6000 萬 Gas 的「巨型交易」，ZK Prover 就必須按順序跑完這筆極其複雜的交易，無法拆分，無法並行，這就像是一條單車道高速公路，前面有一輛開得極慢的巨型卡車，後面所有的小車（其他交易）都得堵著等它過完。那這無疑直接判了「即時證明」死刑 —— 因為生成證明的時間完全不可控，可能需要幾十分鐘甚至更久。而在 EIP-7825 之後，即使未來區塊容量擴大到 1 億 Gas，由於每筆交易都被強制限制在 1678 萬 Gas 以內，每個區塊都被拆解成了可預測、有界限、可並行處理的「小任務單元」，這意味著以太坊的證明生成，從一個棘手的「邏輯難題」，變成了一個純粹的「堆算力問題（Money Problem）」：只要能投入足夠多的並行算力，我們就能在極短時間內同時處理這些被拆分的小任務，從而為巨大的區塊生成 ZK 證明。 不過 EIP-7825 雖然通過限制單筆交易大小，為即時證明鋪平了物理道路（可並行化），但這只是硬幣的一面，另一面在於，以太坊主網自身如何利用這種能力？這就涉及到了以太坊路線圖中最硬核的敘事 ——L1 zkEVM。長期以來，zkEVM 被視作擴展以太坊的「聖杯」，不僅因為其能解決性能瓶頸，更因為它重新定義了區塊鏈的信任機制，其核心思路是讓以太坊主網具備生成、驗證 ZK 證明的能力。換言之，未來以太坊的每個區塊執行後，都能輸出一份可驗證的數學證明，使其他節點（尤其是輕節點和 L2）無需重複計算即可確認結果的正確性 —— 如果把生成 ZK 證明的能力直接寫進以太坊協議層（L1），提議者（Proposer）每打包一個區塊並生成一個 ZK 證明，驗證節點就不再需要重跑交易，只需要驗證這個極小的數學證明。