ARK:一文讀懂最新版以太坊發展路線圖_THE

原文標題：《AnnotatedEthereumRoadmap》

原文編譯：domothy，ETH?中文站

本文基于最新以太坊路線圖進行內容注解，旨在為讀者了解以太坊路線圖上各個部分提供入口點，每一部分都做了簡單的概要介紹。

注意：如路線圖上箭頭所示，所列出的各個部分并非連續進行的工作，它們的推進是并行的。

TheMerge

目標：實現一個理想化的、簡潔的、擁有魯棒性的以及去中心化的PoS共識機制。

已完成工作

2020年12月1日—信標鏈啟動

引入以太坊PoS共識層，由驗證者質押ETH來維護該層網絡安全；

信標鏈在共識規范中被稱為階段0?；

2021年10月27日—熱身分叉-共識層客戶端開發者們在協調硬分叉升級方面進行了一次試運行。

Altair引入了同步委員會來支持輕客戶端，并對懲罰進行了一些調整；

Altair主網升級公告；

Altair規范；

「What’snewinETH?2?」中對Altair進行解釋的那期；

2022年9月15日—合并！PoW退休-在區塊高度15537394處完成共識層和執行層的合并。

下一步的工作

提款—允許驗證者提取全部或者部分質押金

Capella分叉指定共識層中的變更；

EIP-4895?指定執行層中的變更；

TimBeiko關于提款的FAQ；

提款元規范和其他信息；

分布式驗證者—「多簽，不過是用于質押的」，這項技術中，n人共享同一個驗證者并且m-of-n必須就其行為方式達成共識。

通過防止意外的罰沒來強化質押機制，并使其更加容易參與；

這并非協議內的工作，SSV和?Obol等團隊正致力于這項研究；

Crypto.com地址將1350萬枚USDC轉至Circle、7500枚ETH轉至0xd58開頭地址:7月6日消息，據MistTrack監測，今日0xCFF開頭的Crypto.com地址將13,500,000枚USDC轉至Circle；將7500枚ETH轉至0xd58開頭地址，之后預計將被轉移到0xef2開頭的幣安地址。[2023/7/6 22:21:20]

視域合并—調整分叉選擇規則以減輕一類攻擊。

本質上就是「強制」誠實的驗證者能夠看到正確的鏈頭，以減少作惡驗證者分裂投票并重組對其有利的區塊的機會；

ethresear.ch帖子中有許多關于這項研究的背景；

改良的聚合—以太坊努力支持盡可能多的驗證者，但是讓每個驗證者對每個區塊投票太占用帶寬了。退而求其次就是聚合簽名，但這也有其局限性，而且可以做得更好。

關于BLS聚合簽名的好處的解釋帖子；

潛在的候選簽名技術：Horn；

單個slot實現最終確定性—每隔一個slot敲定一次鏈狀態，而不是每隔一個epoch。

通往單個slot實現最終確定性之路；

除了改良簽名聚合之外，我們還必須弄清楚兩件事：

???????-SSF共識算法-現有的與SSF兼容的算法是不夠的，我們想要一個即便是超過1313名驗證者離線也能保持鏈的活性的算法；

????????-SSF驗證者經濟學-如果我們最終不得不限制驗證者的數量，我們如何限制參與率，以及我們需要做出什么犧牲？

秘密領導選舉

目前，被選中提議一個區塊的驗證者是稍微提前知道的，這使得潛在的DoS攻擊能夠專門針對即將到來的區塊的領導者；

ethresear.ch有一篇帖子是關于基于隨機混洗的單一秘密領導選舉的協議：除了領導者自己，沒有人知道誰將是這個slot的領導者，直到他們將自己的區塊與領導者證明一起公布出來；

Blur創始人：Season 2的積分價值不會被稀釋:金色財經報道，NFT聚合交易市場Blur今日宣布推出Season 2并上線積分“Trait Bidding（特質競價）”功能，有社區用戶質疑“Blur 先是競標積分、再掛牌積分、然后借貸積分、現在又特質競價積分，最終積分價值越來越被稀釋”，對此Blur創始人Pacman在社交媒體回應稱，目前Blur沒有宣布Season 2的結束時間，額外的積分機制也不會稀釋積分價值，因為競標積分和掛牌積分功能從Season 1開始就一直存在，既沒有引入額外積分去稀釋價值，也沒有延長Season時間。Pacman強調，借貸積分絕對不會稀釋積分，特質競價也不會稀釋積分價值，社交媒體上的相關言論是虛假信息。[2023/7/6 22:20:53]

