買以太坊 買以太坊
Ctrl+D 買以太坊
ads

MEV:一文了解以太坊路線圖的實施進展_Canary Dollar

Author:

Time:1900/1/1 0:00:00

原文作者:domothy,

原文編譯:DeFi之道

注:本文檔旨在作為以太坊路線圖上各個項目的入口點,為那些想要深入研究的人提供快速的摘要以及鏈接。

它是一份動態文檔,請如果此處提供的任何信息不清楚、不準確、過時或缺少更好的鏈接,請隨時與我聯系。

正如路線圖上的箭頭所示,列出的各個階段不是首尾相接的,各種努力是并行發生的。

一、合并

目標:擁有一個理想的、簡單的、健壯的以及去中心化的權益證明共識。

已經完成了什么

1、2020年12月1日-信標鏈啟動。

引入由驗證者質押的ETH保護的以太坊共識層;

在共識規范中稱為階段0;

2、2021年10月27日-預熱分叉(Altair)-共識客戶端開發人員試運行了一次協調硬分叉升級。

Altair引入了同步委員會來支持輕客戶端,并調整了一些懲罰措施;

Altair公告;

Altair規范;

關于Altair的“What’snewinETH2”文章;

3、2022年9月15日-合并!不再有PoW——共識層和執行層在區塊高度達到15,537,394時進行了大合并。

下一步是什么

1、提款–使驗證者能夠提取全部或部分質押ETH權益。

Capella分叉指定共識層的變化;

EIP-4895指定了執行層的變化;

TimBeiko關于提款的常見問題解答;

帶有其他信息的提款元規范;

2、分布式驗證器——引入多重簽名,其中n個人共享同一個驗證器,m-of-n必須就其行為方式達成一致。

通過防止意外罰沒使其更易于訪問來增強質押;

前NBA球星沙奎爾·奧尼爾要求法院撤銷FTX集體訴訟的訴訟傳票:5月9日消息,前NBA球星沙奎爾·奧尼爾(ShaquilleO’Neal)要求美國聯邦法院撤銷指控其在FTX崩潰事件中誤導投資者的訴訟傳票,他的律師表示法庭文件送達的流程不充分,送達員將法律文件扔在了奧尼爾行駛汽車前面,并將法律文件留在了它們落下的路上。(彭博社)[2023/5/9 14:51:10]

這不是協議內的事情,SSV和Obol等團隊正在為此而努力;

3、視圖合并——調整分叉選擇規則(驗證器投票的方式),以減輕一類攻擊。

本質上使誠實的驗證者能夠“強加”他們對鏈的正確head的看法,以減少惡意驗證者分裂投票并在之后按照自己的意愿重組區塊的機會;

ethresear.ch帖子有很多研究背景;

4、改進聚合——以太坊努力支持盡可能多的驗證者,但讓每個驗證者對每個區塊進行投票過于占用帶寬。下一個最好的事情是聚合簽名,但這也有其局限性,并且可以做得更好。

關于BLS聚合好處的科普貼;

潛在候選方案:Horn;

5、單slot最終性——每個slot確定鏈,而不是按epoch來確定。

通往SSF的路徑;

除了改進的簽名聚合,我們還需要解決另外兩件事:

SSF共識算法——現有與SSF兼容的算法是不夠的,我們想要一個即使超過1/3的驗證器離線,也能保持鏈活躍的算法;

SSF驗證者經濟學——如果我們最終不得不限制驗證器的數量,我們如何限制參與,我們會做出什么犧牲?

6、秘密leader選舉

今天,被選中提議一個區塊的驗證者會提前被知道,這使得潛在的DoS攻擊能夠專門針對即將到來的區塊的leader。

ethresear.ch關于隨機洗牌的單一SLE協議的帖子:除了leader自己,沒有人知道誰將成為slot的leader,直到他們揭示他們的區塊以及他們的領導力證明。

Beosin:攻擊者利用多簽錢包執行了修改TradingHelper合約的router地址的交易:2月21日,據區塊鏈安全審計公司Beosin旗下Beosin EagleEye安全風險監控、預警與阻斷平臺監測顯示,Hope Finance項目Rug Pull。Beosin安全團隊分析發現攻擊者(0xdfcb)利用多簽錢包(0x1fc2)執行了修改TradingHelper合約的router地址的交易,從而使GenesisRewardPool合約在使用openTrade函數進行借貸時,調用TradingHelper合約SwapWETH函數進行swap后并不會通過原本的sushiswap的router進行swap操作,而是直接將轉入的代幣發送給攻擊者(0x957d)從而獲利。攻擊者共兩次提取約180萬美金。

