以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads
首頁 > 區塊鏈 > Info

BUILD:詳解 PBS 機制:對以太坊協議和 MEV 生態有何影響?

Author:

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

先備知識:

對MEV有基本的認識,知道Flashbot的角色及Flashbot對MEV的影響

知道PoS機制的基本認識以及TheMerge帶來的改變

了解mev-boost架構

https://medium.com/taipei-ethereum-meetup/after-the-merge-mev-309e836698cf

Proposer-BuilderSeparation指的是將原本Proposer所負責,進行交易排序的工作,分拆給另一個角色Builder來負責,讓Proposer專心驗證區塊并投票以確保PoS網路的安全。

而mev-boost其實就是一種PBS:Builder透過Relay去競標收入自己區塊內容的權利,Proposer透過Relay選擇對他最有利的區塊內容。複雜的交易排序由Builder來計算,Proposer只需單純地選擇競標價格最高的區塊內容,如此即便是普通人自己跑的Proposer都能享受到MEV收益,而不必擔心自己需要參與激烈的MEV套利競爭。

而這裡指的PBS是由Ethereum協議本身去實行PBS的規則,而不再像是mev-boost一樣是單純Proposer、Relay及Builder之間沒有強制力的私下協議。

PBS對Ethereum協議本身的好處

在PBS中,Proposer因為不再需要處理交易排序而可以變成Stateless的狀態,也就是Proposer節點不需保存著Ethereum完整的狀態。負責交易排序的Builder才需要保存完整的狀態,Proposer只需要在收到Builder區塊內容時驗證MerkleProof就能確認交易會使用到的Ethereum狀態,例如Uniswap某個Pool的馀額及Alice本身的代幣馀額,有了狀態Proposer就能模擬交易執行來確認交易有效性。

Proposer是Stateless,他不保存State,只需要驗證MerkleProof

這讓Proposer本身的負擔又變得更輕,表示成為Proposer門檻又降得更低,就有更多人能成為Proposer,讓Ethereum變得更去中心化。

另外一個優點是Dank-Sharding或Sharding都會讓區塊容量變得更大,表示Proposer負擔會變得更重。在PBS中這些負擔是由Builder來承擔,因此Proposer的中心化程度不會受影響。

美參議員:SEC近期動作或旨在為CBDC的發行鋪平道路:6月9日消息,美國田納西州參議員 Bill Hagerty 表示,近期 SEC 針對 Coinbase 和 Binance 提起訴訟的真正動機是消除中央銀行數字貨幣 (CBDC) 可能的競爭對手,拜登政府想要扼殺市場創新,為 CBDC 鋪平道路,這將為聯邦政府提供便利,幫助他們以前所未有地的形式洞察人們的生活。允許一家公司(Coinbase)公開上市然后阻止其嘗試注冊的行為是沒有道理的。[2023/6/9 21:26:41]

https://medium.com/taipei-ethereum-meetup/rollup-and-the-boost-from-proto-danksharding-85d2fe0566b6

(In-Protocol)PBS

原本在mev-boost中是由被信任的Relay來擔任Proposer及Builder之間的中間人。Relay負責保管區塊內容,確保Proposer會拿到區塊內容但不能輕易偷走Builder的區塊內容。但如果Relay是惡意的,則Proposer和Builder都會受害,且他們只能轉向和其他Relay合作并期望其他Relay不是惡意的。PBS則是以Ethereum協議來取代這個需要被信任的Relay角色,如果Proposer或Builder任一方作惡,都能由Ethereum協議本身來施加懲罰,而不是必須要仰賴對某個角色的信任。

但要移除這個信任的代價不小,首先我們必須要確保

Builder的區塊內容需要被保護,不能直接揭露Proposer如果偷走Builder的區塊內容,他必須要付出代價Builder如果沒有公佈區塊內容,他必須要付出代價綜合第1,2點,Proposer必須要先對Builder的區塊內容進行承諾,然后Builder才揭露實際的區塊內容。如果Proposer違反承諾,改為propose其他區塊內容,則他會被懲罰:他的押金被部分沒收而且他propose的區塊內容無效,也就是收不到該區塊內容的手續費及MEV。這也是目前mev-boost有的懲罰機制。

第3點,如果Builder沒有公佈區塊內容,Builder還是要將競標費用支付給Proposer。這會由Ethereum協議來強制執行,也是mev-boost做不到的。

Proposer或Builder作惡都會被懲罰,反之合作則都獲益