非單一秘密領導者選舉可能也是一種選擇；

支持更多驗證者—正在進行的長期努力：安全地支持更多的驗證者始終是我們的目標。

量子安全的、聚合友好的簽名—在量子計算機成為一個合理的擔憂之前，使以太坊成為量子安全的是我們長期努力的一部分。

所用的BLS簽名方案基于的密碼學已知會被量子計算機破解，但已知是量子安全的替代簽名方案并不像BLS那樣有效地聚合簽名；

兩個主要的量子安全方案是基于STARK的和基于Lattice的；

TheScourge

目標：確保可靠且可信中立的交易打包過程，避免MEV帶來的中心化以及其他協議上的風險。

相關鏈接：

以可信的中立為指導原則；

關于MEV的多條推；

關于MEV和PBS的文章；

關于PBS的鏈接清單；

已完成工作

協議外的MEV市場—MEV-Boost中間件允許普通驗證者從MEV中獲利，而無需自己運行復雜的MEV策略。

這個解決方案本身不完整，因為它有審查問題；

閱讀文章「TheCostofResilience」和「TheFutureofMEVisSUAVE」，了解使得這些協議外的MEV市場更加有彈性的計劃；

Polygon與Ready Games合作推出Web3手游SDK:金色財經報道，PolygonLabs與Ready Games合作推出了一款用于移動web3游戲的軟件開發工具包。Layer2 Ethereum擴展協議將整合Ready Games web3游戲技術堆棧，使開發人員能夠構建移動web3游戲。

根據公告，Web3移動游戲開發套件將通過基于EVM的dApp Store套件提供。這將使移動游戲制造商能夠將web3元素集成到他們的游戲中，而不會影響其可用性。[2023/6/18 21:44:39]

下一步的工作

打包列表或者備選方案—讓區塊提議者對區塊構建者進行限制，即強迫他們納入交易。

打包列表相關筆記；

研究如何在不增加提議者負擔的情況下約束構建者；

協議內PBS—將區塊構建市場直接寫入協議內。

MEV銷毀—讓區塊鏈獲取原本從鏈上經濟中提取的價值。

通過提議者拍賣來直接進行MEV銷毀的提案；

委員會驅動MEV均勻分配讓協議意識到MEV；

通過經濟激勵措施設置驗證者子集的上限，將通過負增發間接銷毀MEV；

應用層MEV最小化—這個工作與L1沒有直接關系，它涉及到開發者在設計他們的dapp時需要記住MEV。這里有幾個采用MEV最小化策略的DApp的例子。

分布式構建者路線。由于區塊提議過程是保持去中心化的，我們現在有一個單獨的問題，即區塊構建變得中心化。即便路線圖上的所有其他部分都旨在最大限度地減少區塊構建中心化可能帶來的最壞情況，能夠將區塊構建分布在許多節點中仍然是一個很大的好處。

Blob結構-尋找方法來減輕數據分片在許多節點上的高帶寬和處理要求，而這些節點是普通消費者級別的硬件可以運行的；

預確認服務-給予用戶強有力的保證，他們的交易將被打包進下一個區塊中；

搶跑保護-盡量減少有的MEV，如三明治攻擊，使得分布式的構建過程保持可信的中立；

Bitfinex推出Paper Trading平臺:4月30日消息，Bitfinex已經推出一個全新的Paper Trading平臺，擁有18個現貨和16個永續交易對，包括BTC、ETH、SOL和MATIC。

Paper Trading平臺已集成到Bitfinex交易平臺中，對擁有Bitfinex賬戶的所有用戶開放。[2023/5/1 14:36:20]

這依然是一個活躍的研究領域，具有非常開放的設計考慮，所以目前還不清楚前面兩個框框是否應該被寫入協議內。

相關鏈接：

關于合并后區塊構建的演講，提到了去中心化區塊構建

關于去中心化構建者的演講

關于分布式區塊構建的一些想法

TheVerge

目標：驗證區塊應當超級容易—下載N個字節數據、執行一些基本計算、驗證一個SNARK然后你就完成驗證了。

這一部分基本上是關于通過使得輕客戶端最終可行，以填補「客戶端方面的不足」：并非每個人都想或者能夠運行一個全節點。TheVerge的目標是引入去信任或者信任最小化的替代方案，這種節點易于運行，不需要大量的存儲和帶寬。TheVerge的最終目標是讓這些輕客戶端提供與目前全節點相同的安全保障。

