Vitalik 更新以太坊路線圖：隱私、量子安全與精簡化優先級提升

作者：Vitalik Buterin

編譯：登鏈社區

我更新了2023年路線圖，並將原有事項在現有Strawmap中的位置重疊顯示出來。

整體來看，重疊度很高，不過：

• 有些事項的順序做了調整（例如，量子安全被提到更高優先級）
• 有些事項被降級（例如，VDF；許多EVM改進）
• 有些事項被更優的構造所取代（例如，Verkle → 統一BT → PBT；狀態過期 → 新狀態類型）

2023年路線圖之外的新增內容

然而，最引人注目的是Strawmap中出現了一些全新的內容，這些內容並不在上圖中，因為它們在2023年路線圖中根本不存在。這些內容反映了優先級的變化。

值得注意的是：

• 對強隱私的首要關注。這涵蓋：keyed nonces 和 recent roots、FOCIL的多個方面、lean privacy pool與wormholes
• 後量子背景下的激進擴容。這涵蓋：leanSPHINCS簽名與聚合、zkzk frames
• 規範的精簡化，以輔助形式化驗證（只有藉助現代AI，才能對所有內容進行完整的形式化驗證）
• Blob與gas期貨（這個想法在2023年根本不存在）
• 原生rollups（在2023年，SNARK遠未成熟到可以考慮這一點）
• 為「EVM的未來」留出更開放的設計空間。zkzk frames已經意味著協議將向用戶暴露某種非EVM的ISA（Instruction Set Architecture 指令集架構）——目前領先的候選是leanISA和RISC-V。這些ISA比EVM更簡單、更現代、更高效。一旦它們存在，為什麼不把它們暴露給所有開發者呢？（然後，為何不把EVM變成該ISA之上的一個IR，而不是將其作為極大複雜化基礎協議的固化特性呢？）不過，這裡更深層的探索即使對Strawmap來說也為時過早。
• 新狀態類型不只是狀態過期的替代品，它們代表了一種根本不同的以太坊擴容範式。

擴容中的共同主題

在擴容中有一個共同主題，它也體現在狀態類型和zkzk frames（兩者都是新想法）中：我們不是試圖把所有以太坊活動都最大化地擴容，而是嘗試創建具有更嚴格屬性、從而對擴容更友好的專門機制，同時支援用戶和應用今天（例如代幣轉帳、交換）以及明天（例如隱私協議）所承受的最重負載。

另一個共同主題是將STARK和AI加速的FV視為一等公民，我們願意將以太坊的技術未來押注其上。在協議的許多層中都有遞歸STARK，其中一個特定原語（「聚合到並集驗證依賴」原語）預計將在協議中的三個地方使用：EL、CL和DL。這只有透過形式化驗證才安全，而形式化驗證本身只有藉助現代AI工具才可行。

成熟度上邁出的許多步

整體來說，我們在成熟度上向前邁進了許多步。而且，這背後是數十位以太坊研究者和開發者在所有這些特性上的巨大努力。

以太坊將是量子安全的。以太坊將把用戶的隱私放在首位。以太坊將是安全的。以太坊將是抗審查的。以太坊將具備高性能和可擴展性，同時滿足上述要求。而且以太坊將是精簡的（Lean）。