隐私、量子安全、原生 Rollup,以太坊路线图新增了什么?
- 核心觀點:以太坊聯合創辦人 Vitalik Buterin 發布最新技術路線圖(Strawmap),對比 2023 年版本,顯示隱私保護、後量子安全、形式化驗證和原生 Rollup 等方向優先級顯著提升,多項新提案已進入協議設計討論階段。
- 關鍵要素:
- 強隱私保護首次列為一級議題,相關 EIP-8250、EIP-8272、EIP-8182 分別解決私密交易並發、證明驗證和共同匿名集問題,但均無確定啟動分叉。
- 量子安全優先級上調,風險波及 ECDSA、BLS 簽名、KZG 承諾及零知識證明系統;以太坊基金會已設後量子團隊,L1 協議升級或於 2029 年完成,執行層遷移需更久。
- STARK 技術被置於執行層、共識層和資料層共同使用,以規避橢圓曲線密碼學量子風險,並支撐「Extremely Lean Chain」構想(驗證者狀態壓縮至 1 位元組)。
- 原生 Rollup 透過 EIP-8079 草案實現,利用 EXECUTE 預編譯重用主網驗證功能,減少客製化程式碼,但仍待完成證明攜帶交易和 ZK 驗證設計。
- 狀態設計由 Verkle 樹轉向分割二元樹(PBT),並與新狀態類型配合擴容;EIP-8347 已提出離線遷移但啟動未定。
- 新增區塊與 Gas 期貨、非 EVM 指令集(如 leanISA/RISC-V)等長期討論方向,反映 EVM 未來設計空間開放。
- Strawmap 規劃截至 2029 年七次潛在升級,但基金會已表示 2026 年後分叉年份標註過於確定,可能弱化。
原文作者:ChandlerZ,Foresight News
以太坊聯合創辦人 Vitalik Buterin 於 8 月 10 日發布了其 2023 年技術路線圖與當前 Strawmap 的疊加對照圖。他表示,整體重合度較高,但部分事項優先級上調(如量子安全)、部分被降低優先級(如 VDF、多項 EVM 改進)、部分方案被更優構造替代(如 Verkle 樹先被統一二叉樹替代、再被 PBT 替代,狀態過期方案被新狀態類型替代)。

當前路線圖中出現了多項 2023 年完全未涉及的全新方向,反映優先級變化,包括強隱私保護首次被列為一級關注事項;在後量子背景下推進激進擴容;為輔助形式化驗證對協議規範進行精簡化處理,他表示 AI 的出現使得對全部協議內容進行完整形式化驗證成為可能;引入區塊與 Gas 期貨概念;引入原生 Rollup(此前 SNARK 技術尚不足夠成熟);以及為「EVM 的未來」開放更多設計空間,協議未來或將向用戶提供非 EVM 的指令集架構。

