MEV現在是一個熱門話題,我一直在盡可能多地學習,并試圖了解不同的解決方案以及它們在實施過程中面臨的各種問題。這是一個值得思考的領域,從長遠來看,這顯然對無許可區塊鏈系統的成功而言是至關重要的。
為期8小時的MEV.WTF峰會以及HackMoney的圓桌討論很吸引人,但老實說,有很多東西需要我們消化,我需要重新觀看這些會議內容。
在進入正文之前,我認為應該定義的與加密相關的一些術語是SGX、timelock時間鎖加密以及閾值解密。SGX代表SoftwareGuardeXtensions,這是一個提供硬件內存加密的指令集,其中特定的代碼和數據被隔離在「飛地」中,它們可以在不暴露于外部代碼的情況下運行。timelock時間鎖加密,是指加密某些東西直到某個時間戳,然后就可以實現解鎖。而閾值解密這種機制,是指達到某個閾值的密鑰共享者簽名后,即可解密一條消息。
最后,我將談談我從峰會內容中收集到的關鍵要點,但從始至終,這篇文章的觀點都不是我自己的,它們只與演講者的觀點以及他們演講的內容有關。
概念總結
MEV是區塊生產者/提議者能夠通過使用其在網絡中的角色權力來獲取的利潤。
我們現在生活在一個MEV世界,無論我們喜歡與否,MEV都不會消失。無需許可的區塊鏈系統,尤其是受智能合約操作影響的復雜狀態空間,需要一定數量的MEV才能正常工作。在下面的討論中反復出現的一個主題是,我們應該盡量減少對系統而言不是基礎部分的MEV,并使其余部分MEV民主化。
最小化和民主化MEV的工作與系統和應用程序開發人員都有關。系統開發人員無法在實驗中快速移動,但確實需要為應用開發人員提供處理鏈上MEV的工具。
BNB Chain驗證者和項目正討論將MEV集成到BSC網絡中:6月16日消息,BNB Chain在推特上表示,BNB Chain驗證者和項目正在討論將MEV集成到BSC網絡中,一些驗證者以各種格式試行MEV。社區編寫了一套相關的指導方針,有待討論,正在收集反饋。
根據該指導方針,”BSC MEV執行原則“提出并闡明了一套原則和指南,用于在BNB Smart Chain(BSC)網絡中進行最大可提取價值(MEV)操作,旨在確保此類操作不會損害用戶體驗或操縱用戶以獲取價值,處理交易優先級等具體做法強調用戶與BNB生態系統之間公平與效率之間所需的平衡。[2023/6/16 21:42:05]
以下是MEV峰會的部分核心內容:
MEV的演變:CharlieNoyes(Paradigm)
MEV是一種衡量區塊生產者通過重新排序或審查交易所能獲得利潤的度量,它存在于任何不能證明其自身一致性的系統中。2014年pmcgoohan首次提出了MEV的概念,而PhilDaian于2019年通過《Flasboys2.0》這篇論文推廣了MEV的概念。
現在,我們生活在MEV的時代。這是什么意思呢?礦工最終可能會串通起來,應用程序設計必須考慮到MEV的變化,一些系統將失敗,而且很可能由于時間盜賊攻擊,短期重組的頻率會增加。這些是區塊鏈的重組,實施這類攻擊的參與者可以獲取到MEV。
PhilDaian(Flashbots)-加密經濟學何時崩潰?
Flashbots意識到其給生態系統帶來的中心化點的問題,并認為解決方案是一個去中心化的「公平、實時的市場」,其中公平的特征定義是:交易前隱私、垃圾交易抵抗,以及激勵措施與以太坊網絡的穩定性保持一致。Flashbots可通過刪除這些信任元素來實現升級,但仍然存在一個問題,什么是足夠好的去中心化?這始終存在著權衡,但一個好的框架是:對礦工、機器人以及用戶的系統沖擊具有魯棒性,對拜占庭運行者在一定閾值內具有魯棒性,對于理性自私運行者更高的閾值具有魯棒性。
dYdX:將分配資源用于構建針對v4版本的MEV解決方案:金色財經報道,dYdX官方發文討論了v4版本及MEV相關問題。文章指出,dYdX v4版本的完全去中心化和高性能的內存訂單簿可能會導致MEV問題。不過,與用智能合約環境不同,Cosmos基礎設施使得dYdX能夠構建獨特的MEV解決方案,使驗證者的激勵與用戶的激勵保持一致。dYdX正在積極致力于研究和構建這些解決方案,并計劃為此分配大量資源。[2023/3/30 13:34:16]
在一個中繼后的世界中,我們必須意識到各種風險,例如信任崩潰/螺旋式、可否認攻擊形成的貓和老鼠游戲,持續數據的需要、Eth堆棧中的主要中心點,以及中繼提供商的吸血鬼token。
AlejoSalles(Flashbots)-EIP-1559之后的MEV
礦工激勵-礦工是否會被激勵提取更多MEV?但首先,他們會「切換鏈」嗎?
EIP-1559設計是在沒有考慮到MEV的情況下完成的,它假設用戶是為交易納入而競價,而實際上我們現在是在為排序、隱私等在競價。
使用一個網絡變化所需特征的框架,我們研究了短視礦工激勵兼容性、用戶激勵兼容性,以及鏈下抗私通性。該框架將用于評估EIP-1559以及只使用基礎費用的無tip費用模型。
Flashbots道德準則:目前以太坊網絡有85%的算力是通過MEVgeth客戶端運行的,這為系統引入了一個新的中心點。如果Flashbots填充的大小僅達到s0(1-e)怎么辦?返回利潤所需的未填充區塊的數量是多少?
MEV分配協議Rook發起解散DAO并將國庫資產分配給治理Token持有者的提案:3月27日消息,據相關頁面信息,MEV 分配協議 Rook 的社區發起解散 DAO 并將國庫資產分配給治理 Token 持有者的提案。提案指出,由于 Rook 協議存在產品開發滯后,使用率下降、團隊高額薪酬支出(每年約 610 萬美元)以及治理機制缺乏對 Token 持有者的保障等問題,提案提議解散 DAO 并將國庫資產按比例分配給治理 Token ROOK 持有者。
該提案若通過,按目前國庫資產 4400 萬美元計算,預計每枚 ROOK 可獲得約 54.9 美元收益。[2023/3/27 13:29:08]
圓桌討論:MEV和互操作性:Rollup、跨L2和跨鏈
圓桌嘉賓:
JohnAdler(Celestia)
EliBen-Sasson(Starkware)
EdFelten(Arbitrum)
BenJones(Optimism)
ZakiManian(iqlusion)
問題1:在實現中如何處理跨域通信?
BenJones:L1是事實的來源,所以它為鏈間的運作提供了通信。Optimism使用了一個降低版的L1模型,其中L1上的智能合約或帳戶指定最終包含在Rollup中的數據、目標以及Gas限制。在L2上有一個opcode操作碼,其允許你訪問L1上發送它的用戶。你可能在L2上用完了Gas,而在L1上卻不知道這件事,因此向開發人員公開的附加消息傳遞,保證了它最終會被接受。
Alpha Homora用戶因MEV機器人損失40ETH,項目方將全額賠償并修復問題:10月23日消息,跨鏈 DeFi 協議 Alpha Finance Labs 表示歷史上共有 20 個地址在使用杠桿挖礦協議 Alpha Homora V2 的時候,因為交易被 MEV 機器人發現而損失總共 40.93 ETH。Alpha Finance 表示將以 ALPHA 代幣的形式全額賠償這些損失。對于該問題,Alpha Finance 認為是 Uniswap V2 的智能合約有隱含假設(implicit assumptions),這些假設未在合約層面上明確說明,所以他們認為這會導致滑點未被檢查。Alpha Finance 表示會修復該問題,在交易時進行檢查,所以這些情況將不再發生,安全審計機構 OpenZeppelin 和 Peckshield 也已經確認了該修復方案。[2021/10/23 6:09:30]
EliBen-Sasson:所有通信也是通過L1完成的。我們正在做其他事情,但我還不能談論它。
EdFelten:我們有一種通用機制可以將合約調用從一個域發送到另一個域。你知道調用會運行,但無法知道結果,因為域是異步的。由于跨域同步的復雜性,異步對于Rollup來說是必要的。
JohnAdler:Celestia是關于通用數據可用性吞吐量的,并且它不會執行交易,因此沒有資產橋)。應用程序要定義自己的跨域通信機制。
ZakiManian:IBC是一種用于區塊鏈的異步數據包消息系統,其具有快速確定性,并且對于鏈或中繼器活性方面的中介故障具有耐受性。
F2Pool魚池ETH挖礦支付已包含Flashbots MEV收入:官方消息,F2Pool魚池近期完成了Flashbots的技術測試與部署,并已于4月14日開始將Flashbots產生的MEV(礦工可提取價值)收入添加至ETH挖礦收入支付中。[2021/4/20 20:39:36]
問題2:除了token橋之外,還有其他應用會使用跨域通信嗎?
希望存在于多條鏈上的應用;
運行鏈下計算以開拓DApp設計空間;
跨鏈賬戶,指整個區塊鏈可在另一條鏈上擁有賬戶;
問題3:跨域MEV是否有不同的具體方式?
套利機會的組合爆炸;
不同排序機制之間的相互作用;
L2內部通信不依賴于L1狀態和終結性,因此限制較少,從而開辟了新的MEV;
MEV沒有被銷毀,而是被移動并分餾到不同的Layer層;
問題4:誰的工作在減少MEV,是系統開發者還是應用開發者?
盡管大家都承認這是一個哲學問題,但每個人都同意MEV與系統開發者和應用開發者都有關;
系統設計需要公平假設的普遍性,因此不能涵蓋一切;
并非所有DApp開發人員都會關心網絡的最大利益,他們的工作就是賺錢;
系統開發人員需要為應用開發人員提供MEV工具,以用于設計他們的DApp;
SunnyAgarwal-MEV分類和確定潛在解決方案
MEV的權力通常被視為交易的包含和排序,但由于Flashbots中繼的原因,現在還包含了讀取提交的交易。
它還可以包括時間戳操縱,例如使用區塊時間戳作為隨機性源的抽獎。解決該問題的一種方法是BFT時間,其中區塊時間是驗證器提議的時間戳的加權中值。
一個解決方案是,交易可以在mempool存儲池中加密,并在排序完成后解密。這可以通過受信任的硬件來完成。閾值加密似乎提供了最少的權衡。
交易包含問題的解決方案可以是聯合提案,其中驗證者投票支持包含交易,而區塊生產者/序列器必須包含投票的列表。
關鍵的一點是,我們需要將權力分散給區塊生產者,并意識到不同緩解措施之間的權衡。
Hasu(Paradigm,UncommonCore,DeribitInsights)-匯總MEV解決方案
MEV是區塊鏈中無許可激勵的總稱,其可按先到先得的原則提取。一些MEV對生態系統而言是有利的,而其他類型的MEV則是負面的,我們應該盡量減少它們。
迄今為止,MEV的主要影響是給以太坊網絡的用戶帶來了經濟損失。以太坊上70%的Gas是用于DEX交易,由于在優先Gas拍賣中為MEV進行競標,這造成了更高的交易成本。此外,由于三明治攻擊,DEX交易者最終成交價格的會變差。
我們的目標應該是盡可能地減少MEV,同時使我們不能減少的MEV變得民主化。最小化可以在堆棧的每一層中進行。在共識層,公平排序和隱私實現可以嘗試最小化。在P2P層中,有無Gas交易緩解措施以及mempool隔離方案。在應用層中有dex聚合器、backrunning即服務以及鏈外排序。
可以做的一般改進是更集中的流動性以及更多地使用DEX聚合器,但這還不夠。另一個想法是一個AMM池,其拍賣每次套利的權利,并將其返還給流動性提供者或用戶。
我們需要盡量減少我們所能減少的MEV,并民主化對網絡和DApp而言是基本要素的MEV。而相關創新必須發生在堆棧的所有層上,因為MEV存在于堆棧的所有層中。
LakshmanSankar-MEV是需要解決的問題還是需要接受的現實?
該演講的題目是一個反問句,顯然MEV即是需要解決的問題,也是我們需要接受的現實。同步區塊空間是一種稀缺資源,區塊鏈會選擇以不同的方式處理MEV,因此一個多鏈世界是不可避免的,鏈間MEV也是如此。
由于異步區塊鏈組中不同鏈的區塊之間的時間延遲,跨鏈MEV是概率性的而不是確定性的。不同的區塊鏈也將具有不同的公平標準,因為它們具有權衡偏好的差異。
這些權衡存在于所有緩解技術中。公平排序在可信預言機或鏈上隨機源中增加了假設,時間鎖加密增加了協議層的延遲。對于不同的應用程序集以及不同的區塊鏈,不同的權衡可能是最佳的。
總結
好吧,我想這些內容已經足夠了,實際上這次大會還有很多的東西可以去學習,我不想讓大家的大腦超負荷。本文是對后面的一些討論的一個很好的介紹,而這些討論開始變得更加技術化。
我從峰會的前兩個部分收集了一些重要的信息。首先,有一個反復出現的主題,即某些MEV是網絡的基礎,我們需要意識到我們必須同時最小化和民主化MEV。另一點是,每一種緩解技術都有特殊的權衡和實施挑戰。
如果交易內容是時間鎖加密的,直到在概率上合理地假設已達到了排序的最終性,那么交易就不能被搶先進行。盡管如此,這會在該假設的時間窗口引入網絡延遲,并且加密的mempool交易通常無法解決重組MEV問題。
閾值解密可通過非區塊生產者驗證程序投票要包含的tx來實現,其中當驗證程序閾值對解密和包含最終性相同時,內容就會被解密。
在某個時刻,SunnyAgarwal直截了當地說,關于mempool中的加密事務,會發生一些神奇的事情,這些事務后來會被解密。我不喜歡那種魔法棒般的加密方式。實現細節對這些系統至關重要,例如,你可以閱讀一下關于非對稱Zcash交易Ping拒絕攻擊的例子。我們得到的結論是,這些解決方案實現的時間和行為可能會打開一些漏洞,而這些漏洞是我們在弄清楚細節之前無法察覺的。
總而言之,我在回顧了3遍MEV峰會演講視頻后學到了很多東西,查到了我曾經不懂的東西,然后寫下這篇文章來組織我對MEV的想法。我將在不久的將來寫寫另一部分關于MEV的內容,并對我過去幾個月瘋狂的學習進行一個總結。
原文標題:《MEV.WTFSUMMITSUMMARYPT1》
原文作者:Nymph
原文題目《揭穿常見的比特幣神話》注:本文最初發表時間為6月28日,譯者認為文章是對前段時間TheBWorld線上峰會的造勢。比特幣誕生12多年后,仍在努力獲得廣泛的機構認可.
1900/1/1 0:00:00編者按:6月15日,中國人民大學重陽金融研究院高級研究員、北京航空航天大學教授,北航數字社會與區塊鏈實驗室主任蔡維德,在人大重陽主辦的“新型貨幣戰爭的科技、市場、監管”系列直播活動第九講中.
1900/1/1 0:00:00最近有人在討論礦工是否可能采用一個還不存在的、修改過的以太坊客戶端,主要為了使礦工可以接受賄賂,對區塊鏈進行短程的重組(創造這種賄賂的主要用例是攻擊DeFi協議).
1900/1/1 0:00:00據彭博社周一早間報道,美國官員正在調查穩定幣運營商Tether的高管是否存在銀行欺詐行為。根據該報告,美國司法部正在調查Tether是否向銀行隱瞞了與加密貨幣有關的交易,這是三名直接了解此事人士.
1900/1/1 0:00:00Aave創始人StaniKulechov在推特上表示,在JackDorsey表示他正在開發一個新的以比特幣(BTC)為中心的金融服務平臺后,他的平臺應該建立“以太坊上的Twitter”.
1900/1/1 0:00:00用戶在以太坊區塊鏈中發現的主要用例之一就是無需中介即可在加密資產之間進行兌換的能力。去中心化交易所或DEX是用于此活動的平臺.
1900/1/1 0:00:00