Beosin Trace追蹤發現攻擊者已將資金轉入跨鏈合約至以太鏈,最終資金都已進入tornado.cash。

Beosin提醒用戶:請勿在0x1FC2..E56c合約進行抵押操作,建議取消所有與該項目方相關的授權。[2023/2/21 12:19:54]

非單一秘密leader選舉也可能是一種選擇。

7、支持更多的驗證器——持續的長期努力:安全地支持更多驗證器總是可取的。

8、量子安全的聚合友好簽名——使以太坊免受量子計算機攻擊。

眾所周知,以太坊所使用的BLS簽名方案背后的密碼學被量子計算機破解了,但已知的量子安全的替代簽名方案不如BLS簽名方案那樣有效地聚合;

兩種領先的量子安全方法是基于STARK以及基于Lattice;

9、實施EIP-4844——將EIP-4844應用到以太坊主網。

將需要一個“儀式”來創建可信設置:解釋、預計時間表、規范;

EIP-4844實施時間表概述;

10、基礎rollup擴容——依賴于以下內容:

BLUR上線不到24小時交易額已突破10億美元:金色財經報道,據CoinMarketCap最新數據顯示,NFT市場Blur平臺代幣BLUR今日上線后交易額已突破10億美元,本文撰寫時達到1,015,091,364美元,其中CEX交易額約為723,512,173美元,DEX交易者約為231,050,615美元。[2023/2/16 12:09:24]

EIP-4844-由于“每個節點下載所有數據”的性質限制了blobspace的可用容量,擴容仍然被認為是基本的/有限的;

Rollup有限的輔助輪;

11、完整rollup擴容——依賴于以下內容:

數據可用性采樣的P2P設計:涉及對數據分片所需網絡的所有努力和研究

DA采樣客戶端:開發輕量級客戶端,可以通過幾千字節的隨機采樣快速判斷數據是否可用

高效的DA自我修復:能夠在最惡劣的網絡條件下有效地重構所有數據

摘除輔助輪的rollup:完全去中心化的排序器、無需信任的欺詐證明者、不可變的合約等。

12、量子安全以及無可信設置的承諾——讓以太坊免受量子計算機影響。

雖然多項式承諾(KZG)高效而強大,但它們不是量子安全的,并且需要一個可信設置。對更理想的長期承諾的研究正在進行中,最終目標是在底層“熱插拔”KZG;

二、TheScourge

目標:確保可靠可信的中立交易包含,并避免MEV的中心化以及其他協議風險。

相關鏈接:

以可靠的中立為指導原則;

關于MEV的各種推特帖;

關于MEV和PBS的文章;

關于PBS的鏈接列表;

已經完成了什么

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

Fusionist Alpha Prestige NFT系列地板價7日漲幅達85%:1月6日消息,OpenSea數據顯示,Alpha Prestige - Fusionist系列地板價達2.89 ETH,過去七天漲幅達85%。

據此前報道,Binance NFT市場將推出新一輪首次游戲資產發售(IGO)“Fusionist-Bi·Mech”NFT系列,該系列的發布將遵循BNB先決條件功能作為申購機制的一部分,準備階段將于2023年01月09日08:00啟動。[2023/1/6 10:58:55]

該解決方案本身并不完整,因為它存在審查問題;

請參閱彈性成本以及SUAVE,了解使這些協議外市場更具彈性的想法和計劃;

下一步是什么

1、包含列表或替代方案——讓區塊提議者對區塊構建者施加限制,即強制他們包含交易。

包含列表注釋;

研究在不給區塊提議者增加負擔的情況下約束區塊構建者;

2、協議內PBS–將區塊構建者的市場直接納入協議中。

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

通過提議者拍賣的直接銷毀MEV提案;

委員會驅動的MEV平滑將使協議能夠感知MEV;

通過經濟激勵限制驗證者集,將通過負發行間接燃燒MEV;

4、應用層MEV最小化——不直接與L1相關,該項目涉及開發人員在設計dapp時將MEV考慮在內。這里是一些采用MEV最小化策略的dapp示例。

分布式builder軌道

隨著區塊提案保持去中心化,我們現在有一個單獨的問題,即區塊構建變得中心化。即使路線圖上的所有其他項目,都旨在最大限度地減少集中式區塊構建的最壞可能負面影響,但能夠跨多個節點分發區塊構建仍然是一個主要的好處。

Blob構建-尋找方法,以減輕在普通消費硬件可以運行的多個節點上進行數據分片的高帶寬和處理需求;

