買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > Pol幣 > Info

區塊鏈:研究 | 如何通過委員會平均分配一個區塊的MEV?_區塊鏈域名交易平臺

Author:

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

來源|?ethresear.ch

作者|?frankdfr

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

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

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

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

證明

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

研究:穩定幣發行不會推高加密貨幣價格:金色財經報道,根據加州大學伯克利分校的Haas區塊鏈計劃資助的研究,穩定幣的發行不會推高比特幣或其他加密貨幣的價格。研究人員發現,穩定幣是投資者應對市場變動的工具,而不是價格上漲或暴跌的驅動力。他們對交易數據的分析表明,在風險或價格貶值期間,流量與使用穩定幣作為價值存儲的投資者是一致的。[2020/4/23]

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

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

分叉選擇規則

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

動態 | 愛爾蘭研究人員提出利用區塊鏈改善可再生能源交易的框架:愛爾蘭經濟和社會研究所(ESRI)提出了一個以不可替代的區塊鏈代幣形式遠期銷售可再生能源的框架。該工作文件提到了使用智能合約實時抵消代幣持有者的能源消耗,從而在分布式框架中有效地管理能源。該文件主要研究了物理網絡中能源生產者與消費者之間的電力遠期銷售問題,并指出:“未來交割的電力合約可在區塊鏈上進行交易。這些有關未來發電的權利主張可用不可替代的區塊鏈代幣體現,并以未來電力交付為基礎資產。因此,該權利要求書可以作為一個分布式電力市場中的區塊鏈應用的網絡物理遠期合約。”該框架旨在簡化能源分配網絡中復雜的相互作用。用于遠期交易的點對點框架可以在復雜的網絡中提供協調,并在向可持續發電廠轉移的過程中穩定收入。(Bitcoinnews)[2020/1/5]

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

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

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

動態 | 北京發布《關于推動北京游戲產業健康發展的若干意見》:支持區塊鏈等在游戲領域的應用研究:據新京報報道,12月14日,北京發布《關于推動北京游戲產業健康發展的若干意見》,《意見》自發布之日起施行。在科技融合方面,《意見》提出,要強化科技支撐,加強共性關鍵技術研究,支持大數據、云計算、人工智能、區塊鏈等技術在游戲領域的應用研究。[2019/12/15]

區塊提議的生命周期

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

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

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

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

聲音 | 中鈔區塊鏈技術研究院:數字法幣將開啟數字信托大發展:中鈔區塊鏈技術研究院最近發布了中航信托股份有限公司董事長姚江濤和浙江現代數字金融科技研究院理事長周子衡署名文章,其中表示數字法幣的發行與運行,將直接帶來數字金融的爆發性發展。其中,數字信托金融更將被優先啟動,從無到有,從小到大,從擔當數字金融重要的基礎設施之一到引領高精尖數字金融產業發展。文章表示,數字法幣不參與貨幣創造,不產生利息,需要啟動數字信托,以實現其投資功能;數字信托是數字法幣功能最佳的法律安排,并有助于形成數字法幣資金池,拓展與深化數字金融體系。[2019/8/23]

安全性

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

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

聲音 | 廣東省原副省長:應推進區塊鏈研究等系統重要性項目金融監管協調:據證券日報報道,廣東省原副省長陳云賢日前接受中國證券報記者專訪時表示,目前金融監管架構的最佳作用還尚未完全發揮出來,還需從五個方面強化金融監管協調,方能有效防范金融風險,實質推進金融發展。其中第五:應推進系統重要性項目金融監管協調。比如,人工智能、區塊鏈研究,“一帶一路”項目推動,粵港澳大灣區金融發展,系統性金融風險防范化解等。[2018/12/21]

激勵相容

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

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

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

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

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

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

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

共識穩定性

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

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

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

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

抗審查

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

Tags:MEV區塊鏈VIELOTMEVFREE區塊鏈域名交易平臺MovieblocLOTEU幣

Pol幣
數字貨幣:國際清算銀行CBDC現狀報告:涵蓋用戶需求、CBDC 設計和金融穩定性_INUBIS

作者|毛利五郎 10月1日,美國、歐洲、英國、瑞士、日本、加拿大和瑞典的各國央行聯合國際清算銀行BIS連發了3篇CBDC現狀報告,鏈得得為大家總結這3篇報告的主要內容.

1900/1/1 0:00:00
RES:科普 | 深入理解「拒絕服務」漏洞_ENT

1.前言 拒絕服務(DoS):DoS是DenialofService的簡稱,即拒絕服務,任何對服務的干涉,使得其可用性降低或者失去可用性均稱為拒絕服務.

1900/1/1 0:00:00
DAPP:如何理解藝術在NFT上的遷移?_DAP

元宇宙訪談第9期 內容導引元宇宙訪談進行到了第九期,我們邀請到了THiNGFOUND的創始人Pucs.

1900/1/1 0:00:00
cardano:Cardano創始人:Cardano新功能應被稱為“可編程驗證器”而非“智能合約”_CAR

據U.Today消息,Cardano創始人CharlesHoskinson今日在推特上表示,對于Cardano來說,“智能合約”這個詞其實并不恰當,并建議社區將其新功能稱為“可編程驗證器”.

1900/1/1 0:00:00
OLY:為什么我不做空加密市場?_RBI

有讀者說:當他認為趨勢很可能即將下跌時,不加杠桿,只做空,這樣可不可以?首先,我自己是不會做空的。當我估計趨勢會下跌時,我只會清倉離場,而不會做空,也就是俗話說“看空不做空”.

1900/1/1 0:00:00
TAL:春秋航空開通數字人民幣APP子錢包_幣智慧app最新版本

9月18日,據@上海長寧商務微信公號消息,近日,上海市數字人民幣首批試點單位之一春秋航空成功在數字人民幣App內上線“子錢包”,成為航旅出行行業接入數字人民幣App手機錢包的先鋒.

1900/1/1 0:00:00
ads