以上是PBS要做到,用來保護Proposer及Builder的規則,而實際上該怎麼完成Proposer承諾及Builder發布區塊內容則有不同方式,后面會介紹。但在那之前,必須要先提到當我們把每個區塊的交易排序權利都交給Builder時,即便Builder會彼此競爭,都還是會比原本交給Proposer排序交易來的中心化許多。這迫使我們必須要加入額外的機制來避免Builder審查交易。

Core Scientific將為LM Funding America增加900臺托管礦機:金色財經報道,根據LM Funding America的新聞稿,Core Scientific將為LM Funding America增加900臺礦機。Core Scientific將代表LM Funding托管總共3900臺礦機,采礦能力為400 petahashes。

LM Funding還表示,這將使其運營的礦機數量增加到4600臺,并將其總采礦能力提高到470 petahashes。這900臺新設備將在4月底前上線。

截至2023年2月,Core Scientific運營著約21.3萬臺礦機,采礦能力為22.3 exahashes(或22300 petaashes)。這既包括Core Scientific自己的礦機,也包括代表其他公司運營的托管設備。[2023/4/13 14:01:57]

Censorship

Censorship最著名的例子是2022年八月美國財政部將TornadoCash列入反洗錢制裁名單,許多mev-boost的Relay紛紛將TornadoCash的交易加入黑名單。這使得TornadoCash使用者的交易平均需要比普通交易等上數倍的時間才能被收入區塊里。

絕大部分Relay還是遵從OFAC,來源mevWatch.info

注1:OFAC甚至將一個只會Echo的合約納入制裁名單。

注2:這篇文章分析OFAC制裁對Builder的影響。

注3:你可以為自己的Proposer節點設置一個最低競標價門檻,避免全都採用mev-boost的區塊,藉此增加整體網路的抗審查能力。有將近一半的mev-boost區塊競標價都沒有到0.05ETH的門檻。

雖然仍有一些Relay是不甩OFAC的,但在PBS中我們沒有Relay、也不能指望為數不多的Builder會愿意違背政府的命令。因此我們需要有機制來迫使Builder收錄指定的交易。

Censorship成本

在mev-boost/PBS之前,攻擊者想要審查一筆最多愿意付XETH的交易,則攻擊者必須要不斷產生并廣播新交易,迫使區塊超過半滿,藉此把BaseFee拉高到BaseFee*150k>X,如此該交易才不會被收入。假設每個區塊只收入最多5mgas的交易,則他每個區塊都要燒掉(X/150k)*10m=X*66.67ETH,等同于每個小時要燒掉約X*20000ETH。

但在mev-boost/PBS中,如果BuilderCharlie想要審查一筆交易,他只需要讓他的競標價高過其他Builder。假設該筆交易的手續費中扣掉BaseFee費用后為P,也就是PriorityFee的費用,也就是一個Proposer收入這筆交易實際會獲得的手續費,則P就是Charlie在每個區塊競標時都要額外付出的成本。而這和EIP-1559市場機制相比其實是一個非常低的成本,表示mev-boost/PBS讓Censorship變得更容易。

Lookonchain:MASK團隊過去一周共向幣安等交易所轉出250萬MASK:11月3日消息,據Lookonchain調查,MASK此前以5個價格從投資者處籌集資金,其中天使輪0.08美元、種子輪0.13美元、A輪0.2美元、B輪0.3美元、C輪0.5美元。過去的7天,MASK團隊的一個地址總共向幣安和OKX等交易所地址轉出了250萬MASK(約1300萬美元)。此外,MASK前50名持有者總共持有9375萬MASK,占總供應量的93.75%;其中Binance持有1797萬MASK,占總供應量的17.97%,占流通供應量的61.7%。[2022/11/3 12:13:38]

不同CensorshipResistance的設計

在PBS中,因為我們不能仰賴Builder是好人,所以我們只能仰賴Proposer,透過Proposer來(1)強迫Builder收入疑似被審查的交易,或是(2)乾脆自己收入疑似被審查的交易。

注意到(2)其實打破了前面對PBSCensorship的假設,不只有Builder可以決定交易排序,Proposer也可以自己插入交易,也因此Censorship自然就沒有那麼容易。

(1)InclusionListorcrList(censorshipresistancelist)

Proposer透過指定一個交易清單crList,要求Builder只要區塊還有空位,就必須收入crList中的交易,直到塞不下為止。

沒有交易被審查的情況,crList會為空。如果一個Proposer發現一筆交易的手續費符合規定可以被收入,且過去一段時間的Builder的區塊都還有足夠空間可以容納該筆交易但卻沒有收入該筆交易的話,就可以懷疑該筆交易正在被審查。輪到他propose時他就可以將該筆交易加入到他的crList中,要來競標的Builder就必須要收入該交易,除非區塊沒有足夠空間。

