VIE:研究 | 如何通過委員會平均分配一個區塊的MEV？

來源|?ethresear.ch

作者|?frankdfr

原標題：《委員會驅動MEV均勻分配》

非常感謝JustinDrake、BarnabèMonnot、Casper和其他以太坊基金會研究團隊的成員對本文作出的有益評論和討論。Casper還直接主筆了文章的部分章節。

均勻分配MEV意味著減少每個驗證者所捕獲到MEV的差異，最終目的是盡可能接近均等地把獎勵分配給每個驗證者：質押者可以獲得與他們的押金成比例的獎勵份額，形式就像發行一樣。在我看來，這是我們可用的唯一最具影響力的共識級MEV均勻分配措施，嚴格來說比民主化更強大。關于這個提案的詳細原因和更多方面的探索可以參見這篇完整版文章，我將在下文多次推薦感興趣的讀者去閱讀(如果你想直接從那片文章看起，很歡迎，但請記住我的研究工作還在進行種)。

在下文，我將提出一種機制——試圖通過在委員會和區塊提議者間(這意味著提議者與委員會里的任何成員被平等對待，但這當然可以被改變)平均分配一個區塊的MEV，以實現MEV?的均勻分配。這樣做需要兩個元素——一個運作良好的區塊內容市場，如在《對區塊提議者/構建者分離友好的提案》里提到的，還有一些相對溫和的共識修改。

證明

鑒于存在區塊內容市場，我們假設在證明時間，每個委員會成員都能在規定時間窗口收到并有查看具有最高費用區塊的view視圖。具體來說可以這樣設想，委員會成員為vi，其驗證者索引為為i，其當前view顯示最高費用區塊為bi，最高費用為pi?.?vi會做出如下證明：

利物浦大學擬構建首家基于元宇宙和區塊鏈技術的國家數字遺產研究中心:金色財經報道，利物浦大學虛擬工程中心 (VEC)宣布已獲得100萬英鎊投資，這筆資金用于建立英國第一個國家數字遺產研究中心并創建數字遺產生態系統和戰略，通過人工智能、區塊鏈和元宇宙等技術促進和發展文化遺產，利用數字技術來增進對文化和自然遺產的理解和保護。（liverpoolexpress）[2023/5/22 15:19:09]

如果下列條件都滿足，則對新提議區塊投票：a)區塊已經及時被提議，例如，在一個特定期限前它已經被vi收到了(現在是slot開始后的4秒)b)區塊基于在vi的view中前一個鏈頭的內容延展下去c)區塊支付了p，使得p≥pi否則，就對前一個鏈頭投票條件a)和b)與現在是一樣的，但我們增加了最高費用的條件c)。盡管如此，我們仍然基本上有兩個選項——區塊存在(blockpresent)vs區塊不存在(blockabsent)，除了如果一個被提議區塊的費用不是最高的，該區塊會被認為是不存在的。如我們在下文會看到的，實際的證明規則可以比這更復雜，但重點是我們可以通過添加條件c)能總是確保提議的是費用最高的區塊，并要求絕大多數已經發布的證明認為它是滿足條件的。如果支持的證明數超過前一個鏈頭的證明數，該slot應該會被跳過。

通過這種方式的證明，委員會本質上是試圖協調執行一種以牙還牙的策略(tit-for-tatstrategy)，懲罰不合作的區塊提議者，以達至長期的協作平衡。

分叉選擇規則

當前分叉選擇規則的運作是不允許這種策略的。它的操作對象是區塊，而不是(區塊，slot)對：對不存在區塊的投票實際上只是對前一個鏈頭投票。這意味著，正確地延展上一個鏈頭的區塊總會變成新的權威鏈頭，不管委員會如何投票。只有在提議者對鏈進行了分叉的情況下，證明投票才直接起作用。

中文在線：公司正在積極研究與知識產權保護區塊鏈的結合:10月19日消息，針對投資者向提問，“目前國際上NFT在數字應用品領域應用顯著。公司有無考慮將此技術應用于知識產權保護。”

