作者：HIBIKI，加密城市
V 神更新以太坊路線圖
以太坊共同創辦人 Vitalik Buterin 近日在社群平台 X 發文，將自己於 2023 年提出的以太坊路線圖，與以太坊基金會最新版本的 Strawmap 進行比對。
Vitalik 表示，兩份路線圖整體有不少重疊，但部分項目順序出現調整，例如抗量子安全性優先程度提高；部分項目被降低優先度，包括可驗證延遲函數與多項 EVM 相關改進。
另有部分項目被更好的技術方案取代，例如默克爾樹（Verkle Tree）先轉為統一二元樹再演進為分區二元樹，狀態到期機制則被新的狀態類型取代。
隱私與抗量子成為全新核心項目
Vitalik 表示，Strawmap 中出現多項 2023 年路線圖完全沒有納入的全新內容，反映出優先順序的改變。其中最受關注的是強隱私保護，以及因應後量子時代的積極擴容規劃。
在隱私方面，Vitalik 提到的項目包括金鑰隨機數與最新根、部分 FOCIL 機制（註 1）、精簡隱私池，以及稱為 wormholes 的設計，而 FOCIL 相關機制將是以太坊 Hegota 硬分叉的主要升級項目之一。
在抗量子方面，Strawmap 納入 leanSPHINCS（註 2）簽章與聚合技術，以及稱為 zkzk frames（註 3）的框架設計，用於支援後量子簽章與 STARK 整合。
STARK 與 AI 輔助形式驗證成為協定基礎
Vitalik 指出，STARK 遞迴驗證（註 4）與 AI 輔助形式驗證，如今被視為以太坊技術未來可仰賴的核心元件。
他表示，協定中有一項稱為聚合成聯集驗證依賴項的機制，預計同時用於執行層、共識層與資料層，而這種做法唯有透過形式驗證才能確保安全，形式驗證本身又仰賴現代 AI 工具才得以實現。
Vitalik 持續強調抗量子，Strawmap 納入原生 rollup
Vitalik 今年以來持續強調抗量子準備，包括在今年 1 月呼籲開發者及早採用抗量子密碼學，2 月也提出分階段汰換以太坊四項可能受量子威脅密碼元件的計畫，以及 7 月將量子安全與隱私列為精簡以太坊改造計畫的核心。
Strawmap 也納入區塊空間與燃料期貨、原生 rollup 等 2023 年尚不存在的概念。 Vitalik 說明，原生 rollup 當時未被考慮，是因為 SNARK 技術（註 5）遠未成熟到可支援這類複雜擴容設計。
隨著 zkzk frames 推進，協定未來可能向開發者開放更精簡的指令集架構，例如 leanISA 或 RISC-V；屆時 EVM 角色也可能轉變為建構在新指令集之上的中介層，而非內建於基礎協定的既有功能。
以太坊持續朝高效能、可擴展、精簡化發展
Vitalik 在貼文結尾寫道，以太坊將具備抗量子能力，將把使用者隱私放在優先位置，將維持安全性與抗審查性，並在滿足上述條件同時追求高效能與可擴展性，同時朝精簡化方向發展。
Strawmap 是以太坊基金會規劃協定升級方向的參考文件，本質上是持續修訂的草案，而非固定時程表，時程排到 2029 年，最近一次更新為 8 月 4 日。
以太坊基金會過去曾因升級延宕或資源分配問題受到外界批評。今年 6 月，以太坊基金會裁員 20% 人力，並依 CROPs 目標重組為五個核心小組，同期也有 EthLabs 與 EthSystems 等新機構成立，協助推動研發與機構級隱私技術。
本文技術專有名詞說明
FOCIL 機制
FOCIL 全名為 Fork-Choice Enforced Inclusion Lists（分叉選擇強制納入清單），是強化以太坊交易納入可靠性與抗審查性的機制設計，屬於共識層升級項目。
根據 Strawmap 規劃，FOCIL 將是以太坊 Hegota 硬分叉的主要升級項目之一，目的是確保驗證者無法任意排除特定交易，藉此降低區塊構建過程遭到審查或壟斷的風險。
leanSPHINCS 簽章
leanSPHINCS 是一種以雜湊函數為基礎的抗量子簽章方案，屬於 SPHINCS 簽章家族的精簡版本。
此類簽章不依賴橢圓曲線密碼學，因此即使未來量子電腦具備破解傳統簽章的能力，仍可維持安全性。
在 Ethereum Magicians 論壇上，Vitalik 說明選擇以雜湊函數為基礎的方案，而非格基密碼學（lattice-based）方案，是希望協定基礎層盡量單純，降低整體維運複雜度。
zkzk frame
zkzk frame 是 Vitalik 於 Ethereum Magicians 論壇提出的交易框架構想，對應提案編號 EIP-8288，目的是結合後量子簽章與 STARK 聚合技術。
此設計讓交易可以宣告其密碼學上的驗證依賴項，再由區塊構建者將多筆交易的驗證需求，聚合為單一個遞迴 STARK 證明，藉此在導入體積較大的抗量子簽章時，仍能維持鏈上資料量與鏈上手續費（Gas）成本的效率。目前此提案仍在論壇討論階段，尚未取得正式 EIP 編號。
STARK
STARK 全名為 Scalable Transparent Argument of Knowledge（可擴展透明知識論證），是一種零知識證明技術，可讓驗證者在不重新執行完整運算的情況下，確認某項運算結果正確無誤。
相較於部分其他零知識證明技術，STARK 不需要可信任的初始設定（trusted setup），且通常具備抗量子的安全特性，因此在以太坊多項升級規劃中，被視為可同時用於執行層、共識層與資料層的核心驗證工具。
SNARK
SNARK 全名為 Succinct Non-Interactive Argument of Knowledge（簡潔非互動式知識論證），同樣是一種零知識證明技術，特性是證明體積小、驗證速度快，被廣泛應用於現行的 zk-rollup 等擴容方案中。
（以上內容獲合作夥伴《加密城市》授權節錄及轉載，原文連結 ）
免責聲明：本文只為提供市場訊息，所有內容及觀點僅供參考，不構成投資建議，不代表區塊客觀點和立場。投資者應自行決策與交易，對投資者交易形成的直接或間接損失，作者及區塊客將不承擔任何責任。
