區塊提議者和構建者分離是應對以太坊MEV的常見方案,VitalikButerin提出了兩種設計思路。
原文標題:《對提議者/區塊構建者分離友好的費用市場設計》撰文:VitalikButerin翻譯:ETH中文站
特別感謝JustinDrake和Flashbots團隊的反饋和討論。
對現在運行中的去中心化共識網絡的一個重大威脅是關于礦工可提取價值(minerextractablevalue)的經濟學,即從選擇下一個區塊內容的能力中提取利潤的復雜技巧。一個簡單的MEV例子是根據前一個區塊的價格變動在所有鏈上的去中心化交易所套利。盡管正常情況下PoS的獎勵是合理的、平均的,即單個驗證者的回報率跟強大的質押池是一樣的,但現在找尋復雜的MEV提取機會已經形成相當顯著的規模經濟了。10倍大的池子就有10倍的機會提取MEV,但池子也需要能夠在專有的優化上投入更多,以在每個機會里提取更多的價值。
除了這個問題以外,MEV也讓去中心化的質押池變得更復雜,因為在去中心化質押池里,打包交易和提議區塊仍然需要由一個實體來完成,他們可以輕易地秘密提取MEV,而不在池里分配這些收入。
最為人所知的是解決方案區塊提議者(proposer)/構建者(blockbuilder)分離。不同于區塊提議者自己生成一個收入最大化的區塊,他們依賴一個市場,這個市場由外部的區塊構建者組成,他們生成包含完整區塊內容和給區塊提議者費用的交易捆,然后提議者選擇包含最高費用的交易捆。這樣,區塊提議者的選擇就被簡化為選擇費用最高的交易捆,這可以由一個簡單算法實現——在一個去中心化池里,它甚至可以在MPC(多方計算)里完成,以防止作弊。
比升資本合伙人Vito:Filecoin礦工和算力要提供可靠存儲能力應對監管:金色財經現場報道,4月23日,數御未來——2021數據與存儲產業峰會在成都舉辦。在主題為《區塊鏈視角看分布式存儲的市場價值》的圓桌中,比升資本合伙人Vito指出,Filecoin賽道崛起的原因在于,從其自身發展來看,在FIL主網上線之前,已經有很多機構進場布局這個賽道;從散戶的角度來看,存儲和計算、通訊相比,認知門檻會更低,從社會現實來講,海量數據時代需要分布式存儲。
對于分布式存儲的監管問題,當海量數據進入后,一定會有專業合規的服務商來做這個事情。對于現在投資算力和礦工,所要做的是提供可靠的存儲能力。[2021/4/23 20:52:01]
本文對如何實現這點提出了一些設計。
本文的想法非常直接地受2018年的這篇文章啟發:
《Optimisedproposalcommitmentscheme20》
提議者/構建者分離的區塊提議設計的所需特性
我們會專注的五大所需特性:
無須信任提議者友好性:提議者欺負區塊構建者的風險幾乎是零,因此區塊構建者沒有動機偏向鏈下有聲譽的或與構建者有個人關系的提議者(因為這有可能偏向大型質押池)。
無須信任構建者友好性:構建者欺負提議者的風險幾乎是零,因此提議者沒有動機偏向鏈下有聲譽或與構建者有個人關系的構建者(因為這有可能導致新進入市場的構建者不被選擇)。
TokenBetter平臺GTX(Gravitation-X)日內漲幅為289%:據TokenBetter行情顯示,截至今日18:50(UTC+8),TokenBetter平臺內創新區幣種GTX(Gravitation-X)日內漲幅為289%,24H最高報價0.1499USDT,現報價0.08517USDT。
Gravitation-X(GTX)隨著區塊鏈技術的發展和區塊鏈產業數量的增長,區塊鏈項目的財務應用出現了競爭。因此,我們必須通過創建可用的游戲模型來解決競爭問題,這是毀滅證明,縮寫為 POD。
Gravitation-X 的 POD 不僅基于智能合約,還基于 DAPP 系統設置。 從開始每天都會銷毀大量的代幣。隨著更多令牌被釋放,更多將被銷毀,目標是通過結合 CryptoNote 協議和智能合約等一些經過驗證的最佳技術,創建一種先進區塊鏈技術,增強可靠性,隱私性,安全性,可用性和可移植性,從而實現創建私人智能合約。[2020/8/2]
弱提議者友好性:這個機制不應該要求提議者有(i)高帶寬或其他計算資源,或(ii)高技術水平
不可竊取的交易捆(bundle):提議者應該不能接受由區塊構建者提議的交易捆,并從中提取交易形成自己的交易捆,從而阻止區塊提議者賺取利潤(并可能進一步傷害他們)
共識層保持簡單與安全:從共識層的角度,該機制應該保持安全性不變,最好與現有的區塊提議機制一起可以被同一個分析框架。
聲音 | Vitalik評論澳本聰轉賬假新聞:不要在沒有親自驗證原文鏈接的情況下相信推特上的截圖:針對“澳本聰從最大BTC地址向幣安轉出5萬BTC事件”,Primitive Ventures的創始合伙人萬卉在推特上表示:“這個伎倆很容易被許多詐騙者所使用,很多中國加密媒體都通過微信上面的圖片傳播突發新聞,而不是傳播新聞鏈接。所以任何人都可以使用相同的主題模板,然后PS一條假新聞。”以太坊創始人Vitalik今日在推特上評論稱,我們迫切需要經過網站驗證且有數字簽名的截屏,這也會讓智能合約預言機更容易些。他還配上一張P圖,圖中美國總統特朗普表示,不要在沒有親自驗證原文鏈接的情況下相信推特上的截圖。[2019/5/30]
想法1
區塊構建者構建交易捆并發布這些交易捆的捆頭(bundlehead)。一個交易捆頭包含對交易捆主體(bundlebody)的承諾(預期的區塊內容),給提議者的付款信息,以及構建者的簽名。
提議者選擇提供最高費用的交易捆頭(僅需要考慮交易捆的構建者實際上是否有足夠的余額可以支付)。他們對交易捆頭簽名并發布包含該交易捆頭的一個提議。
當看到有簽名的提議后,提供打包交易捆頭的區塊構建者發布完整的交易捆。
此時,分叉選擇規則能夠做出以下三個判斷中的一個(而不是平常的兩個,存在區塊vs.不存在區塊):
明星在其官網添加VIT支付:據Coindesk消息,美國明星Stormy Daniels在其官網中添加VIT支付,意在獎勵觀看視頻的網站訪問者,獲得VIT的用戶可以購買網站上的優質內容,或購買、訂閱支持該令牌的其他網站的服務。Stormy Daniels稱2006年與特朗普有過一段交往經歷,并因此出名。[2018/5/25]
不存在區塊提議
存在區塊提議但不存在交易捆主體
區塊提議和交易捆主體都存在
請注意,在第二種情況下,提議仍然會被打包到鏈上,區塊構建者給提議者的付款也仍會處理(但區塊構建者自己不會獲得任何費用或MEV)。
分析
五項特性中的三項是相當容易呈現的:
區塊提議者無條件接收承諾的付款,因此交易捆不能欺負提議者
三個步驟都非常自動化且低帶寬,因此這滿足弱提議者友好性
提議者不能看到他們要的簽名交易捆的信息,因此這滿足交易捆不可竊取性。
共識層特性和無須信任提議者友好性這兩點比較棘手。這個設計的確會改變分叉選擇機制,從兩個選項增加到三個,這意味著提議者將不再是這個機制里的最后一個行動者。理論上,人們可以推斷如果分叉選擇是可以做出決定的,那么這應該沒問題,但這仍然是一個具有潛在未知性的重大變更。
以太坊創始人Vitalik看好以太經典屬不實消息 只是提醒社區不要太浮躁:今日,有傳聞稱以太坊創始人Vitalik Buterin不再看好以太坊(ETH),轉投以太經典(ETC),經核實其屬于不實消息,Vitalik發布的推文只是提醒社區成員不應過于浮躁,他表示,如果大家關注的只是“蘭博基尼”這些東西,那么他會選擇離開。 ????[2017/12/28]
區塊提議者看不到交易捆的內容,并不能通過竊取交易捆欺負區塊構建者,但他們可以對區塊構建者發起一種更微妙的攻擊。他們可以在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查看更多
據福布斯6月26日消息,隨著比特幣價格本周短暫跌破3萬美元,各種投資者預計比特幣價格可能跌至2萬美元,但越來越多的資產管理公司開始在CME押注比特幣將出現短期上漲.
1900/1/1 0:00:00Gate.io智能量化策略中心2020年9月上線以來,為廣大新手及專業用戶提供龐大的量化策略庫,目前已上線多種量化策略以及回測、一鍵跟單、排行榜等功能.
1900/1/1 0:00:00Filecoin是旨在存儲人類社會最重要信息的分布式網絡,并匯集了龐大的社區開發人員、礦工、存儲客戶、投資人等,接下來,讓我們一起來看看Filecoin的新聞動態.
1900/1/1 0:00:00鏈聞消息,BitKeep將與若森數字共同推出《畫江湖之不良人》系列官方NFT卡牌,BitKeep和若森數字將依據《畫江湖之不良人》中的「高手榜」及「人氣榜」,推出系列人物卡牌及兵器卡牌.
1900/1/1 0:00:006月26日,人民日報旗下人民號發布視頻,稱美國波普藝術大師安迪·沃霍爾是20世界最偉大的藝術家之一,并介紹了其代表作《三幅自畫像》.
1900/1/1 0:00:00親愛的用戶: 幣安流動性挖礦現已支持THETA、CHZ、VET、MATIC資產,并開放14個新 流動性池: THETA/BNBTHETA/BTCTHETA/ETHTHETA/USDTCHZ/BN.
1900/1/1 0:00:00