中文在線公司回答表示，NFT是元宇宙中，構成虛擬現實沉浸式體驗的一個重要元素。NFT結合AR/VR、AI和其他新技術，可以作為元宇宙中產品的獨特載體，能呈現相當引人入勝的用戶體驗。由這些場景發展出來的NFT新經濟模式及生態系統，有很多創新及應用的空間。中文在線一直以維護知識產權保護為已任，走在維權的前沿上，于2018年起訴某公司涉嫌侵犯中文在線的作品信息網絡傳播權一案中，突破性的使用區塊鏈存證技術進行證據保全，革新了電子證據在民事訴訟中的使用形式，該案也成為了北京地區法院首次對區塊鏈存證電子證據認可，也可以說是電子證據作為獨立證據并被法院直接認可的國內第一案。公司正在積極研究與知識產權保護區塊鏈的結合。（同花順）[2021/10/19 20:40:29]

我們需要的是，只有當一個區塊得到大多數已發布證明時，該區塊才會變成新的鏈頭。基本上，我們需要一個提議區塊與一個空塊競爭。在下圖，B在slot1被提議，它前一個區塊是A，但它獲得的證明少于它的競爭區塊，這樣權威鏈就變成包含空slot1的鏈。

更正式地說，我們可以把(區塊，slot)對作為競爭證明目標來看：

區塊鏈項目Vega正在研究DEX流動性激勵解決方案:區塊鏈項目Vega正在構建一個去中心化協議來運行可編程金融市場的基礎設施。7月8日，Vega發布其研究報告《基于市場的激勵交易所流動性供應機制》。低流動性是去中心化交易所（DEX）的一個主要已知問題。在其報告中，Vega介紹了一種改進的解決方案，該方案使用可持續和高度可擴展的流動性市場機制，該機制優化了流動性和低交易成本。Vega最近與7個創始成員一起啟動市場和流動性計劃，以進一步探討這些概念，并為預計今年晚些時候發布的主網Alpha制定第一批流動性市場制定社區主導的提案。（Businesswire）[2020/7/9]

(區塊，slot)式證明已經被多次討論，最終總是決定不采用它們，因為它們會對活性造成硬性延遲的限制。在目前的參數下，它們會造成任何在四秒內(證明時限)無法得到50%證明投票的區塊被跳過，因此在糟糕的網絡條件下活性會受到威脅。我們可能可以采用另一種設計，避免接上延遲的和非費用最高的區塊來緩解這個問題，但還存在一些權衡(這些都會增加問題的復雜性)。我將在全文的最后詳細討論這些問題，但請記住，這都只是這個階段的初步想法。

區塊提議的生命周期

為了全面了解區塊是如何進入權威鏈的，讓我們集中在區塊構建者/提議者分離方案這個具體版本吧，特別是文章的第一個想法。步驟基本是相同的，除了我們需要給構建者的區塊頭添加一個期限，以給證明者在評估最高費用時提供參考。沒有了期限，就可以一直發布有高費用的區塊頭，這些區塊頭可能會因為出現得太遲而不被提議者看見和選擇，但仍然會導致證明者查看最高費用的view更新。

研究：在過去三次美聯儲降息中 比特幣的表現表明其不是避險資產:The Block研究表明，在過去的三次降息中，比特幣的表現表明它不是避險資產。2019年，美聯儲三次降息，目前為175個基點。研究發現，在這三次降價中，比特幣的價格沒有任何明顯的回升。相反，其在1周、1個月和3個月的滯后的中位數回報率分別為-5.0％，-20.9％和-11.0％。 The Block的分析表明，降息與比特幣價格走勢無關。因此，它不太可能在下一次降息期間上升。[2020/3/2]

這個過程看起來像這樣，每個步驟間有延遲，證明者會被要求在期限內做證明：

區塊頭期限：構建者在這個期限前發布區塊頭。證明者接受在期限后發布出來的區塊頭，但他們在看最高費用時不會考慮這些區塊。這個期限可以與之前的slot重合。提議期限：提議者在這個時間前發布它對區塊頭的選擇。區塊主體期限：被選區塊構建者在這個時間前發布區塊主體對應的被選區塊頭證明期限：證明者最遲在這個時間發布它們的證明請注意，這個構建者/提議者分離方案的特定版本需要修改它自己的共識，有三個證明選項：