eToro宣布以5000萬美元的現金和普通股的方式收購Gatsby:金色財經報道,多資產投資交易平臺eToro簽署了一項最終協議,以5000萬美元的現金和普通股收購金融科技初創公司Gatsby。 eToro稱,它剛剛獲得金融業監管局FINRA的批準,可以推進收購。該公司于2021年12月首次申請監管批準。eToro首席執行官兼聯合創始人Yoni Assia表示,此次收購將使他的公司擴大其美國產品的范圍,該產品目前專注于股票和加密貨幣。[2022/8/17 12:32:04]

預確認服務-給用戶強有力的保證,他們的交易將被包括在下一個區塊;

領先保護-最大限度地減少有的MEV,例如三明治交易,以保持分布式構建可靠的中性;

它仍然是一個活躍的研究領域,具有非常開放的設計考慮,因此不清楚前兩項是否應該包含在協議當中。

以下是一些相關鏈接:

談合并后的區塊構建,其中提到了去中心化的區塊構建:https://www.youtube.com/watch?v=KP5ppCRH0iM

談談去中心化區塊構建者:https://www.youtube.com/watch?v=fAgrIdyWIqc

關于分布式區塊構建的一些想法:https://github.com/flashbots/mev-boost/issues/139

三、TheVerge

目標:驗證區塊應該超級簡單——下載N字節數據,執行一些基本計算,驗證一個SNARK就完成了。

這個階段本質上是通過最終實現輕客戶端來填補“客戶端空白”:不是每個人都想或能夠運行一個全節點。TheVerge的目標是引入無需信任或信任最小化的替代方案,這些替代方案易于運行且不需要大量存儲和帶寬。TheVerge的最終目標是讓這些輕客戶端提供與今天的全節點相同的安全保證。

一切都依賴于零知識技術,例如SNARKs和STARKs,而它們本身依賴于多項式承諾方案。以下是一些相關鏈接:

大概介紹zk-SNARKs是如何實現的;

關于STARK的剖析;

如果你懂一些數學和編程,這篇文章就可以讓你明白什么是zk-SNARKs;

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

已經完成了什么

1、解決了最嚴重的EVMDoS問題——主要是gas定價問題,已在柏林升級中修復。

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

查看Helios客戶端如何利用同步委員會

下一步是什么

1、SNARK/STARKASIC——專為創建證明而構建的硬件。

2、Verkle樹-用更高效的數據結構替換用于全局狀態的數據結構:

關于Verkle樹的鏈接列表;

關鍵的好處是擁有非常短的證明,輕客戶端可以輕松地驗證這些證明,以僅使用區塊頭來驗證賬戶余額之類的東西——他們已經可以利用同步委員會來驗證給定的區塊頭實際上是主鏈的一部分;

依賴于找出正確的規范,如何安全過渡,以及它將如何影響更新/編輯狀態的EVMgas成本;

3、基于SNARK的輕客戶端–SNARKify同步委員會過渡以快速證明當前同步委員會由哪些驗證者組成

4、完全SNARKed的以太坊–以下3項加在一起構成了以太坊擁有極其高效和無需信任的區塊驗證終局階段的一個重要里程碑:

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

用于共識狀態轉換的SNARK——從信任最小化的同步委員會轉移到對共識層上發生的一切進行完全無需信任的驗證。

L1EVM的SNARK——通過將zk-EVM直接集成到L1中,利用rollup團隊在zk-EVM上所做的努力。

5、增加L1gas限制——通過消除今天“每個節點都需要存儲所有東西”的負擔以無需信任的方式驗證區塊,擁有更大的區塊將更容易獲得更多的L1可擴展性

6、轉向量子安全的SNARK——使以太坊免受量子計算機攻擊。

四、ThePurge

目標:簡化協議,消除技術債務,并通過清除舊歷史限制參與網絡的成本。

已經完成了什么

1、消除大部分gas退款——柏林升級中完成的所有gas重新定價。

2、信標鏈快速同步——所有的開發工作都是從最近完成的epoch開始同步,而不是從起源同步(在大多數共識客戶端中稱為“檢查點同步”)。

3、EIP-4444規范—參見EIP規范。

下一步是什么

1、歷史過期——通過讓舊歷史過期來減少存儲要求、同步時間以及代碼復雜性。

看這個推特貼;

依賴于EIP-4444的實現,這取決于通過其他方式訪問替代歷史記錄

Vitalik關于歷史到期的AMA;

2、狀態過期——解決關于狀態的整個“支付一次,數據永久存儲”問題。

這個想法是自動使狀態的未使用部分過期,并且只保留一個verkle樹根,用戶可以在需要時使用它來恢復過期狀態;

Vitalik關于狀態過期的AMA;

依靠:基本狀態到期規范——我們實際上是如何做到的,查看潛在的路線圖;

地址空間擴展——將地址大小從20字節增加到32字節,以防止沖突并添加有關狀態周期的數據;