這一切都依賴于零知識技術，如SNARKs和STARKs，它們本身依賴于多項式承諾方案。這里有一些關于這方面的鏈接：

介紹zk-SNARK為什么可能

剖析STARK

假設你是懂一些數學和編程的人，向你解釋zkSNARK

多項式承諾方案在擴容以太坊中的作用

已完成的工作

解決了最嚴重的EVMDoS問題—主要是Gas定價問題，已在柏林升級中解決。

基本的輕客戶端支持—多虧了同步委員會，很容易構建遵循共識層的輕客戶端。

了解Helios客戶端是如何利用同步委員會的；

Lido 預計 5 月中旬進行主網升級:金色財經報道，Lido 發布關于其以太坊上協議 V2 升級的情況更新，表示 Lido V2 將于下周上線 Goerli 測試網。在進行約 4 周的測試后，以太坊主網上的 Lido 預計將于5月中旬升級至 V2。

此前，Lido 社區以 100% 的支持率通過了 V2 升級提案。Lido 團隊表示，V2 智能合約總共經歷 7 次審計，其中 2 次已經完成，還有 5 次正在進行中。截至上周五，審計中發現的所有關鍵問題都已得到修復。更新后的合約已經部署至以太坊 Zhejiang 測試網進行測試。[2023/3/15 13:05:30]

下一步的工作

EIP-4844實現—在主網部署EIP-4844?

將需要一個「儀式」來創建受信任初始化：解釋、預估時間線、規范；

EIP-4844實現時間線概覽；

基本的Rollup擴容—依賴于下面的工作：

EIP-4844-所實現的可擴展性依然被認為較基礎/有限，這是因為「每一個節點下載所有數據」的性質限制了blobspace的可用容量；

rollup的有限輔助輪階段；

完整的Rollup擴容—依賴于下面的工作：

DAS的P?2?P設計：涉及數據分片網絡連接問題的一些工作以及研究；

數據可用性采樣客戶端：開發輕量級客戶端，可以通過對幾千字節的隨機采樣快速判斷數據是否可用；

有效的DA自我恢復：能夠在最惡劣的網絡條件下有效地重建所有數據

不使用輔助輪的Rollup：完全去中心化的定序者、去信任的欺詐證明、不可變的合約等等；

量子安全的、無需受信任初始化的承諾—在量子計算機成為一個合理的擔憂之前，使以太坊成為量子安全的是我們長期努力的一部分。

雖然高效且強大，但到處使用的多項式承諾并不是量子安全的，并需要一個受信任初始化。對更理想的長期使用的承諾的研究正在進行中，最終目標是在底層對KZG進行熱轉換；

SNARK/STARK專用集成電路—專門用來創建證明的硬件。

Verkletree—將用于全局狀態的數據結構替換成一個更高效的版本。

VerkleTree的鏈接清單

關鍵的好處是能夠生成非常簡潔的證明，輕客戶端可以只通過區塊頭很容易地驗證這些證明，以核實像賬戶余額這樣的東西-它們已經可以利用同步委員會來驗證給定區塊頭實際上是主鏈的一部分；

需要編寫出合適的規范、確保安全地遷移，以及搞清楚它將如何影響更新/編輯狀態的EVMGas開銷；

基于SNARK的輕客戶端—對同步委員會的狀態轉換生成SNARK證明，以快速證明哪些驗證者組成當前的同步委員會。

完全基于SNARK的以太坊—以下3項加在一起構成了「以太坊最終圖景」的一個重要里程碑，即實現極其高效以及去信任的區塊驗證：

用于Verkle證明的SNARK-通過將Verkle證明合并進單個SNARK中，區塊將包含一個關于它們修改的部分狀態的簡短獨立證明，因此不需要驗證區塊N-1的整個狀態來驗證區塊N是否正確修改了它；

用于共識狀態轉換的SNARK—從信任最小化的同步委員會轉變為對共識層上發生的所有事情進行完全去信任的驗證；

用于L1EVM的SNARK—利用rollup團隊在zk-EVM上所做的工作，將zk-EVM直接集成到L1中：

-?閱讀關于寫入協議內的Rollup的帖子；

提高L1Gas上限—通過消除目前「每個節點都需要存儲所有東西」的負擔來實現去信任地驗證區塊，這將更容易地形成更大的區塊以獲得更多L1可擴展性。