三項提案為私密轉帳補齊協議能力
強隱私保護是變化最明顯的一項,2023 年路線圖沒有覆蓋這組協議級設計,當前 Strawmap 已將隱私 L1 提高為協議級議題。Vitalik 點名的 keyed nonces、recent roots、精簡隱私池和 wormholes 分別解決私密交易的並發、證明驗證、共同匿名集和資金關聯問題。
4 月提交的 EIP-8250 允許一個共享發送地址使用多組獨立 nonce,避免某位用戶的待處理交易阻塞同一隱私協議中的其他用戶。5 月提交的 EIP-8272 允許私密支出證明引用近期承諾樹根,無需在驗證期間讀取持續變化的應用狀態。EIP-8182 則提議透過系統合約、共享屏蔽池和分離式證明架構,為 ETH 與 ERC-20 建立一個協議內隱私池。EIP-8250 和 EIP-8272 目前處於 Draft,EIP-8182 處於 Review,三者均沒有確定的激活分叉。
目前各隱私應用分別維護資金池,用戶和流動性被切割後,單個池的匿名集容易過小。EIP-8182 希望把多種資產集中到同一套協議內匿名集中,並透過可擴展的授權驗證機制增加新的驗證方法,減少升級時再次拆分用戶的需要。
Wormholes 對應 EIP-7503 的零知識銷毀證明,用戶先把 ETH 轉入密碼學上無法花費的地址,再用零知識證明重新鑄造等量 ETH,使公開鏈難以連接原始轉帳與新地址。該提案目前處於 Stagnant,規範和參考實現仍需完善,同時存在實現錯誤和重複鑄造風險。隱私進入路線圖一級目標,意味著以太坊開始同時改造帳戶、交易驗證和基礎層轉帳,離預設私密帳戶仍有多項協議與錢包工作。
量子遷移覆蓋四處密碼學
Vitalik 將量子安全上調優先級,並提出在後量子條件下繼續擴容。風險分佈普通帳戶使用的 ECDSA 簽名、驗證者使用的 BLS 簽名、Blob 數據可用性使用的 KZG 承諾,以及部分 Rollup 和隱私應用採用的零知識證明系統等。當前量子電腦尚不足以攻破這些密碼學,但更換全球網絡中的帳戶和驗證者金鑰需要多年準備。
最新路線圖列出 leanSPHINCS 簽名聚合和 zkzk frames 等方向,並把遞歸 STARK 放在執行層、共識層和數據層共同使用。STARK 主要依賴哈希函數,能夠避開部分橢圓曲線密碼學的量子風險,也可以把大量計算壓縮為更容易驗證的證明。以太坊基金會已經設立專門的後量子團隊,目前給出的時間口徑是 L1 協議升級可能在 2029 年完成,執行層全面遷移還可能再花數年,且沒有固定完成日期。
STARK 還與協議精簡和形式化驗證相連,Vitalik 7 月提出的 Extremely Lean Chain 設想把第一階段的單個驗證者狀態壓縮至 6 位元組,第二階段進一步降至 1 位元組,並讓驗證者透過零知識證明更新餘額和每日輪換公鑰。Vitalik 認為現代 AI 工具讓全協議形式化驗證具備可行性,這裡的 AI 用於編寫和檢查可由機器驗證的數學證明,沒有參與出塊、投票或共識判斷。
原生 Rollup 讓 L2 複用主網驗證,時間表仍會調整
2025 年 11 月提交的 EIP-8079 已為原生 Rollup 給出草案,以太坊透過一個 EXECUTE 預編譯向執行層開放主網狀態轉換函數,使 EVM 等價 Rollup 能夠複用 L1 的驗證基礎設施。Rollup 目前需要自行維護證明系統、橋接合約和升級機制,原生化可以減少定製驗證程式碼,並為移除安全委員會提供條件。EIP-8079 中的證明攜帶交易、ZK 驗證和部分安全設計仍標為待完成,也未被列入已確定的主網升級。
以太坊基金會 3 月對 L1 與 L2 的分工作出進一步說明,希望最大程度繼承主網安全性的 L2 可以轉向原生 Rollup、Stage 2 和同步可組合性;提供隱私、應用專用效率或其他差異化功能的 L2 仍會繼續存在。原生 Rollup 的路線調整了 L2 與主網的驗證關係,沒有取消多鏈擴容結構。
狀態設計也在更換,Vitalik 稱 Verkle 樹先被統一二叉樹取代,隨後轉向分區二叉樹(PBT),狀態過期則讓位於新的狀態類型。7 月提交的 EIP-8347 已提出離線遷移至 PBT,但激活分叉和錨定區塊仍未確定。Blob 與 Gas 期貨、leanISA 或 RISC-V 等非 EVM 指令集也進入長期討論,其中更深層的 EVM 改造尚未成熟到可以寫入 Strawmap。
Strawmap 暫時繪製了截至 2029 年的七次潛在升級,並以約半年一次的分叉節奏排列。以太坊基金會 5 月揭露,核心開發者已認為 2026 年之後的逐分叉年份標註過於確定,後續可能弱化。
小結
Vitalik 此次更新集中呈現了以太坊技術優先級的變化,隱私、後量子安全和形式化驗證進入基礎協議設計,原生 Rollup 與新狀態類型則把擴容討論推進到驗證機制和狀態結構。多項方案目前仍處於 Draft、Review 或早期研究階段,Strawmap 提供的是依賴關係和長期方向,無法直接視為上線承諾。
相關 EIP 能否進入具體硬分叉,後量子帳戶與驗證者遷移方案能否形成完整規範,以及原生 Rollup 的證明攜帶交易和 ZK 驗證設計能否補齊。近期觀察節點仍是 2026 年第四季度的 Glamsterdam,以及尚在確定提案範圍的 2027 年 Hegotá。


