比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > 非小號 > Info

以太坊路線圖的實施進展速覽_MEV

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必須就其行為方式達成一致。

Frax Finance將推出以太坊Layer2網絡Fraxchain:6月16日消息,穩定幣協議Frax Finance官方表示,將推出名為Fraxchain的以太坊Layer2網絡,該網絡將致力于創建一個智能合約平臺,重點關注去中心化金融領域,所有Frax資產都將在Fraxchain上得到原生支持。

Frax Finance聯合創始人Sam Kazemian透露,frxETH將用于支付Fraxchain上的Gas費用,Fraxchain很可能在今年年底推出。[2023/6/16 21:42:34]

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

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

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

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

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

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

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

潛在候選方案:Horn;?

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

通往SSF的路徑;?

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

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

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

6、秘密leader選舉

以太坊L2協議Optimism將推出新一代故障證明方法Cannon:3月10日消息,據官方博客,以太坊L2協議Optimism宣布將推出新一代故障證明方法Cannon,與現在在L1上的整個交易中重新運行EVM的故障證明設計不同,Cannon只需要在鏈上執行單 minigeth MIPS指令,可以實現EVM等效性。另外,Cannon也可以實現理論上的最低calldata gas成本。[2022/3/10 13:48:18]

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

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

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

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

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

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

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

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

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

EIP-4844實施時間表概述?;

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

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

Rollup有限的輔助輪;

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

Circle向以太坊網絡新增發1,514萬枚USDC:據DAppTotal穩定幣專題頁面數據顯示:11月07日10時44分 ,USDC發行方Circle向以太坊網絡新增發1筆價值1,514萬美元的USDC, 塊高度為:11207668,交易哈希值為:0x97e1afe5f195cfb9436dccce93fe72a99804e4977982c228b15256893b9c6375 。截至目前,Circle在以太坊網絡上的ERC20 USDC總發行量已達2,896,130,274枚。[2020/11/7 11:55:03]

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

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

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

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

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

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

二、TheScourge

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

相關鏈接:

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

關于MEV的各種推特帖?;

關于MEV和PBS的文章?;

關于PBS的鏈接列表?;

已經完成了什么

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

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

Paxos向以太坊網絡新增發1061萬枚PAX:據DAppTotal.com穩定幣專題頁面數據顯示:10月21日01時04分 ,PAX發行方Paxos向以太坊網絡新增發1筆價值1061萬美元的PAX, 塊高度為:11094244,交易哈希值為:0xe5368110a8b389343e3aab6096fe066536c9a7070d9345973a6106feb0b15b7b 。截至目前,Paxos在以太坊網絡上的ERC20 PAX總發行量已達323,437,173枚。[2020/10/21]

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

下一步是什么

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

包含列表注釋?;

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

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

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

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

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

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

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

分布式builder軌道

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

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

動態 | 以太坊雷電網絡僅有35個公開通道 Layer2冷啟動或面對困難:近日,在以太坊社區中有人提出知名Layer2項目雷電網絡用戶寥寥的問題。雷電網絡的瀏覽器顯示,目前其公開通道僅有35個。針對此問題的社區討論,以太坊創始人Vitalik認為一切需要規模效應的應用的普及都會遇上這種困難,以太坊基金會已經在和眾多Layer2項目溝通,以促進一種通用性Layer2標準的誕生。(區塊律動BlockBeats)[2019/12/30]

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

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

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

以下是一些相關鏈接:

談合并后的區塊構建?,其中提到了去中心化的區塊構建;

談談去中心化區塊構建者;?

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

三、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以太坊和瑞波幣在中國合法嗎MARK價格MEVR價格lunar幣深圳

非小號
金色Web3.0日報 | Immutable X協議上線NFT報價功能_CHE

DeFi數據 1、DeFi代幣總市值:392.78億美元 DeFi總市值及前十代幣數據來源:coingecko2、過去24小時去中心化交易所的交易量25.

1900/1/1 0:00:00
區塊鏈吹響進軍的新號角_tron

文/孟永輝 當區塊鏈開始在越來越多的場景里出現,我們看到的是,一場區塊鏈與行業深度融合的開啟。在這樣一場深度融合里,區塊鏈不再是一個孤立的、封閉的存在,而是變成了一個開放的、共生的存在.

1900/1/1 0:00:00
Solana還能走多遠 為你厘清Solana與FTX糾葛始末_OLA

FTX崩盤至今,余波尚未平息。曾經被認為是以太坊殺手的Solana受其牽連,也走向了懸崖邊緣。Terra與LUNA的同時崩潰尚可理解,FTX和Solana這兩個看似獨立的項目究竟有何羈絆?Sol.

1900/1/1 0:00:00
安全事件頻發 從Solana躺槍 看未來公鏈發展格局_OKC

原文來源:0xTree 加密行業因構建了「信任」機制備受追捧,也因「信任」問題而陷入危機。這種信任危機不僅來自系統性風險,還有人為因素.

1900/1/1 0:00:00
做空Curve、USDT 攻擊Mango Eisenberg何許人也_SEN

原文標題:WhoisAvrahamEisenbergandwhyishealloverCryptoTwitter?原文編譯:Leo,BlockBeats11月22日.

1900/1/1 0:00:00
Web3 項目如何設計成熟的商業模式和代幣經濟?_區塊鏈

原文標題:《MaturityforasuccessfulnextWeb3cycle:AcaseforTokenEngineering》作者:AchimStruve.

1900/1/1 0:00:00
ads