譯者注:本文基于最新以太坊路線圖進行內容注解,下圖為ECN譯制的中文版。
本文檔旨在為讀者了解以太坊路線圖上各個部分提供入口點,每一部分都做了簡單的概要介紹,如想深入了解,文內亦附上了詳細的鏈接。
注意:如路線圖上箭頭所示,所列出的各個部分并非連續進行的工作,它們的推進是并行的。
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指定執行層中的變更
TimBeiko關于提款的FAQ
提款元規范和其他信息
?分布式驗證者—“多簽,不過是用于質押的”,這項技術中,n人共享同一個驗證者并且m-of-n必須就其行為方式達成共識
通過防止意外的罰沒來強化質押機制,并使其更加容易參與(比如,通過在多個參與者之間去信任地切分所需的32個ETH)
彭博社分析師:比特幣可能會從2022下半年轉變為更像國債和黃金的避險資產:金色財經報道,據彭博社高級商品策略師Mike McGlone表示,由于隨著宏觀經濟環境正在迅速轉向衰退,比特幣很可能在2022年下半年從風險上升型資產過渡到風險下降型資產。 McGlone預測,“我認為它正在轉變為更像債券和黃金這樣的避險資產,而不是像股市這樣的風險資產。”
據這位分析師稱,加密貨幣市場已經對沖掉了2021年的大部分投機性過剩行為,現在它已經成熟,可以進行新的反彈。McGlone還指出,美聯儲積極加息將導致全球經濟陷入通貨緊縮的衰退,這將最終有利于比特幣。他補充說“我完全預計我們將在全球范圍內出現相當嚴重的經濟衰退,這可能會使比特幣與黃金和美國國債長債一起大放異彩。”[2022/8/12 12:21:26]
這并非協議內的工作,SSV和Obol等團隊正致力于這項研究
?視域合并(Viewmerge)—調整分叉選擇規則(驗證者投票的方式)以減輕一類攻擊
本質上就是“強制”誠實的驗證者能夠看到正確的鏈頭,以減少作惡驗證者分裂投票并重組對其有利的區塊的機會。
ethresear.chpost中有許多關于這項研究的(非常技術性的)背景
?改良的聚合—以太坊努力支持盡可能多的驗證者,但是讓每個驗證者對每個區塊投票(并驗證每個其他驗證者的投票)太占用帶寬了。退而求其次就是聚合簽名,但這也有其局限性,而且可以做得更好
關于BLS聚合簽名的好處的解釋帖子
潛在的候選簽名技術:Horn
?單個slot實現最終確定性(SSF)—每隔一個slot(12秒)敲定一次鏈狀態,而不是每隔一個epoch(12.8分鐘)
通往單個slot實現最終確定性之路(中文版)
除了改良簽名聚合之外,我們還必須弄清楚兩件事:
-SSF共識算法-現有的與SSF兼容的算法是不夠的,我們想要一個即便是超過1313名驗證者離線也能保持鏈的活性的算法。
-SSF驗證者經濟學-如果我們最終不得不限制驗證者的數量,我們如何限制參與率,以及我們需要做出什么犧牲?
2020線上智博會區塊鏈應用創新大賽正式啟動:金色財經現場報道,7月8日,2020線上智博會區塊鏈應用創新大賽正式啟動。重慶市大數據應用發展管理局副局長景根元、浪潮集團副總裁(浪潮云鏈董事長&CEO)張 帆、重慶市渝中區人民政府副區長喬宏、重慶市渝中區大數據局局長蔣學榮 、四川區塊鏈行業協會秘書長安紅章出席了新聞發布會。
據介紹,大賽采用開放命題,面向全行業開發者用戶開放。參賽作品可任選“數字經濟、數字金融和數字社會”三大領域12個命題,探索有具體落地場景的技術應用創意方案。評審專家將從商業價值、創新度、應用場景、技術價值、用戶體驗等維度,開展評價,重點突出政用、商用、民用領域的應用場景落地。[2020/7/8]
?秘密領導選舉(SLE)
目前,被選中提議一個區塊的驗證者(單個slot的領導者)是稍微提前知道的,這使得潛在的DoS攻擊能夠專門針對即將到來的區塊的領導者
ethresear.ch有一篇帖子是關于基于隨機混洗的單一秘密領導選舉的協議:除了領導者自己,沒有人知道誰將是這個slot的領導者,直到他們將自己的區塊與領導者證明一起公布出來。
非單一秘密領導者選舉可能也是一種選擇
?支持更多驗證者—正在進行的長期努力:安全地支持更多的驗證者始終是我們的目標
?量子安全的、聚合友好的簽名—在量子計算機成為一個合理的擔憂之前,使以太坊成為量子安全的是我們長期努力的一部分
所用的BLS簽名方案基于的密碼學已知會被量子計算機破解,但已知是量子安全的替代簽名方案并不像BLS那樣有效地聚合簽名(因此需要一個既量子安全又聚合友好的方案)。
兩個主要的量子安全方案是基于STARK的和基于Lattice的
TheScourge(解決隱患)
目標:確保可靠且可信中立的交易打包過程,避免MEV帶來的中心化以及其他協議上的風險。
相關鏈接:
以可信的中立為指導原則
關于MEV的多條推串
關于MEV和PBS的文章
關于PBS的鏈接清單
iGMA馬尼拉和AIBC馬尼拉博覽會將改期至2021年5月:SiGMA Group宣布,由于COVID-19全球危機,計劃于2020年6月8日至9日舉辦的SiGMA馬尼拉和AIBC馬尼拉博覽會現在將改期至2021年5月27日至28日。(Cryptimi)[2020/4/8]
已完成工作
?協議外的MEV市場—MEV-Boost中間件允許普通驗證者從MEV中獲利,而無需自己運行復雜的MEV策略
這個解決方案本身不完整,因為它有審查問題
閱讀文章"TheCostofResilience"和"TheFutureofMEVisSUAVE",了解使得這些協議外的MEV市場更加有彈性的計劃
下一步的工作
?打包列表或者備選方案—讓區塊提議者對區塊構建者進行限制,即強迫他們納入交易
打包列表相關筆記
研究如何在不增加提議者負擔的情況下約束構建者
?協議內PBS—將區塊構建市場直接寫入協議內
?MEV銷毀—讓區塊鏈獲取原本從鏈上經濟中提取的價值
通過提議者拍賣來直接進行MEV銷毀的提案
委員會驅動MEV均勻分配讓協議意識到MEV
通過經濟激勵措施設置驗證者子集的上限,將通過負增發間接銷毀MEV
?應用層MEV最小化—這個工作與L1沒有直接關系,它涉及到開發者在設計他們的dapp時需要記住MEV。這里有幾個采用MEV最小化策略的dapp的例子
分布式構建者路線
由于區塊提議過程是保持去中心化的,我們現在有一個單獨的問題,即區塊構建變得中心化。即便路線圖上的所有其他部分都旨在最大限度地減少區塊構建中心化可能帶來的最壞情況,能夠將區塊構建分布在許多節點中仍然是一個很大的好處。
Blob結構-尋找方法來減輕數據分片在許多節點上的高帶寬和處理要求,而這些節點是普通消費者級別的硬件可以運行的。
預確認服務-給予用戶強有力的保證,他們的交易將被打包進下一個區塊中
幣星2020第二期IEO項目NMD三日累計上漲36%:根據BitSG行情顯示,幣星交易所第二輪IEO項目NMD已連續上漲三日,K線呈階梯狀上升,累計上漲36%,24小時交易量372萬。[2020/3/5]
搶跑保護-盡量減少有的MEV,如三明治攻擊,使得分布式的構建過程保持可信的中立
這依然是一個活躍的研究領域,具有非常開放的設計考慮,所以目前還不清楚前面兩個框框是否應該被寫入協議內(因此路線圖上有問號)
這里是相關的鏈接:
關于合并后區塊構建的演講,提到了去中心化區塊構建
關于去中心化構建者的演講
關于分布式區塊構建的一些想法
TheVerge(邊界)
目標:驗證區塊應當超級容易—下載N個字節數據、執行一些基本計算、驗證一個SNARK然后你就完成驗證了。
這一部分基本上是關于通過使得輕客戶端最終可行,以填補“客戶端方面的不足”:并非每個人都想或者能夠運行一個全節點。TheVerge的目標是引入去信任或者信任最小化的替代方案,這種節點易于運行,不需要大量的存儲和帶寬。TheVerge的最終目標是讓這些輕客戶端提供與目前全節點相同的安全保障。
這一切都依賴于零知識技術,如SNARKs和STARKs,它們本身依賴于多項式承諾方案。這里有一些關于這方面的鏈接:
介紹zk-SNARK何以可能中文版
剖析STARK
假設你是懂一些數學和編程的人,向你解釋zkSNARK
論多項式承諾方案在擴容以太坊中的作用
已完成的工作
?解決了最嚴重的EVMDoS問題—主要是gas定價問題,已在柏林升級中解決
?基本的輕客戶端支持(同步委員會)—多虧了同步委員會,很容易構建遵循共識層的輕客戶端
了解Helios客戶端是如何利用同步委員會的(很好地解釋了這些委員會是如何運作的)
下一步的工作
?EIP-4844實現—在主網部署EIP-4844
動態 | 報告:閃電網絡將在2020年關注隱私,展示更多用例和參與激勵措施:近日,匈牙利研究人員發表對閃電網絡的批判性研究報告,調查結果估計,來自交易費用的數據表明,閃電網絡基礎設施“在經濟上是不合理的”。12月27日,Bitcoin Magazine發文稱,雖然接受采訪的大多數人不同意該論文的結論,但他們的擔憂確實揭示閃電網絡2019年以及2020年可能的主要優先事項。Blockstream研究員Christian Decker稱,“我們同意作者的觀點,隱私可能是2020年閃電網絡的一個主要話題。”Bitrefill CCO John Carvalho也不認為閃電網絡的低交易費存在問題,并預計未來一年會有顯著改善。“歸根結底,該網絡的性質是P2P和自愿的,這意味著反對其合理性的論點必須駁斥該網絡持續存在、正在增長并被當今的企業利用的現實。在我看來,我們只是觸及表面,閃電網絡將在2020年展示更多使用案例和參與激勵措施。”此外,他指出,閃電網絡從未承諾解決離線隱私問題,這更多是工程師和用戶隱私文化的副作用。而且,在鏈上數據的背景下,“有能力觀察閃電網絡上一些資金流動并不意味著你有有用的外部污點可以應用于它。”(Bitcoin Magazine)[2019/12/28]
將需要一個“儀式”來創建受信任初始化:解釋、預估時間線、規范
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成本超過它們本身的價值。在這里看到一堆想法
8月14日,商務部官網印發《全面深化服務貿易創新發展試點總體方案》,并在“全面深化服務貿易創新發展試點任務、具體舉措及責任分工”附表中明確:在京津冀、長三角、粵港澳大灣區及中西部具備條件的試點地.
1900/1/1 0:00:00引言 自比特幣誕生以來,區塊鏈已經發展了十三個年頭,對、經濟與文化都影響深遠。區塊鏈技術的發展經歷了Layer1的底層賬本探索和Layer2的應用拓展,區塊鏈也從1.0時代的貨幣和支付去中心.
1900/1/1 0:00:00摘要 隨著更多的以太幣被質押以保障網絡安全,質押收益率正在下降最近的年度質押收益率為5%,預計到年底將降至3%.
1900/1/1 0:00:00摘要: 本文以AxieInfinity為例探討了公會的意義及其運作方式,從參與者的故事可以看到低門檻的公會對于普通人生活的影響.
1900/1/1 0:00:00游戲引擎在游戲開發中發揮著至關重要的作用。對于全鏈上游戲來說,同樣需要一個能夠幫助開發者快速部署游戲邏輯的工具.
1900/1/1 0:00:00何為0LNetwork 0L是一個社區驅動的Layer1公鏈開源項目。它沒有企業贊助商、風險投資、基金會,是一個完全中心化的社區。項目的決定也由社區成員投票做出。0L也是基于Move語言的程序.
1900/1/1 0:00:00