以太坊共同創辦人 Vitalik Buterin 已發布其 2023 年路線圖的更新版本，將量子安全性與隱私提升至更高優先級的位置，同時降低可驗證延遲函數（VDF）與多項早期以太坊虛擬機（EVM）改進的優先順序。

修訂後的路線圖引入了原生 rollup、blob 與 gas 期貨、新型態狀態及後量子擴展機制。Buterin 同時探索 EVM 之外的執行架構，其中 RISC-V、LeanISA、遞迴 STARK 與 AI 輔助形式化驗證成為矚目的焦點領域。該路線圖是 Buterin 對以太坊協議演進的個人技術願景，而非具約束力的開發時程，但它經常指引影響客戶端團隊與更廣泛研究社群的方向。

路線圖重新調整與新優先級

根據 Buterin 的說法，先前路線圖中的若干項目已經過重新編排。量子安全性現已獲得更多關注，而 VDF 與多項 EVM 增強功能則被調降優先級。其他技術設計也透過更新的方法有所演進。量子安全性的提升反映了密碼學社群日益增長的認知——即具備足夠強大運算能力的量子電腦最終可能破解目前保護以太坊帳戶的橢圓曲線簽章。

值得注意的是，Verkle 樹已被統一二進位樹與 PBT（後量子二進位樹）取代，而狀態過期機制則被新型態狀態所取代。隱私在以太坊的更新計畫中已被提升至一級地位，Buterin 列出了鍵控非ces、近期根、FOCIL 的組成部分、精簡隱私池與蟲洞等相關功能。

路線圖還透過 leanSPHINCS 簽章與 zkzk 框架納入了後量子擴展。Blob 與 gas 期貨也已加入以太坊的計畫基礎設施。

原生 rollup 在 SNARK（簡潔非互動式知識論證）技術取得進展後進入了路線圖。Buterin 指出，2023 年時該技術尚不夠成熟，不足以採用此方法。

探索 EVM 之外的執行架構

Buterin 概述了以太坊執行層的更廣泛願景，指出 zkzk 框架可能引導協議朝向在 EVM 之外暴露指令集的方向發展。LeanISA 與 RISC-V 目前位列領先候選方案之中。RISC-V 是一種開放標準指令集架構，廣泛應用於學術界與產業界的硬體專案中；以太坊考慮採用 RISC-V，顯示出對具備豐富現有工具鏈與形式化規範工作的執行模型的興趣。

他形容這兩個選項比 EVM 更簡單、更新且更有效率。Buterin 也提出了將 EVM 重新定位為疊加在另一指令集之上的中間表示形式的可能性。然而，他提醒說，對目前的草圖路線圖而言，更深入的探索仍為時過早。

Buterin 表示，新型態狀態也代表了一種不同的擴展方式。這些設計強調專門化機制，而非試圖最大化每一類以太坊活動。

STARK 與 AI 輔助驗證

Buterin 將遞迴 STARK 與 AI 輔助形式化驗證確定為貫穿更新路線圖的反覆主題。遞迴 STARK 出現在以太坊的多個協議層中，單一驗證原語有望同時服務於執行層、共識層與資料層。

他強調，形式化驗證對於安全部署此類共享組件而言至關重要。更廣泛的形式化驗證工作日益與現代 AI 工具相連結，使得整個路線圖更加重視數學化的程式碼驗證。此趨同反映了一種更廣泛的軟體工程趨勢——即 AI 驅動的工具正被應用於證明難以僅透過測試驗證的複雜系統正確性屬性。

Buterin 表示，以太坊的長期目標包括量子安全性、更強的隱私、穩健的安全性、抗審查能力以及更高的擴展性。他還描繪了一個長期保持精簡且高效的以太坊目標架構。