應用程序分析——找出它可能如何破壞當前的應用程序/合約以及它們如何適應;

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

4、序列化協調——執行層使用RLP進行數據序列化,而共識層使用SSZ,這將擺脫RLP,而在所有地方使用SSZ。

5、刪除舊的事務類型——停止支持舊的事務類型,以從客戶端刪除代碼復雜性(以一些向后兼容為代價)。

6、EVM簡化軌道。

禁止SELFDESTRUCT——這個操作碼是許多問題的根源;

簡化gas機制——涉及刪除此處提到的許多與gas相關的EVM特性;

預編譯——>EVM實現——擺脫預編譯合約,支持直接EVM實現;

五、TheSplurge

目標:修復其他一切

所有更高優先級升級所不需要的美好改進,都屬于TheSplurge。最大的改進項目是帳戶抽象,但也是對現有事物的小調整。

已經完成了什么

1、EIP-1559——這個著名的EIP除了燃燒ETH之外還有很多好處。

2、ERC-4337規范——該ERC旨在在不修改核心協議的情況下引入賬戶抽象。

下一步是什么

1、最終階段的EIP-1559–通過多維增強EIP-1559。

2、EVM改進軌道以及從ThePurge到EVM最終階段的簡化軌道。

EVM對象格式(EOF)—一組EIP,允許在部署EVM字節碼時進行驗證和版本控制。請看這篇解釋文章和推特帖;

大模塊化運算——路線圖中的很多密碼學都依賴于非常大的數字進行模運算,這可以直接在EVM中更有效地完成;

進一步的EVM改進——任何其他值得添加以改進EVM的東西——或者為了消除復雜性而刪除的任何東西;

3、導致最終階段帳戶抽象的帳戶抽象軌道。有關詳細信息,請參閱Vitalik對以下項目的描述:

ERC-4337–開發真正獲得采用的兼容智能錢包;

自愿EOA轉換——通過EIP,讓普通賬戶不可逆地添加代碼將其轉換成合約賬戶,即成為符合4337標準的智能錢包;

協議內轉換——使所有現有帳戶都必須進行上述轉換;

4、可驗證延遲函數——本質上是“不可并行的工作量證明”,它將增強PoS以及其他事物的隨機性

5、探索粉塵賬戶的解決方案——拯救“粉塵資金”,這些資金的移動成本高于其價值。

Tags:ARKMEVNAR以太坊Dark MatterMEVR價格Canary Dollar以太坊價格幣走勢圖

以太坊最新價格
TOKAU:傳奇球星馬斯切拉諾將使用 SaaSGo 創建 NFT 交易市場,并推出世界杯限量 NFT_NFT

ForesightNews消息,阿根廷傳奇球星哈維爾·馬斯切拉諾將使用去中心化Web3SaaS平臺SaaSGo創建自己的NFT交易市場.

1900/1/1 0:00:00
WET:淺析WETH和WBTC的區別:為什么WETH幾乎不可能暴雷?_VETH

原文作者:蔣海波 隨著Genesis暴雷、灰度GBTC大幅脫鉤,WBTC/BTC兌換比例也小幅低于1。在各種不利的外部條件下,FUD進一步傳播到WETH.

1900/1/1 0:00:00
AINU:Tora Inu 是2023年的模因硬幣:超前于時代的硬幣_TosaInu

?每年都有自己的MemeToken,而ToraInu是下一代memecoin,將聲稱是2023年。在與Doge和ShibaInu等行業巨頭競爭時,ToraInu打算通過挑戰該部門的既定現狀.

1900/1/1 0:00:00
COI:由于推測 Twitter 將使用信號協議,MOB暴漲512%_CardioCoin

?排名第158位的MobileCoin(MOB)價值上漲了512%,原因是人們猜測ElonMusk的Twitter可以利用信號協議來加密消息.

1900/1/1 0:00:00
比特幣價格:三個鏈上指標表明比特幣價格已經觸底,這是BTC下一步的走向_BETHER幣

比特幣價格在一夜之間引發了5%的上漲,突破了關鍵障礙。三個鏈上指標表明BTC可能已經觸底并啟動了另一場熊市反彈。投資者興趣的增長加上大量資金外流暗示這可能是2022年的最后一次上漲.

1900/1/1 0:00:00
CAS:隱私幣還有機會嗎?XMR、ZEC、DASH,誰能突出?_zcash幣前景

假設有一個每天處理數百萬筆交易的貨幣支付系統。如果每一筆交易都透明可追溯,那才可怕。眾所周知,大多數交易所都要求其用戶通過KYC身份驗證,雖然經過身份驗證的交易者身份在網絡空間中不易獲得,但在某.

1900/1/1 0:00:00
ads