注:一筆交易是否正在被審查是主觀的,不一定每個Proposer都會看到一樣的交易或觀察到一樣的現象。

當crList裡有交易,Builder就被迫要收入交易,除非塞滿區塊或原本就已經滿了

如此一來,想要審查交易的Builder就必須要將區塊用其他交易塞滿,除了這些填充用的交易會一直消耗Builder的成本,BaseFee也會因為區塊持續塞滿而呈指數型上升,導致Builder成本跟著指數型上升,其長期的審查成本會遠超過單純EIP-1559市場機制的審查成本。

不過想要審查交易的Builder可以透過在網路上發布了一系列交易黑名單,要求Proposer不要將裡面的交易加入crList,否則就會拒絕產出區塊。假設有Proposer是好人,他寧愿收益減少也不會理會Builder的威脅,那就沒問題。但如果假設Proposer皆為理性的,則他們會因為經濟考量而配合Builder。因此如果我們要能在Proposer皆為理性的情況下還能做到抗審查,那必須要對crList機制做一點調整。

Cardano建設者IOG資助斯坦福大學區塊鏈研究中心 450 萬美元:金色財經報道,Cardano 區塊鏈建設者 Input Output Global (IOG) 已在斯坦福大學資助了一個價值 450 萬美元的區塊鏈中心。

除了斯坦福,IOG 還與愛丁堡大學、懷俄明大學、雅典大學和東京工業大學開設了研究實驗室和合作項目。去年,卡爾達諾創始人查爾斯霍斯金森向卡內基梅隆大學(CMU) 捐贈了 2000 萬美元,用于建立霍斯金森形式數學中心。(coindesk)[2022/8/30 12:56:31]

Revised(1):ForwardInclusionList

為了避免Proposer和來競標的Builder有利益關係而臣服,在ForwardInclusionList中是由slotn-1的Proposer來決定slotn區塊的crList。而因為slotn-1的Proposer收的是slotn-1而不是slotn的競標收益,所以就沒有利益衝突的問題。

Proposer不必擔心crList會影響到來競標的Builder。影響的是下一個Slot的Builder

注:提出crList的人不一定要是Proposer,也可以由其他人來負責提crList,只要能夠避免有利益衝突即可。

(2)Proposerbuildpartialblock

除了透過crList指定交易的方式,我們也可以讓Proposer來直接插入交易。依插入的交易安排在Builder區塊的前或后可以分成Proposerprefixes或Proposersuffixes。

Proposerprefixes中Proposer在commit時會先插入他自己安排的交易,然后再告訴Builder剩下多少gas可以用以及這些交易執行完的狀態,讓Builder能夠調整區塊內容。

注:這會需要比較彈性的commit方式,稱作SlotAuction,讓Builder先競標到產塊權利再決定區塊內容。

Proposer先插入他安排的交易

Proposersuffixes中Proposercommit時會順便commit一個他想插入的交易清單并交給Builder,Builder發布區塊內容后Proposer再按照清單裡的順序,一一安插交易到Builder的區塊內容之后,直到區塊空間不夠或沒有剩余交易。

歐易OKX&領英聯名發布2022首份區塊鏈人才報告- Web3方向:8月5日消息,歐易OKX&領英正式發布全球首份《2022全球區塊鏈領域人才報告-Web3.0方向》,報告全文近2萬字,耗時近3個月,數據樣本覆蓋180個國家,囊括了全球區塊鏈行業概覽,人才現狀以及人才發展趨勢與建議三大板塊。 報告顯示,全球區塊鏈領域人才總量同比增長76%,美國、中國、法國為全球前三大區塊鏈人才需求國。金融類人才占比最高,研發、信息技術等技術性人才需求強勁、缺口最大。人才男女比例約為8:2,整體碩士占比四成,人才學歷普遍較高。 詳情點擊原文鏈接。[2022/8/5 12:04:00]

Proposer先commit他想插入的交易,最后如果有空間再一一插入

prefixes和suffixes這兩個方法都會加重Proposer的責任,而且Proposer因為要負責親自插入交易,所以必須要儲存完整的Ethereum狀態來進行交易運算,也就沒辦法變成Stateless節點。

注:目前比較有共識的是ForwardInclusionList的做法。

以上是關于抗審查機制的設計,接下來將繼續完成對Proposer如何commit及Builder如何發布區塊內容的介紹。

