以太坊:Vitalik Buterin：如何設計區塊提議者和構建者分離方案以應對 MEV？

區塊提議者和構建者分離是應對以太坊MEV的常見方案，VitalikButerin提出了兩種設計思路。

原文標題：《對提議者/區塊構建者分離友好的費用市場設計》撰文：VitalikButerin翻譯：ETH中文站

特別感謝JustinDrake和Flashbots團隊的反饋和討論。

對現在運行中的去中心化共識網絡的一個重大威脅是關于礦工可提取價值(minerextractablevalue)的經濟學，即從選擇下一個區塊內容的能力中提取利潤的復雜技巧。一個簡單的MEV例子是根據前一個區塊的價格變動在所有鏈上的去中心化交易所套利。盡管正常情況下PoS的獎勵是合理的、平均的，即單個驗證者的回報率跟強大的質押池是一樣的，但現在找尋復雜的MEV提取機會已經形成相當顯著的規模經濟了。10倍大的池子就有10倍的機會提取MEV，但池子也需要能夠在專有的優化上投入更多，以在每個機會里提取更多的價值。

除了這個問題以外，MEV也讓去中心化的質押池變得更復雜，因為在去中心化質押池里，打包交易和提議區塊仍然需要由一個實體來完成，他們可以輕易地秘密提取MEV，而不在池里分配這些收入。

最為人所知的是解決方案區塊提議者(proposer)/構建者(blockbuilder)分離。不同于區塊提議者自己生成一個收入最大化的區塊，他們依賴一個市場，這個市場由外部的區塊構建者組成，他們生成包含完整區塊內容和給區塊提議者費用的交易捆，然后提議者選擇包含最高費用的交易捆。這樣，區塊提議者的選擇就被簡化為選擇費用最高的交易捆，這可以由一個簡單算法實現——在一個去中心化池里，它甚至可以在MPC(多方計算)里完成，以防止作弊。

Vitalik聯合發表《區塊鏈隱私和監管合規：邁向實際平衡》論文:9月6日消息，以太坊聯合創始人 Vitalik Buterin 同 Chainalysis、巴塞爾大學等機構研究人員聯合發表名為《Blockchain Privacy and Regulatory Compliance: Towards a Practical Equilibrium（區塊鏈隱私和監管合規：邁向實際平衡）》的論文。論文研究了隱私池（Privacy Pools），一種基于智能合約的增強隱私協議。

論文討論了該協議的優缺點，并展示了它如何被應用來創建一個誠實用戶和不誠實用戶之間的分離均衡。論文的核心思想是允許用戶發布零知識證明，證明他們的資金（不）來源于已知（不）合法來源，而無需公開揭示他們整個交易圖譜。通過證明滿足某些屬性要求的自定義關聯集合中的成員身份，從而達到此目標，這些屬性要求由監管或社會共識所規定。這篇論文可能是朝著未來人們可以在無需披露整個交易歷史情況下證明符合監管要求方面邁出的第一步。[2023/9/7 13:22:27]

本文對如何實現這點提出了一些設計。

本文的想法非常直接地受2018年的這篇文章啟發：

《Optimisedproposalcommitmentscheme20》

提議者/構建者分離的區塊提議設計的所需特性

Vitalik Buterin：在以太坊上重新質押時需謹慎:金色財經報道，以太坊聯合創始人Vitalik Buterin表達了對以太坊共識機制超出其原始設計的過度復雜化的擔憂，特別是在重簽方面，重簽是Eigen Layer等公司正在開發的一種機制，它擴大了以太坊驗證者的責任，包括確保外部鏈的安全。他擔心，重新鎖定可能會引入影響網絡安全的風險。Vitalik Buterin表示，在以太坊上重新質押時需謹慎。[2023/5/22 15:18:50]

我們會專注的五大所需特性：