轉向量子安全的SNARK—在量子計算機成為一個合理的擔憂之前，使以太坊成為量子安全的是我們長期努力的一部分。

SNARK基于的密碼學是已知能夠被量子計算機破解的，而STARK不是；

ThePurge

目標：簡化協議、清楚技術債和通過清理歷史數據限制參與網絡的成本。

已完成工作

清除大多數Gas返還—所有的Gas重新定價工作已在柏林升級完成。

信標鏈快速同步—從最近敲定的epoch同步而不是從創世開始同步，這方面的所有開發工作已完成。

EIP-4444規范—閱讀EIP規范了解。

下一步的工作

歷史數據休眠—通過讓舊的歷史狀態休眠來降低存儲需求、減少同步時間和代碼復雜性。

閱讀此條推特長文；

依賴于EIP-4444的實現，即通過其他方式來訪問歷史狀態的替代方案；

Vitalik針對歷史數據休眠的AMA；

狀態休眠—關于狀態，修復「一次性支付，數據永久儲存」的問題。

這個想法主要關于讓狀態未使用的部分自動休眠，只保留一個verkletree根，如果需要的話，用戶可以用它來激活休眠的狀態；

Vitalik針對狀態休眠機制的AMA；

依賴于這些工作：

-基本的狀態休眠規范：我們打算如何實現它，請看這個潛在的路線圖；

-地址空間擴展：增加地址尺寸大小，從20字節增加到32字節，以防止沖突，并增加關于狀態周期的數據；

-應用分析：搞清楚它會如何破壞當前的應用/合約，以及這些應用/合約需要如何適應；

日志改革—簡化事件日志的工作方式，以便更有效地搜索歷史事件。

序列化協調—執行層使用RLP進行數據序列化，而共識層使用SSZ，這將會使得逐漸拋棄RLP，而使用SSZ。

移除舊的交易類型—停止支持舊的交易類型以移除客戶端的代碼復雜性。

EVM簡化路線

取消SELFDESTRUCT—這個操作碼是許多問題的根源：

-《消除SELFDESTRUCT的實用解決方法》解釋了為什么以及怎么樣移除這個操作碼；

-相關EIP：EIP-4758?、EIP-4760?以及討論；

簡化Gas機制—涉及移除許多與Gas相關的EVM功能，在此處提及過；

預編譯->EVM實現—舍棄預編譯合約，采用直接EVM實現；

TheSplurge

目標：完善其他東西。

所有那些不需要更高優先級的好東西都屬于TheSplurge這一部分中。最大的一項就是賬戶抽象，但也有對現有內容的小調整。

已完成的工作

EIP-1559?—這個著名的EIP帶來了許多好處，而不僅僅是銷毀ETH。

ERC-4337規范—?這個ERC旨在不修改核心協議的情況下引入賬戶抽象

ERC-4337的解釋；

下一步的工作

EIP-1559的最終形式—通過使其變得多維度的來完善EIP-1559?，更像一個AMMCurve和感知時間的。

EVM完善路線和ThePurge中的簡化路線一起形成了EVM的最終形式。

EVM對象格式—一組多個EIP，允許在部署EVM字節碼時對其進行驗證和版本控制。請看這篇解釋文章和推特帖子；

大型模運算—路線圖中的許多密碼學依賴于大量數字的模運算，這可以直接在EVM中更有效地完成；

進一步完善EVM—任何其他值得添加以改進EVM的東西，或者移除一些東西以消除復雜性；

實現賬戶抽象最終形式的賬戶抽象路線。有關以下內容的詳細信息，請參閱Vitalik的描述：

ERC-4337—開發兼容的、實際獲得采用的智能錢包；

自愿對EOA賬戶進行轉換—通過一個EIP，允許普通賬戶不可逆地添加代碼將其轉換為合約，即成為4337兼容的智能錢包；

寫入協議內—對所有現有賬戶強制進行上述轉換；

可驗證延遲函數(VDFs)—本質上是「非并行的工作量證明」，這將增強PoS和其他東西中使用的隨機性。

參閱這篇貼文，介紹VDFs以及其潛在用途

探索針對老舊賬戶的解決方案—拯救這些「塵封的資產」需要花的Gas成本超過它們本身的價值——在這里看到一堆想法。

Tags：ARKMEVNARTHEMARKS幣mev幣圈啥意思Ragnarokethereum網絡

波場