區塊提議不存在區塊提議存在但交易捆主體不存在區塊提議存在且交易捆主體存在盡管如此，正如已經預期到的，我們的均勻分配方案所需的變更可以直接加在上面，再次把“區塊提議存在”等同于之前確定的a、b、c三個條件(即添加條件c到第二、第三個證明選項)，如果全部發布了的證明中絕大多數都投了“區塊提議不存在”，那么該區塊就會被跳過。

安全性

在給證明過程引入新內容時，一個直接的憂慮是攻擊者是否可能試圖操縱證明者的view來產生不良結果。特別是，讓我們想一下委員會成員的最高費用view會與實際情況有什么差異情況：

聲音 | Coinmonks研究者：MakerDAO治理系統存在漏洞:來自Coinmonks的研究者Micah Zoltu日前披露了MakerDAO治理系統存在的漏洞，其表示任何擁有約40000 MKR（約2000萬美元）的人，都可以竊取Maker DAO的所有抵押品，包括DAI、SAI以及來自Compound、Uniswap以及其它Maker集成系統的大量資產，共計超過3.4億美元。目前，Maker基金會已發布了緊急公告，稱會通過修改治理規則修復這一問題。[2019/12/10]

View>現實：在沒有區塊頭期限的情況下，使用這篇文章的想法來執行攻擊當然是可能的——通過在某個時間發布一個有高費用的區塊頭，這樣超過50%的委員會成員都會及時看到，但提議者不會看到，這就會導致區塊被拒絕。當區塊頭有期限時，該期限早于提議時間的時間差是充足的，這個攻擊向量就不再可行，且需要有延遲發送信息給提議者的能力。這種攻擊的失敗成本也很高，因為提議者及時看到區塊頭就不得不支付這筆高費用了。最后，即使攻擊者可以精準找到特定提議者，并使得他們延遲接收信息，如果提議者是通過一個單一秘密領導者選舉選出的，攻擊者也無法執行這樣的攻擊。View<現實：當提議者是誠實時，那些收到最高費用view是低于實際情況的證明者無論如何都能證明投票。他們唯一可能犯的錯誤是給一個非最高費用區塊投票。對于一個非最高費用區塊，顧名思義，肯定存在一個區塊頭有更高的費用，因為我們是通過區塊內容市場來確定最高費用區塊的。這還意味著，存在一個最高區塊區塊的構建者，他希望看到該區塊被發布，因此想要有盡可能多的委員會成員及時接收到它的信息，由此避免競爭的非最費用區塊成為干擾選項。我們依靠這種構建者的自利傾向來確保委員會成員不會看到非最高費用區塊的信息，起碼在攻擊者對網絡延遲沒有太多控制的情況下。

激勵相容

我們的主要憂慮不在于對委員會成員view的潛在操縱，而是這個機制是否激勵相容。最關鍵的是，委員會成員不對非最高費用區塊投票，和防止惡意區塊提議者獲得多于公平份額的MEV這兩點是否激勵相容？

以下是我認為這個方案實際上是長期激勵相容的原因：

?正確參與這個方案的長期結果是，MEV或多或少更均勻分配了，比目前的情況公平多了。對于足夠大的質押池來說，這個方案與現狀無異，因為在短期內，鑒于他們獲得提議機會的頻率，他們已經獲得獎勵分配的平均值。對于其他人來說，這要優于現狀，因為他們很可能比以前賺更多，盡管他們會犧牲一些獲得高漲幅的低概率機會(請看完整版本，了解詳細的獎勵均勻分配后與沒有均勻分配的對比分布圖，以及這個方案是如何影響多方參與者的)。

?把區塊提議者與委員會間想成單個區塊博弈，委員會被視為單個玩家，而提議者先行動。叛變等于不遵循協議。對于提議者，叛變是提議一個非最高費用的區塊，且給他們不適當的MEV份額。對于委員會，叛變是接受一個非最高費用的區塊，或未能接受最高支付額的區塊。以下是這個博弈的回報矩陣

在這個單一區塊博弈里，提議者的主要策略總是叛變，因為委員會總會傾向于得到一些東西而不是一無所獲，也就是說會協作。另一方面，在重復博弈的形式中，委員會可以采用以牙還牙的策略，這對應于誠實投票和懲罰不遵循協議的提議者。從長遠來看，這能確保達至協作平衡。此外，讀者可以看看完整版中“Short-termconsideration"的部分，大型質押池的委員會成員有非常不一樣的回報矩陣，與提議者合謀叛變的回報是非常低的，甚至是負的。