無須信任提議者友好性：提議者欺負區塊構建者的風險幾乎是零，因此區塊構建者沒有動機偏向鏈下有聲譽的或與構建者有個人關系的提議者(因為這有可能偏向大型質押池)。

無須信任構建者友好性：構建者欺負提議者的風險幾乎是零，因此提議者沒有動機偏向鏈下有聲譽或與構建者有個人關系的構建者(因為這有可能導致新進入市場的構建者不被選擇)。

弱提議者友好性：這個機制不應該要求提議者有(i)高帶寬或其他計算資源，或(ii)高技術水平

不可竊取的交易捆(bundle)：提議者應該不能接受由區塊構建者提議的交易捆，并從中提取交易形成自己的交易捆，從而阻止區塊提議者賺取利潤(并可能進一步傷害他們)

共識層保持簡單與安全：從共識層的角度，該機制應該保持安全性不變，最好與現有的區塊提議機制一起可以被同一個分析框架。

Gravity DEX開發團隊成立新項目Crescent:3月11日消息，開發流動性模塊Gravity DEX的B-Harvest團隊分拆成立了一個名為Crescent的新項目，正在尋求完全重構和擴展Gravity DEX。Crescent由Ignite Ventures資助，并與Ignite團隊合作支持Crescent項目。

Crescent已經公布了治理代幣CRE分配模型，總量2億枚，其中將向ATOM委托者（delegator）空投1億枚，另外1億枚作為戰略儲備。空投方面，5000萬枚CRE可在Crescent網絡啟動后推出Crescent DEX（DEXdrop）時索取，具體空投數量會根據二次空投系統確定，即按UTC時間2022年1月1日00:00快照時委托數量的平方根來決定，如果參與一些治理提案，能獲得通過固定乘數獲得更多獎勵；剩余5000萬枚將在一定時期內分配給使用Crescent Boost的ATOM委托人。[2022/3/11 13:50:06]

想法1

區塊構建者構建交易捆并發布這些交易捆的捆頭(bundlehead)。一個交易捆頭包含對交易捆主體(bundlebody)的承諾(預期的區塊內容)，給提議者的付款信息，以及構建者的簽名。

提議者選擇提供最高費用的交易捆頭(僅需要考慮交易捆的構建者實際上是否有足夠的余額可以支付)。他們對交易捆頭簽名并發布包含該交易捆頭的一個提議。

加密交易所Gravity被迫暫停BSV交易:金色財經報道，以BSV為中心的加密貨幣交易所Gravity在推特上發布公告稱，流動性提供商剛剛通知該交易所，由于幾家大型交易所禁止BSV存款和取款，他們也暫停了對BSV流動性的訪問，直至另行通知。這意味著用戶目前無法在Gravity上交易BSV。據Gravity稱，用戶的資金不會受到流動性問題的影響。[2021/7/14 0:49:49]

當看到有簽名的提議后，提供打包交易捆頭的區塊構建者發布完整的交易捆。

此時，分叉選擇規則能夠做出以下三個判斷中的一個(而不是平常的兩個，存在區塊vs.不存在區塊)：

不存在區塊提議

存在區塊提議但不存在交易捆主體

區塊提議和交易捆主體都存在

請注意，在第二種情況下，提議仍然會被打包到鏈上，區塊構建者給提議者的付款也仍會處理(但區塊構建者自己不會獲得任何費用或MEV)。

分析

五項特性中的三項是相當容易呈現的：

區塊提議者無條件接收承諾的付款，因此交易捆不能欺負提議者

三個步驟都非常自動化且低帶寬，因此這滿足弱提議者友好性

提議者不能看到他們要的簽名交易捆的信息，因此這滿足交易捆不可竊取性。