mev-boost中Relay要在區塊最終上鏈之前,確保Proposer已經做出承諾、確保Builder的區塊內容真的存在。我們要怎麼取代這個角色呢?我們可以用ValidatorCommittee來取代。另外Relay和Proposer/Builder之間的溝通管道也會被p2p網路取代。

注:目前PoS中每個Slot會有1個Proposer及64個Committee的Validator要對該Slot的區塊進行投票。

也因此這個機制的安全性和穩定性就會變成奠基于PoS之上:Committee中非惡意成員不能超過一定比例、網路連線沒有出現重大延遲,否則會和PoS發生fork一樣出現錯誤,導致Proposer或Builder權益受損。但這還是比原本相信一個中心化角色的安全性來得高。

目前的設計中主要以整個過程多快做完分為TwoSlotPBS及SingleSlotPBS,也就是將整個過程分為兩個Slot來做完還是單一個Slot就做完。

TwoSlotPBS

TwoSlotPBS中,會新增一個IntermediateBlock的區塊類別,用來放得標Builder的區塊內容。Proposer在Slotnpropose一個正常的BeaconBlock,裡面會包含對得標Builder區塊內容的commit,Builder接著在Slotn+1proposeIntermediateBlock,裡面包含他的區塊內容。可以將兩者視為同一個大區塊,只是分成兩階段來完成,第一階段像是BlockHeader,第二階段才是真正的BlockBody,沒有BeaconBlock就沒有后面的IntermediateBlock。

區塊都要經過Committee投票,變成ForkChoiceRule的一部分

這兩個Block都要經過Committee投票,但Slotn的BeaconBlock只有1個Committee對其投票,而Slotn+1的IntermediateBlock則由剩下的N-1個Committee對其投票。

投給SlotnBeaconBlock的投票會被收入在Slotn+1的IntermediateBlock裡,投給Slotn+1IntermediateBlock的投票會被收入在Slotn+2的BeaconBlock裡。

直接引用原文裡的圖片:https://ethresear.ch/t/two-slot-proposer-builder-separation/10980

如果Builder一直沒有看到BeaconBlock,代表BeaconBlock可能沒有被即時發布,所以Builder不會發布IntermediateBlock。但如果該BeaconBlock過一段時間后出現,是否有可能會導致Builder賠錢?事實上該BeaconBlock會因為太晚出現而被其他Validator的ForkChoiceRule拒絕,所以Builder不需要擔心。

SingleSlotPBS

SingleSlotPBS可以想像成是把mev-boost中心化的Relay角色換成是去中心化的Committee:Committee負責保管區塊內容,等到Proposercommit得標Builder的區塊內容后,Committee再合作還原出Builder完整的區塊內容并廣播出去。

直接引用原文裡的圖片:https://ethresear.ch/t/single-slot-pbs-using-attesters-as-distributed-availability-oracle/11877

TwoSlotPBSv.s.SingleSlotPBS

複雜程度

SingleSlotPBS不影響ForkChoiceRule,因此其ForkChoiceRule也不需要像TwoSlotPBS被改得更複雜,進而影響PoS分析難度及安全性。

且SingleSlotPBS和mev-boost架構相似,Proposer和Builder不需要做太大的改動就可以切換。

但SingleSlotPBS需要標準化并實作一套加解密用的密碼學技術。

區塊時間影響

SingleSlotPBS在一個Slot就能執行完,不像TwoSlotPBS基本上等于把區塊時間延長,兩個Slot的時間才能有一個“完整”的區塊出現

TwoSlotsPBS可以選擇把Slot時間縮短,但代價是對網路狀況的要求和各個角色的負擔會更高,更容易出錯

對Committee依賴程度

SingleSlotPBS需要Committee大部分的成員都在線才有辦法順利解密,如果太多不在線會直接導致無法產出區塊內容

TwoSlotPBS則不會因為Committee成員不在線而無法產出區塊內容

加入crList

如果加入crList,則Committee在對區塊投票時的規則就要調整一下:如果Committee成員在crList發布時限之前有收到crList,則Builder的內容需要符合crList的要求,如果不符合要求則Committee成員當作區塊內容沒有被發布;如果crList沒有及時發布,則Committee成員不會檢查區塊內容是否符合crList要求。

另外因為crList并不是包含在區塊資訊中,而是透過p2p網路傳遞,所以有可能Builder會沒收到crList,這時候他可能就會選擇不競標或降低競標價格,避免發布區塊內容后才發現Committee都有收到crList,就他沒有收到,導致區塊內容不符合crList要求而賠錢。但要真的發生整個p2p網路中Committee成員都收到crList,就Builder沒收到的機率也不高。

BlockAuctionv.s.SlotAuction

