原文標題:《 Annotated Ethereum Roadmap 》
原文編譯: domothy ,ETH 中文站
本文基於最新以太坊路線圖進行內容註解,旨在為讀者了解以太坊路線圖上各個部分提供入口點,每一部分都做了簡單的概要介紹。
注意:如路線圖上箭頭所示,所列出的各個部分並非連續進行的工作,它們的推進是並行的。
The Merge(合併)
已完成工作
已完成工作
2020 年12 月1 日— 信標鏈啟動
引入以太坊PoS 共識層,由驗證者質押ETH 來維護該層網絡安全;
信標鏈在共識規範中被稱為(Vitalik 的(Vitalik 的註釋版本以及Danny Ryan 的註釋版本);
輕客戶端
輕客戶端輕客戶端,並對懲罰進行了一些調整;
「What’s new in ETH 2 」中對Altair 進行解釋的那期;
2022 年9 月15 日— 合併! PoW 退休- 在區塊高度15537394 處下一步的工作
下一步的工作
提款— 允許驗證者提取全部或者部分質押金
分佈式驗證者—「多簽,不過是用於質押的」,這項技術中,n 人共享同一個驗證者並且m-of-n 必須就其行為方式達成共識。
通過防止意外的罰沒來強化質押機制,並使其更加容易參與(比如,通過在多個參與者之間去信任地切分所需的32 個ETH);
視域合併(View merge)—調整分叉選擇規則(驗證者投票的方式)以減輕一類攻擊。
ethresear.ch 帖子
ethresear.ch 帖子中有許多關於這項研究的(非常技術性的)背景;
改良的聚合— 以太坊努力支持盡可能多的驗證者,但是讓每個驗證者對每個區塊投票(並驗證每個其他驗證者的投票)太佔用帶寬了。退而求其次就是聚合簽名,但這也有其局限性,而且可以做得更好。
單個slot 實現最終確定性(SSF)— 每隔一個slot(12 秒)敲定一次鏈狀態,而不是每隔一個epoch(12.8 分鐘)。
(中文版);(中文版);
除了改良簽名聚合之外,我們還必須弄清楚兩件事:
- SSF 共識算法- 現有的與SSF 兼容的算法是不夠的,我們想要一個即便是超過1313 名驗證者離線也能保持鏈的活性的算法;
- SSF 驗證者經濟學- 如果我們最終不得不限制驗證者的數量,我們如何限制參與率,以及我們需要做出什麼犧牲?
秘密領導選舉(SLE)
目前,被選中提議一個區塊的驗證者(單個slot 的領導者)是稍微提前知道的,這使得潛在的DoS 攻擊能夠專門針對即將到來的區塊的領導者;
ethresear.ch有一篇帖子是關於基於隨機混洗的單一秘密領導選舉的協議:除了領導者自己,沒有人知道誰將是這個slot 的領導者,直到他們將自己的區塊與領導者證明一起公佈出來;
非單一秘密領導者選舉可能也是一種選擇;
支持更多驗證者— 正在進行的長期努力:安全地支持更多的驗證者始終是我們的目標。
量子安全的、聚合友好的簽名— 在量子計算機成為一個合理的擔憂之前,使以太坊成為量子安全的是我們長期努力的一部分。
所用的BLS 簽名方案基於的密碼學已知會被量子計算機破解,但已知是量子安全的替代簽名方案並不像BLS 那樣有效地聚合簽名(因此需要一個既量子安全又聚合友好的方案);
兩個主要的量子安全方案是基於STARK的和基於Lattice 的;
相關鏈接:
相關鏈接:
相關鏈接:
已完成工作
協議外的MEV 市場— MEV-Boost 中間件允許普通驗證者從MEV 中獲利,而無需自己運行複雜的MEV 策略。
這個解決方案本身不完整,因為它有審查問題;
」和「The Cost of Resilience」和「The Future of MEV is SUAVE下一步的工作
下一步的工作
打包列表或者備選方案— 讓區塊提議者對區塊構建者進行限制,即強迫他們納入交易。
協議內PBS — 將區塊構建市場直接寫入協議內。
提案
例子例子。
分佈式構建者路線。由於區塊提議過程是保持去中心化的,我們現在有一個單獨的問題,即區塊構建變得中心化。即便路線圖上的所有其他部分都旨在最大限度地減少區塊構建中心化可能帶來的最壞情況,能夠將區塊構建分佈在許多節點中仍然是一個很大的好處。
Blob 結構- 尋找方法來減輕數據分片在許多節點上的高帶寬和處理要求,而這些節點是普通消費者級別的硬件可以運行的;
預確認服務- 給予用戶強有力的保證,他們的交易將被打包進下一個區塊中;
相關鏈接:
相關鏈接:
相關鏈接:
The Verge(邊界)
目標:驗證區塊應當超級容易— 下載N 個字節數據、執行一些基本計算、驗證一個SNARK 然後你就完成驗證了。
這一部分基本上是關於通過使得輕客戶端最終可行,以填補「客戶端方面的不足」:並非每個人都想或者能夠運行一個全節點。 The Verge 的目標是引入去信任或者信任最小化的替代方案,這種節點易於運行,不需要大量的存儲和帶寬。 The Verge 的最終目標是讓這些輕客戶端提供與目前全節點相同的安全保障。
這一切都依賴於零知識技術,如SNARKs 和STARKs,它們本身依賴於多項式承諾方案。這裡有一些關於這方面的鏈接:
已完成的工作
解決了最嚴重的EVM DoS 問題— 主要是Gas 定價問題,已在柏林昇級中解決。
基本的輕客戶端支持(同步委員會) — 多虧了同步委員會,很容易構建遵循共識層的輕客戶端。
了解Helios 客戶端下一步的工作
下一步的工作
EIP-4844 實現— 在主網部署EIP-4844
基本的Rollup 擴容— 依賴於下面的工作:
EIP-4844 - 所實現的可擴展性依然被認為較基礎/ 有限,這是因為「每一個節點下載所有數據」的性質限制了blobspace 的可用容量;
rollup 的有限輔助輪階段(文章中提議了去掉rollup 輔助輪的路線圖);
完整的Rollup 擴容— 依賴於下面的工作:
DAS(數據可用性採樣)的P 2 P 設計:涉及數據分片網絡連接問題的一些工作以及研究;
數據可用性採樣客戶端:開發輕量級客戶端,可以通過對幾千字節的隨機採樣快速判斷數據是否可用;
有效的DA 自我恢復:能夠在最惡劣的網絡條件下有效地重建所有數據(比如,惡意驗證者攻擊、或者大塊節點的長時間停機)
不使用輔助輪的Rollup:完全去中心化的定序者、去信任的欺詐證明、不可變的合約等等;
量子安全的、無需受信任初始化的承諾— 在量子計算機成為一個合理的擔憂之前,使以太坊成為量子安全的是我們長期努力的一部分。
雖然高效且強大,但到處使用的多項式承諾(KZG)並不是量子安全的,並需要一個受信任初始化。對更理想的長期使用的承諾的研究正在進行中,最終目標是在底層對KZG 進行熱轉換(hot swap);
SNARK / STARK 專用集成電路— 專門用來創建證明的硬件。
Verkle tree — 將用於全局狀態的數據結構替換成一個更高效的版本。
關鍵的好處是能夠生成非常簡潔的證明,輕客戶端可以只通過區塊頭很容易地驗證這些證明,以核實像賬戶餘額這樣的東西- 它們已經可以利用同步委員會來驗證給定區塊頭實際上是主鏈的一部分;
需要編寫出合適的規範、確保安全地遷移,以及搞清楚它將如何影響更新/ 編輯狀態的EVM Gas 開銷(這也取決於The Purge 那部分中取消「SELF-DESTRUCT」的工作);
基於SNARK 的輕客戶端— 對同步委員會的狀態轉換生成SNARK 證明,以快速證明哪些驗證者組成當前的同步委員會。
完全基於SNARK 的以太坊— 以下3 項加在一起構成了「以太坊最終圖景」的一個重要里程碑,即實現極其高效以及去信任的區塊驗證:
用於Verkle 證明的SNARK - 通過將Verkle 證明合併進單個SNARK 中,區塊將包含一個關於它們修改的部分狀態的簡短獨立證明,因此不需要驗證區塊N-1 的整個狀態來驗證區塊N是否正確修改了它;
用於共識狀態轉換的SNARK — 從信任最小化的同步委員會轉變為對共識層上發生的所有事情進行完全去信任的驗證;
用於L1 EVM 的SNARK — 利用rollup 團隊在zk-EVM 上所做的工作,將zk-EVM 直接集成到L1 中:
帖子帖子;
提高L1 Gas 上限— 通過消除目前「每個節點都需要存儲所有東西」的負擔來實現去信任地驗證區塊,這將更容易地形成更大的區塊以獲得更多L1 可擴展性(這會自動地加強所有L2 擴容的效果)。
轉向量子安全的SNARK(如STARK)— 在量子計算機成為一個合理的擔憂之前,使以太坊成為量子安全的是我們長期努力的一部分。
The Purge(清除工作)
The Purge(清除工作)
已完成工作
已完成工作
清除大多數Gas 返還— 所有的Gas 重新定價工作已在柏林昇級完成。
信標鏈快速同步— 從最近敲定的epoch 同步(在大多數共識層客戶端中稱為「檢查點同步」)而不是從創世開始同步,這方面的所有開發工作已完成。
下一步的工作了解。了解。
下一步的工作
歷史數據休眠— 通過讓舊的歷史狀態休眠來降低存儲需求、減少同步時間和代碼複雜性。
閱讀此條推特長文;
依賴於EIP-4444 的實現,即通過其他方式(如Portal Network)來訪問歷史狀態的替代方案;
Vitalik 針對歷史數據休眠的AMA;
狀態休眠— 關於狀態,修復「一次性支付,數據永久儲存」的問題。
這個想法主要關於讓狀態未使用的部分自動休眠,只保留一個verkle tree 根,如果需要的話,用戶可以用它來激活休眠的狀態;
Vitalik 針對狀態休眠機制的AMA;
依賴於這些工作:
- 基本的狀態休眠規範:我們打算如何實現它,請看這個(和(和其他選項);
增加地址尺寸大小增加地址尺寸大小,從20 字節增加到32 字節,以防止衝突,並增加關於狀態週期的數據;
- 應用分析:搞清楚它會如何破壞當前的應用/ 合約,以及這些應用/ 合約需要如何適應;
日誌改革— 簡化事件日誌的工作方式,以便更有效地搜索歷史事件。
序列化協調— 執行層使用RLP進行數據序列化,而共識層使用SSZ,這將會使得逐漸拋棄RLP,而使用SSZ。
移除舊的交易類型— 停止支持舊的交易類型(參閱EIP-2718 )以移除客戶端的代碼複雜性(犧牲一些向後兼容性)。
EVM 簡化路線
取消SELFDESTRUCT — 這個操作碼是許多問題的根源:
- 《消除SELFDESTRUCT 的實用解決方法》解釋了為什麼以及怎麼樣移除這個操作碼;
此處此處提及過;
預編譯-> EVM 實現— 捨棄預編譯合約,採用直接EVM 實現(即大型模運算,見The Splurge);
The Splurge(狂歡)
目標:完善其他東西。
所有那些不需要更高優先級的好東西都屬於The Splurge 這一部分中。最大的一項就是賬戶抽象,已完成的工作
已完成的工作
EIP-1559 — 這個著名的EIP帶來了許多好處,而不僅僅是銷毀ETH。
ERC-4337 規範— 這個ERC旨在不修改核心協議的情況下引入賬戶抽象
下一步的工作
EIP-1559 的最終形式— 通過使其變得和和AMM Curve和的。的。
EVM 完善路線和The Purge 中的簡化路線一起形成了EVM 的最終形式。
描述描述:
ERC-4337 — 開發兼容的、實際獲得採用的智能錢包;
自願對EOA 賬戶進行轉換— 通過一個EIP,允許普通賬戶不可逆地添加代碼將其轉換為合約,即成為4337 兼容的智能錢包;
寫入協議內— 對所有現有賬戶強制進行上述轉換;
可驗證延遲函數(VDFs) — 本質上是「非並行的工作量證明」,這將增強PoS 和其他東西中使用的隨機性。
參閱這篇貼文看到一堆想法。
這裡這裡看到一堆想法。