動態 | Vitalik提出加速合并以太坊1.0及2.0的替代方案，1.0系統將成為執行環境:以太坊聯合創始人Vitalik Buterin發布了一項在向以太坊2.0過渡中的合并以太坊1.0和2.0的替代方案。Vitalik表示，該方案旨在將整個PoW區塊鏈加速移向以太坊2.0的信標鏈，但該方案需要無狀態客戶端 (stateless clients) ，無需無狀態礦工和Webassembly語言，所以將減少需要完成過渡的配置。該方案的條件包括需要一個能夠實現支持驗證、見證區塊以及生成見證區塊功能的無狀態客戶端軟件。該方案的運營方式為，以太坊1.0系統將成為以太坊2.0的執行環境之一，但在最初可以成為以太坊2.0的分片之一。在該方案中，參與以太坊1.0系統的驗證人可以注冊為以太坊1.0的友好驗證人，將維護除了其信標節點外一個完整的以太坊1.0完整節點。[2019/12/26]

共識層特性和無須信任提議者友好性這兩點比較棘手。這個設計的確會改變分叉選擇機制，從兩個選項增加到三個，這意味著提議者將不再是這個機制里的最后一個行動者。理論上，人們可以推斷如果分叉選擇是可以做出決定的，那么這應該沒問題，但這仍然是一個具有潛在未知性的重大變更。

區塊提議者看不到交易捆的內容，并不能通過竊取交易捆欺負區塊構建者，但他們可以對區塊構建者發起一種更微妙的攻擊。他們可以在slot末發布提議，確保證明者(大概)能及時看到提議，但區塊構建者沒有足夠的時間發布交易捆主體，因此很有可能證明者來不及看到交易捆主體。這會給區塊構建者帶來風險，并等于鼓勵他們偏向值得信任的提議者。另外，這還給了惡意的大多數機會，重罰那些他們不喜歡的區塊構建者。

我覺得有兩套方法可以緩解這個問題。

證明者在他們接受提議的最長時間和他們接受交易捆主體的最長時間之間有2秒的延遲。如果你信任證明者，這基本解決了問題，盡管區塊構建者丟失資金的這個風險仍然存在。另外，還不清楚讓證明者以這種方式投票是否有激勵作用(雖然可以想象到會有人通過要求他們對一個2秒的可延遲驗證函數的提議做證明，強迫他們等待)

如果交易捆的主體沒有被打包，提議者只能獲得付款的一半(而區塊構建者只需支付一半)。這使得提議者的破壞行為成本很高，但它仍然確保區塊構建者破壞的成本也是高昂的(當兩種情況的成本都足夠高時，總的來說你就能信任即使是匿名行動者都不會想做破壞行為)。例如，如果一個交易捆的提議者費用是1，區塊構建者獲利1.05：誠實行為會帶來的構建者和提議者收益分別是0.05和1。提議者或證明者太遲發布，導致僅區塊頭被接受了，這樣構建者和提議者的收益分別是-0.5和0.5。

想法2

區塊構建者構建并發布交易捆頭。交易捆頭包含對內容的承諾、給提議者的付款、以及構建者的簽名。

提議者對他們看到的交易捆頭進行選擇，形成列表，并對列表組成的聲明進行簽名。

在看到該聲明時，被選的區塊構建者會發布相應的交易捆主體。

提議者在他們之前承諾的一列交易捆頭中選出一個并用它發布提議。

還需要一個新的罰沒條件，任何在同一個slot里提議不在自己承諾列表里的交易捆頭的提議者都會被逐出和被懲罰。

還要注意的是，在第2步里，提議者提交的交易捆頭列表也可以成為一個對交易捆頭進行加密的哈希值列表，其中哈希值都加密到區塊構建者的公鑰，因此只有構建者知道它們是否被接受了。這會減少DoS攻擊風險。

分析

同樣地，五項特性中的三項式相當容易顯示的：

提議者不能竊取交易捆，因為當他們已經把自己限制在一個有限的現有交易捆頭集里時，他們只能看到交易捆的主體。

當完整的交易捆沒有被打包前，構建者給提議者的付款是不可能成功的，因此提議者也無法在經濟上欺騙構建者。

