作者：藍狐筆記

Vitalik這篇長文可以看作是未來以太坊路線圖的更新版。在2023的經典路線圖（Merge → Surge → Scourge → Verge → Purge → Splurge）基礎上，疊加了現在的 Strawmap（以太坊基金會維護的「稻草人路線圖」）上。

新路線圖向我們展示了以太坊未來龐大而浩瀚的工程全景。

簡單來說，之前方向大體還在，不過發展到今天，優先級和實現路徑已經發生了明顯變化，且出現了好幾個 2023 年根本不存在的新東西。

還在延續到部分：

• 共識層繼續完善（單槽最終性、更多驗證者支持等）

• 數據可用性擴展（blob 繼續放大）

• 輕客戶端驗證變簡單（用 SNARK/STARK 證明）

• 協議瘦身、清理歷史技術債

這些東西還要繼續搞，不過被重新排了順序、有些也找到了新的實現方式。

主要調整的地方：

最重要的是，量子安全被大幅提前。之前優先級不高，現在則變成了高優先級。

原因是，量子電腦的現實威脅感比 2023 年變強很多。

降級技術部分：

• VDF（可驗證延遲函數）基本被邊緣化

• 很多單純的 EVM 改進也被降級了

技術替換部分：

• Verkle 樹 → 統一的 Binary Tree → 最終走向 PBT（更優的結構）

• 狀態過期（State Expiry）→ 新的狀態類型（New State Types），換了一套完全不同的狀態管理範式，用來更好地支援擴展。

最後是，新東西部分（之前路線圖沒有的）

這也是 Vitalik 覺得最值得注意的部分：

一是，隱私變成最高優先級之一。

要直接寫進核心設計。包括 keyed nonces、FOCIL 相關機制、lean privacy pool、wormholes 等。最終目標是，讓隱私成為協議原生能力，應用層在此之上構建和優化。

二是，激進擴展（在後量子前提下）

用 leanSPHINCS 簽名 + 聚合，以及 zkzk frames（零知識套零知識的框架）。意思是，即使以後全面換成抗量子密碼，也要保證擴展能力不掉。

三是，規格「Lean 化」 + 形式化驗證

把協議寫得更乾淨、更簡單，方便做完整形式化驗證（Formal Verification）。Vitalik 明確表示：全面形式化驗證現在之所以變得可行，主要是因為有了現代 AI 工具。

這是一個很重要的底層變化，協議複雜度開始被主動壓低，不能越加越複雜。

四是，Blob 和 Gas 期貨

提前對未來容量做承諾/市場。

五是，Native Rollups（原生 Rollup）

現在SNARK 技術已經成熟到可以認真考慮了，把 Rollup 能力深度整合進協議本身已經不再是想象。

（這一點非常重要，對於L1/L2整合太重要了）

六是，EVM 的未來被重新打開

協議未來可能會暴露更簡單、更現代的指令集（目前候選是 leanISA 或 RISC-V）。

EVM 有可能變成跑在這些新指令集之上的中間表示（IR），不會是永遠被硬編碼在協議核心。這意味著未來開發者可能直接用更高效的指令集，EVM 變成相容層。

上面技術路線的兩個核心思路：

一是，不再試圖把「所有以太坊活動」都無限擴展。

會設計一些有限制屬性、但更適合擴展的專門機制，專門扛住今天最重的負載（轉帳、swap）和明天最重的負載（隱私協議）。

用專業化換取更高的可擴展性。

二是，把 遞迴 STARK 和 AI 輔助的形式化驗證當成真正的一等基礎設施。

一個叫 「aggregate to union verified dependencies」 的原語，預計會在執行層（EL）、共識層（CL）、數據層（DL）三個地方同時使用。

這種跨層複用，必須靠形式化驗證才能安全，而形式化驗證又依賴現代 AI。這是很深的「押注」。

總結來說，

以太坊正在從「Merge 後的第二代」走向第三代大改造（Lean Ethereum）。

幾乎每個主要組件都會被替換或重寫：

比如，驗證方式變成遞迴 STARK、密碼學全面抗量子、隱私成為原生目標、協議本身被主動精簡以支援形式化驗證，同時通過專業化機制和 Native Rollup 等手段大幅提升擴展性。

最終要達成：

量子安全 + 隱私優先 + 安全 +去中心化+ 在滿足前面所有條件的前提下高度可擴展 + 保持精簡。

總之，不是小修小補，算是一次系統性的重構，可以說是整個加密領域最大的工程推進。