2022更新版以太坊路線圖內容注解。
譯者注:本文基于最新以太坊路線圖進行內容注解,下圖為ECN譯制的中文版。
文中有許多鏈接,進入網頁版查看更多:https://www.ethereum.cn/Eth2/annotated-ethereum-roadmap
作者|@domothy
來源|notes.ethereum.org
本文檔旨在為讀者了解以太坊路線圖上各個部分提供入口點,每一部分都做了簡單的概要介紹,如想深入了解,文內亦附上了詳細的鏈接。
注意:如路線圖上箭頭所示,所列出的各個部分并非連續進行的工作,它們的推進是并行的。
TheMerge(合并)
目標:實現一個理想化的、簡潔的、擁有魯棒性的以及去中心化的PoS共識機制
已完成工作
?2020年12月1日—信標鏈啟動
引入以太坊PoS共識層,由驗證者質押ETH來維護該層網絡安全
信標鏈在共識規范中被稱為階段0(Vitalik的注釋版本以及DannyRyan的注釋版本)
?2021年10月27日—熱身分叉(Altair)-共識層客戶端開發者們在協調硬分叉升級方面進行了一次試運行
Altair引入了同步委員會來支持輕客戶端,并對懲罰進行了一些調整
Altair主網升級公告
Altair規范(注釋版本)
“What’snewinETH2”中對Altair進行解釋的那期
?2022年9月15日,—合并!PoW退休-在區塊高度15,537,394處完成共識層和執行層的合并。
下一步的工作
?提款—允許驗證者提取全部或者部分質押金
Capella分叉指定共識層中的變更
EIP-4895指定執行層中的變更
自2022年12月以來,加密貨幣ATM數量下降13.91%:金色財經報道,據加密貨幣 ATM 聚合網站 Coin ATM Radar 的數據,3 月份有超過 3,600 臺加密 ATM 機下線。自 2022 年底以來,加密 ATM 的數量在過去三個月中下降了 13.91%。1 月,1,587 臺加密 ATM 機下線,這是自 2022 年 9 月丟失 399 臺加密 ATM 以來第二次出現大量機器下線。2 月份共有 275 臺加密貨幣 ATM 機下線。3 月份的降幅最大,表明減少了 3,627 臺加密 ATM。[2023/4/2 13:40:47]
TimBeiko關于提款的FAQ
提款元規范和其他信息
?分布式驗證者—“多簽,不過是用于質押的”,這項技術中,n人共享同一個驗證者并且m-of-n必須就其行為方式達成共識
通過防止意外的罰沒來強化質押機制,并使其更加容易參與(比如,通過在多個參與者之間去信任地切分所需的32個ETH)
這并非協議內的工作,SSV和Obol等團隊正致力于這項研究
?視域合并(Viewmerge)—調整分叉選擇規則(驗證者投票的方式)以減輕一類攻擊
本質上就是“強制”誠實的驗證者能夠看到正確的鏈頭,以減少作惡驗證者分裂投票并重組對其有利的區塊的機會。
ethresear.chpost中有許多關于這項研究的(非常技術性的)背景
?改良的聚合—以太坊努力支持盡可能多的驗證者,但是讓每個驗證者對每個區塊投票(并驗證每個其他驗證者的投票)太占用帶寬了。退而求其次就是聚合簽名,但這也有其局限性,而且可以做得更好
關于BLS聚合簽名的好處的解釋帖子
潛在的候選簽名技術:Horn
?單個slot實現最終確定性(SSF)—每隔一個slot(12秒)敲定一次鏈狀態,而不是每隔一個epoch(12.8分鐘)
通往單個slot實現最終確定性之路(中文版)
除了改良簽名聚合之外,我們還必須弄清楚兩件事:
-SSF共識算法-現有的與SSF兼容的算法是不夠的,我們想要一個即便是超過1313名驗證者離線也能保持鏈的活性的算法。
Circle 2022年12月儲備報告:金庫儲備資金超445億美元:金色財經報道,美元穩定幣 USDC 發行方 Circle 發布 2022 年 12 月的儲備報告,該報告由 GrantThornton 會計集團審計,詳細說明了穩定幣發行方 Circle 的儲備金庫的構成,目前 44,553,543,212 USDC由托管賬戶中的 44,693,963,701 美元支持,其中很大一部分為美國國債。Circle 的儲備基金注冊為政府貨幣市場基金,該基金的股權由 Circle 全資擁有,包括 14 種不同的美國債券,價值超過 235 億美元,該基金還持有 4890 萬美元現金,另外還有 3300 萬美元應歸該基金(due to the Fund),但被“時間和結算差異”所抵消。持有 Circle 現金儲備的美國銀行包括紐約梅隆銀行、Citizens Trust Bank、Customers Bank、New York Community Bank、Signature Bank、硅谷銀行和Silvergate Bank。(cointelgraph)[2023/1/30 11:36:50]
-SSF驗證者經濟學-如果我們最終不得不限制驗證者的數量,我們如何限制參與率,以及我們需要做出什么犧牲?
?秘密領導選舉(SLE)
目前,被選中提議一個區塊的驗證者(單個slot的領導者)是稍微提前知道的,這使得潛在的DoS攻擊能夠專門針對即將到來的區塊的領導者
ethresear.ch有一篇帖子是關于基于隨機混洗的單一秘密領導選舉的協議:除了領導者自己,沒有人知道誰將是這個slot的領導者,直到他們將自己的區塊與領導者證明一起公布出來。
非單一秘密領導者選舉可能也是一種選擇
?支持更多驗證者—正在進行的長期努力:安全地支持更多的驗證者始終是我們的目標
?量子安全的、聚合友好的簽名—在量子計算機成為一個合理的擔憂之前,使以太坊成為量子安全的是我們長期努力的一部分
所用的BLS簽名方案基于的密碼學已知會被量子計算機破解,但已知是量子安全的替代簽名方案并不像BLS那樣有效地聚合簽名(因此需要一個既量子安全又聚合友好的方案)。
幣安將于2022年06月09日11:00下架HOT/BNB、PERL/BNB、SPELL/BNB交易對:金色財經報道,幣安發布公告稱,將于2022年06月09日11:00(東八區時間)下架以下交易對:HOT/BNB、PERL/BNB、SPELL/BNB。(注:用戶還可以在幣安上的其它交易對中交易上述幣種)[2022/6/7 4:07:37]
兩個主要的量子安全方案是基于STARK的和基于Lattice的
TheScourge(解決隱患)
目標:確保可靠且可信中立的交易打包過程,避免MEV帶來的中心化以及其他協議上的風險。
相關鏈接:
以可信的中立為指導原則
關于MEV的多條推串
關于MEV和PBS的文章
關于PBS的鏈接清單
已完成工作
?協議外的MEV市場—MEV-Boost中間件允許普通驗證者從MEV中獲利,而無需自己運行復雜的MEV策略
這個解決方案本身不完整,因為它有審查問題
閱讀文章"TheCostofResilience"和"TheFutureofMEVisSUAVE",了解使得這些協議外的MEV市場更加有彈性的計劃
下一步的工作
?打包列表或者備選方案—讓區塊提議者對區塊構建者進行限制,即強迫他們納入交易
打包列表相關筆記
研究如何在不增加提議者負擔的情況下約束構建者
?協議內PBS—將區塊構建市場直接寫入協議內
?MEV銷毀—讓區塊鏈獲取原本從鏈上經濟中提取的價值
通過提議者拍賣來直接進行MEV銷毀的提案
委員會驅動MEV均勻分配讓協議意識到MEV
通過經濟激勵措施設置驗證者子集的上限,將通過負增發間接銷毀MEV
?應用層MEV最小化—這個工作與L1沒有直接關系,它涉及到開發者在設計他們的dapp時需要記住MEV。這里有幾個采用MEV最小化策略的dapp的例子
分布式構建者路線
集邦咨詢:工業元宇宙將催動全球智能制造市場規模至2025年達5400億美元:11月29日消息,根據TrendForce集邦咨詢表示,元宇宙概念得以滿足遠端作業、虛擬實境、模擬運作等陸續崛起的市場需求,而智能制造亦有望乘此熱潮,催動相關技術加速開發,推升全球市場規模于2025年一舉突破5400億美元,2021至2025年復合成長率達15.35%。 (金十)[2021/11/29 12:38:52]
由于區塊提議過程是保持去中心化的,我們現在有一個單獨的問題,即區塊構建變得中心化。即便路線圖上的所有其他部分都旨在最大限度地減少區塊構建中心化可能帶來的最壞情況,能夠將區塊構建分布在許多節點中仍然是一個很大的好處。
Blob結構-尋找方法來減輕數據分片在許多節點上的高帶寬和處理要求,而這些節點是普通消費者級別的硬件可以運行的。
預確認服務-給予用戶強有力的保證,他們的交易將被打包進下一個區塊中
搶跑保護-盡量減少有的MEV,如三明治攻擊,使得分布式的構建過程保持可信的中立
這依然是一個活躍的研究領域,具有非常開放的設計考慮,所以目前還不清楚前面兩個框框是否應該被寫入協議內(因此路線圖上有問號)
這里是相關的鏈接:
關于合并后區塊構建的演講,提到了去中心化區塊構建
關于去中心化構建者的演講
關于分布式區塊構建的一些想法
TheVerge(邊界)
目標:驗證區塊應當超級容易—下載N個字節數據、執行一些基本計算、驗證一個SNARK然后你就完成驗證了。
這一部分基本上是關于通過使得輕客戶端最終可行,以填補“客戶端方面的不足”:并非每個人都想或者能夠運行一個全節點。TheVerge的目標是引入去信任或者信任最小化的替代方案,這種節點易于運行,不需要大量的存儲和帶寬。TheVerge的最終目標是讓這些輕客戶端提供與目前全節點相同的安全保障。
這一切都依賴于零知識技術,如SNARKs和STARKs,它們本身依賴于多項式承諾方案。這里有一些關于這方面的鏈接:
介紹zk-SNARK何以可能中文版
IOTA聯合創始人:Chrysali第二階段暫定2021年初啟動:IOTA聯合創始人Dominik Schiener回顧了今年取得的成就。他預測未來幾個月的進展和采用更好。IOTA基金會今年專注于價值創造和鞏固其構建可擴展和完全去中心化網絡的愿景,主要項目是Chrysalis和Coordicide。Chrysali第一階段已部署,第二階段處于公測階段,暫定2021年初啟動。關于IOTA 2.0和Pollen測試網的進展,他表示審計將對Coordicide主網部署至關重要。IOTA基金會增加約110名成員,包括43名工程師和14名研究人員,組成24個新團隊,打算明年擴大規模。Dominik Schiener還表示,IOTA基金會預計2021年預算將增長300%。(Crypto News Flash)[2020/12/19 15:45:48]
剖析STARK
假設你是懂一些數學和編程的人,向你解釋zkSNARK
論多項式承諾方案在擴容以太坊中的作用
已完成的工作
?解決了最嚴重的EVMDoS問題—主要是gas定價問題,已在柏林升級中解決
?基本的輕客戶端支持(同步委員會)—多虧了同步委員會,很容易構建遵循共識層的輕客戶端
了解Helios客戶端是如何利用同步委員會的(很好地解釋了這些委員會是如何運作的)
下一步的工作
?EIP-4844實現—在主網部署EIP-4844
將需要一個“儀式”來創建受信任初始化:解釋、預估時間線、規范
EIP-4844實現時間線概覽
?基本的rollup擴容—依賴于下面的工作:
EIP-4844-所實現的可擴展性依然被認為較基礎/有限,這是因為“每一個節點下載所有數據”的性質限制了blobspace的可用容量
rollup的有限輔助輪階段(文章中提議了去掉rollup輔助輪的路線圖)(中文版)
?完整的rollup擴容—依賴于下面的工作:
DAS(數據可用性采樣)的P2P設計:涉及數據分片網絡連接問題的一些工作以及研究
數據可用性采樣客戶端:開發輕量級客戶端,可以通過對幾千字節的隨機采樣快速判斷數據是否可用
有效的DA自我恢復:能夠在最惡劣的網絡條件下有效地重建所有數據(比如,惡意驗證者攻擊、或者大塊節點的長時間停機)
不使用輔助輪的rollup:完全去中心化的定序者、去信任的欺詐證明、不可變的合約等等
?量子安全的、無需受信任初始化的承諾—在量子計算機成為一個合理的擔憂之前,使以太坊成為量子安全的是我們長期努力的一部分
雖然高效且強大,但到處使用的多項式承諾(KZG)并不是量子安全的,并需要一個受信任初始化。對更理想的長期使用的承諾的研究正在進行中,最終目標是在底層對KZG進行熱轉換(hotswap)
?SNARK/STARK專用集成電路—專門用來創建證明的硬件
?Verkletree—將用于全局狀態的數據結構替換成一個更高效的版本
VerkleTree的鏈接清單
關鍵的好處是能夠生成非常簡潔的證明,輕客戶端可以只通過區塊頭很容易地驗證這些證明,以核實像賬戶余額這樣的東西-它們已經可以利用同步委員會來驗證給定區塊頭實際上是主鏈的一部分
需要編寫出合適的規范、確保安全地遷移,以及搞清楚它將如何影響更新/編輯狀態的EVMgas開銷(這也取決于ThePurge那部分中取消“SELF-DESTRUCT”的工作)
?基于SNARK的輕客戶端—對同步委員會的狀態轉換生成SNARK證明,以快速證明哪些驗證者組成當前的同步委員會
?完全基于SNARK的以太坊—以下3項加在一起構成了“以太坊最終圖景”(中文版)的一個重要里程碑,即實現極其高效以及去信任的區塊驗證:
用于Verkle證明的SNARK-通過將Verkle證明合并進單個SNARK中,區塊將包含一個關于它們修改的部分狀態的簡短獨立證明,因此不需要驗證區塊N-1的整個狀態來驗證區塊N是否正確修改了它。
用于共識狀態轉換的SNARK—從信任最小化的同步委員會轉變為對共識層上發生的所有事情進行完全去信任的驗證
用于L1EVM的SNARK—利用rollup團隊在zk-EVM上所做的工作,將zk-EVM直接集成到L1中
-閱讀關于寫入協議內的rollup的帖子
?提高L1gas上限—通過消除目前“每個節點都需要存儲所有東西”的負擔來實現去信任地驗證區塊,這將更容易地形成更大的區塊以獲得更多L1可擴展性(這會自動地加強所有L2擴容的效果)
?轉向量子安全的SNARK(如STARK)—在量子計算機成為一個合理的擔憂之前,使以太坊成為量子安全的是我們長期努力的一部分
SNARK基于的密碼學是已知能夠被量子計算機破解的,而STARK不是
ThePurge(清除工作)
目標:簡化協議、清楚技術債和通過清理歷史數據限制參與網絡的成本
已完成工作
?清除大多數gas返還—所有的gas重新定價工作已在柏林升級完成
?信標鏈快速同步—從最近敲定的epoch同步(在大多數共識層客戶端中稱為"檢查點同步")而不是從創世開始同步,這方面的所有開發工作已完成
?EIP-4444規范—閱讀EIP規范了解
下一步的工作
?歷史數據休眠—通過讓舊的歷史狀態休眠來降低存儲需求、減少同步時間和代碼復雜性
閱讀此條推特長文
依賴于EIP-4444的實現,即通過其他方式(如門戶網絡)來訪問歷史狀態的替代方案
Vitalik針對歷史數據休眠的AMA
?狀態休眠—關于狀態,修復“一次性支付,數據永久儲存”的問題
這個想法主要關于讓狀態未使用的部分自動休眠,只保留一個verkletree根,如果需要的話,用戶可以用它來激活休眠的狀態
Vitalik針對狀態休眠機制的AMA
依賴于這些工作:
-基本的狀態休眠規范:我們打算如何實現它,請看這個潛在的路線圖(和其他選項)
-地址空間擴展:增加地址尺寸大小,從20字節增加到32字節,以防止沖突,并增加關于狀態周期的數據
-應用分析:搞清楚它會如何破壞當前的應用/合約,以及這些應用/合約需要如何適應
?日志改革—簡化事件日志的工作方式,以便更有效地搜索歷史事件
?序列化協調—執行層使用RLP進行數據序列化,而共識層使用SSZ,這將會使得逐漸拋棄RLP,而使用SSZ
?移除舊的交易類型—停止支持舊的交易類型(參閱EIP-2718)以移除客戶端的代碼復雜性(犧牲一些向后兼容性)
?EVM簡化路線
取消SELFDESTRUCT—這個操作碼是許多問題的根源
-消除SELFDESTRUCT的實用解決方法解釋了為什么以及怎么樣移除這個操作碼
-相關EIP:EIP-4758、EIP-4760以及討論
簡化gas機制—涉及移除許多與gas相關的EVM功能,在此處提及過
預編譯->EVM實現—舍棄預編譯合約,采用直接EVM實現(即大型模運算,見TheSplurge)
TheSplurge(狂歡)
目標:完善其他東西
所有那些不需要更高優先級的好東西都屬于TheSplurge這一部分中。最大的一項就是賬戶抽象,但也有對現有內容的小調整。
已完成的工作
?EIP-1559—這個著名的EIP帶來了許多好處,而不僅僅是銷毀ETH
?ERC-4337規范—這個ERC旨在不修改核心協議的情況下引入賬戶抽象
ERC-4337的解釋
下一步的工作
?EIP-1559的最終形式—通過使其變得多維度的來完善EIP-1559,更像一個AMM曲線和感知時間的
?EVM完善路線和ThePurge中的簡化路線一起形成了EVM的最終形式
EVM對象格式(EOF)—一組多個EIP,允許在部署EVM字節碼時對其進行驗證和版本控制。請看這篇解釋文章和推特帖子
大型模運算—路線圖中的許多密碼學依賴于大量數字的模運算,這可以直接在EVM中更有效地完成
進一步完善EVM—任何其他值得添加以改進EVM的東西,或者移除一些東西以消除復雜性
?實現賬戶抽象最終形式的賬戶抽象路線。有關以下內容的詳細信息,請參閱Vitalik的描述:
ERC-4337—開發兼容的、實際獲得采用的智能錢包
自愿對EOA賬戶進行轉換—通過一個EIP,允許普通賬戶不可逆地添加代碼將其轉換為合約,即成為4337兼容的智能錢包。
寫入協議內—對所有現有賬戶強制進行上述轉換
?可驗證延遲函數(VDFs)—本質上是“非并行的工作量證明”,這將增強PoS和其他東西中使用的隨機性
參閱這篇貼文,介紹VDFs以及其潛在用途
?探索針對老舊賬戶的解決方案—拯救這些“塵封的資產”需要花的gas成本超過它們本身的價值。在這里看到一堆想法
來源:panewslab
Tags:ARKMEVTHENARPARK價格mev幣圈wisdomisthewealthofthewiseFLUNAR價格
作者:Chloe Crypto行業被廣泛關注的零知識證明技術,并非是這幾年剛冒出來的新技術,而是在1980年就被數學家S.Goldwasser、S.Micali及C.Rackoff提出.
1900/1/1 0:00:00作者?I楊文靜陳曉 報道I投資界PEdaily綠茵場上,梅西率領著阿根廷國家隊留下載入史冊的一夜——世界杯決賽,阿根廷VS法國,一波三折,跌宕起伏,最終阿根廷抱走了大力神杯.
1900/1/1 0:00:0012:00-21:00關鍵詞:三星電子、LensProtocol、幣安FUD、Coinbase1.彭博社:自2021年初以來.
1900/1/1 0:00:00盤點2022年新經濟行業熱詞,數字藏品不出意料光榮上榜。作為數字經濟行業的典型代表,數字藏品通過區塊鏈技術,記錄著藝術品或收藏品等資產的所有權.
1900/1/1 0:00:00文章作者:JesusRodriguez&IntoTheBlock聯合創始人文章編譯:BlockunicornDeFi的技術基礎已被證明對過去幾個月的災難性市場事件具有令人難以置信的彈性.
1900/1/1 0:00:00撰文:Murph@THUBACoreMemberToken是用于管理和激勵加密資產的措施,可以促進項目利益分配、影響用戶行為預期從而推動和生態發展.
1900/1/1 0:00:00