共識特性保持不變，因為系統設定仍然是提議者作為機制的最后行動者，共識規則決定的內容沒有變更。

在這個情況里，更棘手的兩個特性是弱提議者友好性和無須信任區塊構建者友好性。對于這個方案的憂慮是惡意區塊構建者可以通過制造大量高交易費的提議攻擊提議者，但永遠不發布這些交易捆的主體。如果提議者對接受的交易捆數有上限，這種攻擊可以把所有合法交易捆排除在外，使得提議者沒有合法交易捆可以提議打包到區塊。如果提議者對接受的交易捆數沒有上限，那么可能會有無數個滿的交易捆主體(試想：每個500kB)發送給提議者，這將需要非常大量的帶寬。

解決這個難題的一個辦法是以某種方式對交易捆頭的提交進行速率限制，這不是一個硬性限制。

提交交易捆需要支付一定費用，通過類似EIP-1559的機制來調整到某個速率(例如，每slot8個交易捆)

成為區塊提議者需要押金(無論如何都是必要的，以確保提議者得到報酬)，同時還需要一條規則，如果你發布的交易捆沒有被打包，但一個更低價的交易捆被打包了，那么你在接下來的N個slot都無法提交交易捆。

只有在這種情況也會被扣費：你的交易捆沒有被打包，但更低價的交易捆被打包了，因為這種特定情況可能是你作惡了(或提議者作惡、或是網絡狀態不好)。

這方面有先例；之前的ENS競拍設有0.5%失敗者費用，以阻止有人在明顯不會贏的情況下出價，以迫使贏家支付更多。

但是，這些技術可能會引入對提議者的信任要求，因此他們需要謹慎處理，對打包交易捆失敗的懲罰不能太高。

一個替代方案是允許自由和無限制地發布交易捆主體，但限制主體在在網絡層廣播。一個簡單算法是：

為交易捆得以傳播添加一個稍微延遲的最短時間限制：交易價格最高的交易捆是0秒，第二高的交易是0.2秒，第三高的是0.38秒，一般來說對于第k個最高交易價格的交易困是2?秒。

增加一條規則：如果一個節點已經廣播了一個更高交易費的交易捆主體，它不能再廣播了。

這兩項技術可以結合在一起：你可以用一個低價費用來減少預期的交易捆數，比如每個slot50捆，然后使用像這樣的網絡層機制來進一步減少帶寬要求。

結論

到目前為止，我不明確是否唯有上述兩種方法能解決這個問題，可能還有其他。在這兩種方法里，想法(1)在概念上更簡單，但它會給區塊構建者帶來風險，也會引入更復雜的分叉選擇規則要求。想法(2)在分叉選擇和共識上更簡單，但在處理惡意區塊構建者帶來的DoS攻擊上有困難，且任何解決這個問題的方法都可抗產生其他問題，盡管可以想到將其最小化的方法。到目前為止，我仍然不確定哪一個更好。

來源鏈接：ethresear.ch

免責聲明：作為區塊鏈信息平臺，本站所發布文章僅代表作者個人觀點，與鏈聞ChainNews立場無關。文章內的信息、意見等均僅供參考，并非作為或被視為實際投資建議。

以太坊

以太坊

開放的分布式區塊鏈應用平臺，通過其專屬加密貨幣Ether以太幣提供去中心化的虛擬機，處理點對點合約。允許任何人建立和使用通過區塊鏈技術運行的去中心化應用，沒有任何欺詐、審查、第三方監管。以太坊的概念首次在2013至2014年由維塔利克·布特林VitalikButerin受比特幣啟發后提出，旨在共同構建一個更全球化、更自由、更可靠的互聯網。以太坊EthereumETHERC20ERC-20ERC20ERC721ERC-721以太坊2.0以太坊2.0查看更多

Tags：以太坊VITTALITAL以太坊幣今日價格行情實時VITY價格TALISMORTAL KOMBAT 11

MANA