Vitalik Buterin 對 Ethereum 的優先事項已大幅轉向防禦量子電腦對網路的威脅，並利用人工智慧來檢驗自身的程式碼。Buterin 在 2026 年 8 月 10 日於 X 上發布的更新版「Strawmap」中概述了這些變更，直接將網路目前的發展方向與他在 2023 年發布的路線圖進行比較。

「然而，最引人注目的是，Strawmap 中有一些完全嶄新的內容，而這些內容並未出現在這張圖表中，因為它們根本不在 2023 年的路線圖中。這些反映了優先事項的變化，」Buterin 寫道。據 Decrypt 報導，這份比較顯示後量子安全、增強隱私和 AI 輔助形式化驗證都躍升至優先列表的頂端。

量子抗性躍居首位

根據多數估計，能夠破解當今公鑰密碼學的量子電腦仍需數年時間才會出現，但 Ethereum 的路線圖現已將此威脅視為近期的工程優先事項，而非遙遠的應急預案。這一定位與科技產業的更廣泛轉變一致：美國國家標準與技術研究院於 2024 年 8 月敲定了首批後量子密碼學標準，為各組織提供了遷移的參考框架。根據 Strawmap，Ethereum 基金會已經組建了專門的後量子團隊，並制定了分階段計畫，以替換可能被足夠強大的量子機器擊敗的密碼元件。此次更新中新增的項目包括 LeanSPHINCS——一種後量子簽名方案——以及簽名聚合工具，旨在這些更重的抗量子簽名投入使用後保持網路效率。

「Ethereum 將具備量子安全性。Ethereum 將把用戶隱私放在首位。Ethereum 將是安全的。Ethereum 將是抗審查的。Ethereum 將在滿足上述條件的同時保持高效能和可擴展性。而且 Ethereum 將是精簡的，」Buterin 寫道，總結了新計畫下網路的指導原則。據 Unchained 報導，量子安全性相較於先前的路線圖已被明確提升優先級，這是 Buterin 在貼文中標記的數個重新排序項目之一。

貫穿此次更新的第二條技術主線是 AI 輔助形式化驗證——一種以數學方式證明程式碼按預期運作的方法，而非僅針對有限場景進行測試。Ethereum 研究人員依賴 STARK（可擴展透明知識論證）——一種已在多個 Ethereum layer-2 網路上部署的密碼學證明系統——來安全地驗證整個網路的運算。Buterin 直接將兩者聯繫起來：「這只有通過形式化驗證才能確保安全，而形式化驗證本身只有借助現代 AI 工具才可行。」該計畫要求 STARK 證明和 AI 工具驗證 Ethereum 執行層、共識層和資料層的程式碼，The Block 將此範圍描述為在新路線圖中將隱私和量子抗性置於核心位置。

隱私與擴展也迎來重組

原生隱私也攀升至優先列表。「隨著開發的持續，Ethereum 將把用戶的隱私放在首位，」Buterin 寫道，而 Strawmap 將隱私定位為設計要求，而非由外部開發者構建的可選層。在擴展方面，此次更新不再嘗試在單一統一系統中為每種類型的活動最大化吞吐量。相反地，它傾向於為特定使用場景構建專門的擴展機制，以及新命名的項目如原生 rollup 和 blob 及 gas 期貨。

一些先前的優先事項被直接放棄或替換。Buterin 的貼文將可驗證延遲函數和許多計畫中的 EVM 改進列為降低優先級，而先前的資料結構計畫如 Verkle 樹已被他描述為從統一二元 trie 到所謂 PBT 路徑的新結構所取代，狀態過期也已被新的狀態類型取代。這種替換而非純粹新增的特徵貫穿整個更新：Ethereum 不僅是在增加功能，也在摒棄不再適用的功能。

更簡潔的規範，放眼五年

Buterin 將 Strawmap 定位為一項跨越至 2029 年的協調計畫，而簡化目標與任何單一功能同等重要。自合併——Ethereum 於 2022 年 9 月從工作量證明轉向權益證明——以來，Ethereum 的協議在執行層、共識層和資料層都積累了複雜性，而形式化驗證結合 AI 工具被提出作為使這種複雜性可審計而非僅被記錄的方法。目前沒有任何報導此故事的媒體詳細說明 Ethereum 的方法與競爭 layer-1 網路的量子抗性工作相比如何，使得整個產業的後量子遷移比較時間表目前仍未被討論。

ETH 本身對此公告未有反應，在貼文發布時交易價格約為 $1,875，24 小時內下跌約 2.6%。五年技術路線圖與當日價格無反應之間的落差本身就值得注意：市場將此視為長期基礎設施工作，而非近期催化劑。The Defiant 當天也報導了 Ethereum 生態系統的活動，不過其關於 Robinhood Chain 交易量的報導是與 Buterin 的路線圖貼文分開的另一則報導。

接下來的發展取決於 Ethereum 基金會的後量子團隊能多快將 LeanSPHINCS 和簽名聚合從提案轉化為實際部署的程式碼，以及基於 STARK 的形式化驗證能否在 Ethereum 三個核心層面上證明其實用性。Buterin 的貼文設定了通往 2029 年的目的地。更艱難的建設工作現在才剛開始。

閱讀原始路線圖證據

原始討論串比將每個項目視為承諾的升級更為精確。Buterin 稱之為「strawmap」：一份比較當前優先事項與 2023 年路線圖的規劃和協調文件。它標識了協議各層面的形式化驗證，並指出量子安全性已大幅提升，但它不是發布時程、已完成的規範或證明抗量子遷移已準備好上線主網。

讀者也可以在 strawmap.org 查看不斷演進的大綱。路線圖項目仍須通過研究、規範制定、實作、測試以及 Ethereum 的社會治理流程。不同組件可能以不同速度推進，且被納入路線圖並不保證特定的分叉日期。

為何量子安全與形式化驗證相互關聯

後量子簽名通常比 Ethereum 目前使用的簽名更大，且在運算上更為繁重。在不使客戶端或錢包無法使用的前提下替換密碼學假設，需要謹慎的協議設計。形式化驗證可以通過證明程式碼和規範的特定屬性來降低實作風險，而 AI 工具可能幫助工程師撰寫或審查這些證明。AI 的輸出本身並非安全證明，仍需經過嚴格的檢查。

路線圖中沒有任何證據顯示當今的量子電腦能夠破解 Ethereum 帳戶。此風險是前瞻性的：協議遷移需要數年時間，而現今收集的加密或簽名資料日後可能仍有價值。推進這項工作是未雨綢繆，而非聲稱攻擊即將到來。

文章 Buterin 的 Ethereum Strawmap 將量子防禦置於擴展之前 最先出現在 Cryptsy 上，由 Ethan Blackburn 撰寫。