?這個博弈當然把情況簡化了。在現實，委員會不是一個實體，且實際上里面的一些驗證者會經常與提議者分利益(至少任何時候提議者都屬于一個足夠大的質押池，這種情況發生的概率與提議者在這些質押池的質押份額成比例)。此外，一個驗證者在一個區塊是委員會成員，隨后在另一個區塊可能就是區塊提議者，因此參與者實際上兩個角色都扮演。

盡管如此，采用一個提議者友好的長期策略只是為了維持現狀，就如之前提到的，希望在獎勵上不會特別對誰有利。大型質押池的確受益于現況，因為他們有能力獲得獎勵的平均水平，而這就給了它們吸引質押的優勢，但從另一個角度看，促進質押去中心化對整個以太坊生態來說只會產生積極影響，還會增加各質押池都在競爭的押金的總價值。此外，以一種容易歸因的方式破壞協議很明顯會帶來聲譽成本，特別對于大型質押池來說，以及當機制是以公共利益為導向的時候。

共識穩定性

目前的分叉選擇規則和這個方案提出的分叉規則都容易受51%攻擊，不同點在于在這個方案里，聯合51%的驗證者就可以投票否決少數人支持的區塊，盡管當前，說服少數人加入大多數人的鏈需要一些時間(這對最終實現最終敲定是必須的)。因此，我們只應該擔心那些適應性很強的攻擊者會造成共識不穩定，盡管他們不能控制51%的押金但可以嘗試控制某些委員會。

目前，委員會不會從區塊內容獲取價值，而僅通過協調共識過程來獲取。因此，除了提議者(無論質押了多少押金)之外，沒有人有理由通過分叉來竊取MEV。從上一個區塊竊取MEV需要與提議者串通，以賄賂其他證明者，且在沒有網絡攻擊的情況下，在兩個委員會(包括受賄的成員)里的敵對總占比必須加起來是它們的2/3。另一方面，在這個方案里，控制兩個委員會的51%就夠了，因為第一個區塊現在可以直接被跳過，而委員會成員可以有個人動機嘗試分叉，以竊取MEV，因為它們會分到利益。盡管如此，這個情況仍然可以說是更優的：

?最重要的是，大型質押池的提議者沒有通過分叉竊取MEV的動機，因為他們控制的份額與每個委員會一樣，因此在每個區塊獲得的獎勵是相同的百分比(在相當嚴格的范圍內，即使對于只控制個位數比例押金的提議者也如是)。由于大型質押池是最強大的行動者，且可能進行協作，因此抑制它們攻擊可以說是最重要的一種防御。

?如果提議者是獨立驗證者，或某種程度的小額質押者，它們可能想捕獲上一個區塊獎勵的一定份額，因為它們沒有收到任何獎勵。另一方面，一個小到無法參與分獎勵的質押者實際上也沒有成功分叉的能力。它們基本上在委員會沒有影響力，因此需要說服別人。質押池是尤其難以被說服的，因為同樣的原因它們不會去分叉，而且在沒有任何聚集大量押金的支持下去分叉是難以想象的。很多其他獨立驗證者可能有動機去分叉，但是能賄賂大量的小型質押者，使他們聯合起來也是難以想象的。

抗審查

區塊內容市場可能非常中心化，而且似乎很可能會這樣發展。無論如何，我們都無法控制它是否如此發展。這樣一來，抗審查會非常依賴于這樣的假設——在有需要的時候，有利他主義精神的提議者會挺身而出，使用他們選擇區塊的自由裁量權來擊敗審查，例如通過構建他們自己的區塊。但在均勻分配MEV的方案里，這是不可能的，因為它執行的是MEV最大化，因此我們需要探索其他解決方案。我在完整版文章里我已經開始這樣做了，請看”通過分離交易打包和排序來抗審查“章節。我決定不在這里贅述了，文章在這里要結尾了，而且這個想法可能還存在問題，但總的來說，我們可以讓提議者在slotn-1挑選一組交易在slotn打包，且不會讓它干擾均勻分配機制。

Tags：MEVVIESLOTLOTmev幣圈VIEWSLOT幣Lotto Nation

Bitcoin