除了目前mev-boost中Builder對區塊內容做競標,稱為BlockAuction,另一種做法是對“產出區塊內容的權利”做競標,稱作SlotAuction。

SlotAuction給Builder更多彈性,他可以先競標取得產出區塊內容的權利再開始組裝區塊內容,但缺點是Builder如果預估錯誤就有可能因為最后產出的區塊內容的MEV比競標價還少而賠錢,不像BlockAuction中Builder可以確定就是會賺這麼多錢。

總結與重點

PBS能減輕Proposer負擔,讓網路更去中心化,并能順利因應未來Sharding帶來的區塊容量大幅提升的挑戰當把交易排序權都交給Builder,自然必須要擔心Censorship的問題有幾個抗審查的設計,包含Proposer自己排序部分的交易,但目前比較有共識的是採取ForwardInclusionList的做法TwoSlotPBS和SingleSlotPBS是目前PBS架構的兩種設計,各有優缺點SingleSlotPBS較簡單,但也較中心化,仰賴單一個Committee成員需在線且誠實TwoSlotPBS較去中心化,和PoSForkChoiceRule整合并仰賴多組Committee增加安全性但又不需要Committee一定要在線,只是缺點是設計較複雜下一篇將介紹一些PBS的補丁,讓PBS機制及MEV供應鏈更加去中心化。

參考資料與推薦延伸閱讀

PBS資源整理:https://notes.ethereum.org/@domothy/pbs_links

https://ethresear.ch/t/single-slot-pbs-using-attesters-as-distributed-availability-oracle/11877

https://ethresear.ch/t/two-slot-proposer-builder-separation/10980

https://notes.ethereum.org/@fradamt/H1ZqdtrBF

https://barnabe.substack.com/p/pbs

https://iyusufali.xyz/writings/inclusion-lists

Rollup-Relay

另外有人提出了介于MEV-boost與In-ProtocolPBS之間的RollupRelay:不把PBS加在L1的共識層及p2p層上,而是把PBS實作成一個L2,但缺點是L2Sequencer的角色是需要被信任的。因為這個點子還很新所以這邊只做簡短介紹,如果未來討論更熱烈會再展開來介紹:https://hackmd.io/@echno/rollup-relay

Tags:POSPROBUILDPROPPOSCHEprom幣23年可以買嗎BUILD Financepropy幣怎么樣

區塊鏈
NFT:簡析 Nouns DAO 和治理哲學

簡介 用哲學的方法來處理加密貨幣治理的當代問題,值得解釋一下。與我們許多前輩不同,如今哲學家們不再向世界宣布理想中應該發生什么。我們已經變得謙虛.

1900/1/1 0:00:00
DAS:Dookey Dash :Yuga Labs的街機游戲,以小搏大的增長式營銷

1.你真的看懂DookeyDash了嘛? 1.1簡單的小游戲 這是一款小游戲,玩家需要做的只有一件事盡可能讓自己獲得最高分數,規則如下:在下水道里操縱飛行器躲避障礙物,生存時間越長分數越多.

1900/1/1 0:00:00
以太坊:2023 值得關注的五大技術趨勢:以太坊升級、Staking、模塊化、ZK應用及賬戶抽象

2023年值得關注的5大技術熱點以太坊的主要技術升級Staking相關的技術和產品服務模塊化區塊鏈的優化和「L3」等應用專有Rollup等生態發展ZK跨鏈橋等非擴容領域內的ZK應用AA+MPC、.

1900/1/1 0:00:00
TAL:MarsBit日報 | The Sandbox收購德國游戲工作室Sviper;Conflux完成1000萬美元融資

MarsBitCryptoDaily2023年3月1日 一、?今日要聞 Solana發布「改進網絡升級的計劃」Solana聯合創始人AnatolyYakovenko發布「改進網絡升級的計劃」.

1900/1/1 0:00:00
區塊鏈:以太坊 rollup VS. 主權 rollup,主權 rollup 能否構成新結算層的基礎?

正如我們之前所討論過的那樣,以太坊以及與之相關的社區都在尋求模塊化的方式來實現區塊鏈擴容。數據可用性。一個公共公告板,保證所有在線方都可以訪問最近發布的有序數據。結算層.

1900/1/1 0:00:00
HTT:盤點3月即將首發上線的8個熱門項目

最近幾周,加密市場涌現出一批新項目,投資者參與熱情高漲。Odaily星球日報精選整理了三月即將首發上線的8個項目以供參考,涉及AI、DEX、鏈游、NFT等不同細分賽道.

1900/1/1 0:00:00
ads