HBO:深入分析PBS的潛在解決方案與挑戰_My Neighbor Alice

2022年初，有一個關于區塊構建潛在中心化以及MEV和區塊排序后PBS影響的討論。我個人對這種擔憂產生了共鳴，并發表了一篇探討中心化風險的文章。社區對這個問題的看法存在分歧，一些人接受以太坊存在一個去中心化的驗證器網絡和一個更中心化的區塊構建者的想法，正如VitalikButerin在《Endgame》中所概述的那樣。然而，這些擔憂最終被擱置一旁，并從公眾討論中淡出。不過，上一次SBC會議將這些擔憂重新帶回了最前沿，因為Vitalik提出了去中心化區塊構建的方法（JonCharbonneau寫了一篇現場的精彩報告)。從那時起，我一直在考慮去中心化區塊構建者的潛在設計，并嘗試分享我的想法和去中心化區塊構建所面臨的挑戰。區塊構建的中心化程度如何，為什么我們需要去中心化？

以太坊一直在努力成為最抗審查、無需許可和無需信任的區塊鏈，任何類型的中心化因素都可能損害這些屬性。我將列出主要問題，并解釋為什么有些問題很重要，而有些則不重要。排他性訂單流：Flashbots和社區都在積極討論關于排他性訂單流如何導致單個區塊構建者壟斷中標和訂單流。假設構建者提供激勵措施，例如MEV共享、私有交易和MEVbackrun保證，以收集其他人無法訪問的訂單流，從而構建更高價值的區塊，始終如一地贏得拍賣。但是，我認為將導致排他性的所有類型的激勵措施歸于一類問題過于寬泛，因此我將它們分為以下子類別：通過MEV再分配的排他性訂單流和通過MEVbackrun保證、私人交易的排他性訂單流。要注意這些子類別并不相互排斥并且具有不同的含義。MEV再分配：隨著更多訂單流市場在未來幾年推出，這種擔憂可能會變得不那么重要。市場競爭加劇，他們將需要通過訂單流拍賣提供更多的MEV回扣，以吸引用戶和交易。這種競爭最終將影響用戶選擇在哪里提交交易。私人交易和MEVbackrun保證：這是一些人可能更喜歡的可選功能。但是，如果要大規模增長，使用這種類型的排他性訂單流可能會導致訂單流集中化。為了緩解這種情況，持續提出更高價值區塊的去中心化區塊構建者將是有益的。審查制度：區塊構建者的去中心化程度不足可能會導致一部分構建者勾結和審查交易。雖然crList、Geth的原生區塊構建選項和加密內存池等解決方案旨在減輕這種風險，但它們也帶來了挑戰，例如帳戶抽象的部分體現，需要基礎設施來支持無狀態驗證者的狀態訪問，以及圍繞現有的安全問題啟用隱私的技術。為了更深入地了解當前的區塊構建環境，這里有一些關于區塊生產的統計數據。根據2022年12月所有構建者的出塊成功率，排名前5的構建者如下：

何寶宏：元宇宙將推動數字經濟與實體經濟走向深入融合:金色財經報道，中國信息通信研究院云計算與大數據研究所所長何寶宏在接受采訪時表示，我國產業數字化規模仍有不小的提升空間，數字技術創新應用依然迫切，此外，元宇宙將推動數字經濟與實體經濟走向深入融合。當前的數字經濟更像是傳統經濟的數字化轉型，而未來的數字原生世界，元宇宙或者Web3.0里面企業的組織形態理應發生非常大的變化。

元宇宙是數字技術、數字產品、數字產業發展的必然形態，將推動數字經濟與實體經濟走向深入融合。何寶宏表示，當前，元宇宙概念邊界仍在持續探索，技術工具還有較大優化空間，現象級應用有待開發，整體還處于起步培育的初級階段。[2023/4/9 13:52:13]

前五名區塊構建者平均成功率排名前三的區塊構建者在該月共同控制了成功提交區塊總數的60%，這表明需要對他們不串通或審查交易的行為給予了極大的信任。為了解決這個問題，實施一個去中心化區塊構建過程的框架將增加串通和審查的成本，從而實現更加去信任的區塊生產系統。網絡效應導致的中心化：在不完全的市場競爭中，可以認為一個構建者會自然而然地通過構建更高價值的區塊來戰勝其對手，并在不需要直接激勵的情況下吸引更多的訂單，從而導致中心化。然而，現實中并非總是如此。

出塊成功率圖該圖說明了合并之前和之后一段時間內的出塊成功率。值得注意的是，可以看出Flashbots出塊成功率已經減少并達到與其他主要區塊構建者相似的平衡點，而不是完全主導區塊生產。這與提議中由于網絡效應導致的集中化相矛盾，這個結果可能有多種解釋。競爭對手的排他性訂單流：其他競爭的構建者可能擁有獨家訂單流，可以生產更高價值的區塊。訂單流擁塞：太多訂單希望通過Flashbots包含在塊中，導致延遲。這可能會迫使用戶將交易放在多個構建者之間，以增加在一個區塊中提交的機會，尤其是在高流量時。OFAC合規性：Flashbots符合OFAC標準，而其他一些則不符合。用戶可能會根據一些監管問題決定選擇構建者。Flashbots開源構建者和中繼代碼以引來了更多競爭。上面這些因素在一定程度上緩解了網絡效應對構建者中心化的影響。然而，如上表所示，中心化仍然是一個問題，我認為社區應該給予更多關注和認識。我們去中心化什么？

聲音 | 河北辛集副市長：大力推進“區塊鏈+智能制造”的深入融合:12月27日，河北省鋼鐵行業“區塊鏈+智能制造”主題峰會在石家莊辛集市舉行，峰會由河北省冶金行業協會、中國電信河北分公司、長城新媒體集團主辦。辛集市副市長牛軍波表示，冶金行業的發展對于辛集市的經濟建設起到舉足輕重的作用，目前鋼鐵行業的自動化、信息化的發展已具有良好的基礎。大力推進“區塊鏈+智能制造”的深入融合，可以為鋼鐵行業帶來全面的提升，在提高企業競爭力、打造優質產品方面提供有力支持。（長城網）[2019/12/27]

區塊生產的權力是去中心化的關鍵。與其委托一個實體完全控制區塊的構建，不如有一個框架允許多個實體或個人參與該過程。目前，有兩種方法來實現這一點，應該注意的是，這些方法并不相互排斥。提議者參與區塊構建通過新的架構和算法去中心化塊構建者，允許競爭性區塊生產圍繞擬議方法的技術可行性和挑戰仍在討論之中，我想在這里分享我的想法。方法一：提議者參與區塊生產

目前有幾種方法可以使提議者參與區塊生產，但我相信Eigenlayer方法提供了更清潔的解決方案。在深入研究Eigenlayer的具體細節之前，這里是一個簡短的概述：它是以太坊區塊鏈上的一組智能合約，允許持有ETH的驗證者通過對其抵押的ETH施加額外的罰沒條件來選擇為新服務提供安全性。如需更全面的了解，您可以閱讀此處。目前在區塊生產過程中構建者如何與提議者交互？提議者構建者分離系統已經實施。在這個系統中，構建者可以向中繼器提交一個區塊，然后中繼器將驗證區塊的正確性并將其中繼給提議者。該系統旨在防止提議者進行審查，因為只有在選擇出價最高的區塊并且相應的簽名后的區塊頭被中繼回中繼器后，區塊的內容才會透露給提議者。負責確保已提交塊的數據可用性的托管機構隨后會將數據透露給提議者，然后提議者將區塊發送到網絡的其余部分。下圖說明了這個過程。

構建區塊過程圖，來源EigenlayerPBS系統通過將驗證者的權限限制在更高價值區塊的提議上，增強了以太坊的抗審查能力。然而，Eigenlayer提出了一個名為MEV+的MEV管理框架，它允許區塊提議者在現有區塊之上包含額外的交易。這是通過施加額外的罰沒條件來實現的。目前，區塊提議者只受一個罰沒條件的約束，即禁止同一提議者同時提議兩個區塊。使用MEV-Boost+框架，如果提議者在提議添加了「proposer_part」交易的新區塊時修改或未能包含區塊的已提交「builder_part」，也將受到懲罰。這有效地防止了提議者試圖修改或刪除區塊構建者的交易。下圖說明了MEV-Boost+工作過程。

聲音 | 國家醫療保障局副局長：國家醫療保障局將深入研究引入區塊鏈等先進技術:金色財經報道，國家醫療保障局副局長施子海表示，國家醫療保障局將不斷探索創新，深入研究引入5G和區塊鏈等先進技術，加快完善電子憑證功能和推廣應用，不斷優化設計、完善功能、簡化流程，提升群眾使用體驗，加強業務協同。[2019/11/26]

提議者參與出塊示意圖，來源Eigenlayer這種機制在與crList結合使用時也很有效，crList是提議者必須包含在區塊中的交易列表。這有助于減少在構建者級別對交易進行審查的可能性。雖然已經提出了其他解決方案，例如對Merkle根的預先承諾或KZG承諾，以允許提議者參與區塊生產，但EigenLayer提供了一種更簡單的替代方案，不需要提議者提供額外的計算資源，并且可以同時參與區塊生產。總的來說，這種方法很簡單，并且可以通過將提議者引入流程來進一步去中心化區塊生產，從而與更多實體共享區塊的權限。然而，這種方法的影響有限，因為它從根本上仍然依賴于中心化的區塊構建者，并且不能完全防止由構建者中心化引起的審查。因此我們有第二種方法。方法2：去中心化區塊構建者

設計去中心化區塊構建者是一個引人入勝的探索領域，像Flashbots這樣的團隊已經在嘗試不同的設計。在考慮如何去中心化構建者時，重要的是要意識到以下挑戰：MEV竊取：構建者可以訪問搜索者提交的捆綁交易中的信息并竊取搜索者的MEV。為了防止這種情況，提交的捆綁包和交易的隱私應該在設計上得到保護。次優MEV：理想情況下，應該在保持最佳MEV的同時實現構建者的去中心化。由于去中心化，一些設計可能會導致區塊構建效率低下，并導致區塊的MEV減少，進而導致區塊競爭力下降。但也可以爭辯說，只要去中心化的構建者比其他構建者吸引更多的訂單流，次優的區塊生產是可以接受的。與中心化構建者的競爭：去中心化構建者需要在生產MEV方面與中心化構建者競爭。去中心化構建者的目標是聚合盡可能多的訂單流，以與中心化構建者之間集中的訂單流競爭。延遲：區塊生產是時間敏感的，可能存在嚴重的延遲問題。管轄范圍：去中心化的構建者應該分布在多個司法管轄區，這樣他們才能抵制司法審查。大多數國家/地區的監管仍處于灰色地帶，并且不希望冒著構建者網絡被單個監管實體取締的風險。考慮到這些挑戰，我想在整個研究社區討論提議的去中心化構建者設計，并深入探討圍繞它們的一些潛在問題。目前，有兩種主要類型的去中心化構建者：搜索者-聚合器模型：搜索者提交交易包，聚合器將在不知道關于提交的bundle的很多/任何信息的情況下構建區塊。插槽拍賣模型：區塊空間按順序進行拍賣，區塊由多個構建者逐步構建，沒有聚合器。以下提議的設計是這兩種方案中任一種的變體：設計1：使用TEE/TPM的搜索者-聚合器模型

聲音 | 國家醫療保障局副局長：國家醫療保障局將深入研究引入5G和區塊鏈等先進技術:11月24日，全國醫保電子憑證發布式在山東省濟南市舉行。國家醫療保障局副局長施子海表示，國家醫療保障局將不斷探索創新，深入研究引入5G和區塊鏈等先進技術，加快完善電子憑證功能和推廣應用，推進醫保治理體系和治理能力現代化，提升為民服務質量和水平，讓更多便民舉措更加廣泛地惠及人民群眾。（第一財經）[2019/11/24]

這種方法要求聚合器使用可信執行環境(TEE)或可信平臺模塊(TPM)來確保接收到的交易包的隱私，從而防止MEV竊取。有關TEE和TPM之間差異的更多信息，請查看此處。以下是設計說明：

基于TEE的區塊構建者示意圖，來源VitalikFlashbots發布了一份進度報告，介紹了他們在SGX中運行Geth的經驗，SGX是英特爾開發的一種TEE。雖然存在許多技術挑戰，但他們已經成功地使用SGX中的加密交換空間和Gramine運行Geth，Gramine是為SGX設計的庫操作系統之一，具有500GBRAM、1TBSSD交換空間和64GB受保護內存。以下是該實驗的一些關鍵要點：在SGX中運行Geth是可行的，但資源密集且耗時，需要大量內存和3小時的啟動時間來存儲和加密鏈上數據。加密的交換空間提供了良好的性能，但仍然容易受到側信道攻擊、隱蔽信道攻擊和其他編程錯誤造成的信息泄露。需要在性能和資源之間做出權衡。例如，資源密集度較低的方法性能較差，并且可能存在更嚴重的信息泄漏問題。此外，使用SGX時還需要考慮其他問題：有一些方法可以減輕信息泄漏問題，但某些方法可能會導致性能下降，需要更多的試驗和錯誤來磨練出性能最好的框架來運行SGX。復雜的設置和SGX兼容芯片的稀缺性導致進入門檻很高。云服務商可能會提供SGX的可訪問性，并且可以作為一個臨時解決方案，但從長遠來看，云運營商將是一個重要的中心化因素。SGX泄露信息仍然是一個問題。如果人們在SGX中發現其他可利用的漏洞，聚合器應立即執行自己的TCB恢復，而不是等待英特爾的響應，這可能需要很長時間。與中心化構建者不同，去中心化構建者原則上應該歡迎并鼓勵訂單流的聚合。假設信息泄漏為零，搜索器-聚合器模型應該具有信任最小化安全性，相信加密和SGX完美運行。但是，它可能具有高度可信的活躍性，其中只有少數實體運行聚合器，這是可能的，因為捆綁包自然會聚合到最成功的聚合器。在這種情況下，訂單流/捆綁包中不會導致審查問題，但可能會導致活躍度問題。如果運行聚合器的實體數量較少，則可能存在地理分布不足導致管轄范圍傾斜的情況，使網絡更容易受到監管審查。雖然像SGX這樣基于TEE的解決方案似乎是目前更實用的構建者去中心化方法，但它仍然面臨許多需要克服的技術挑戰。設計2：具有閾值加密和ZK-SNARK的搜索者-聚合器模型

福建省法院網信辦主任郭金焰：推動大數據、區塊鏈等與法院工作的深度融合、深入應用:福建省法院網信辦主任郭金焰介紹，法院系統將把科技理性與司法理性“兩個智慧”融合好，把制度優勢和技術優勢“兩個優勢”結合好，把制度鐵籠和數據鐵籠“兩個鐵籠”建構好，推動大數據、云計算、人工智能、移動互聯、區塊鏈等與法院工作的深度融合、深入應用，促進審判體系和審判能力現代化，讓人民群眾充分享受信息化和智慧法院建設帶來的獲得感。[2018/4/22]

這是另一種搜索者-聚合器模型，其中加密應用于捆綁包而不是聚合器。這是一個粗略的例子：

基于TE和ZKP的區塊生成器示意圖這種設計可能存在聚合器和提議者之間的串通。閾值加密僅在計算狀態根之前確保捆綁包的隱私，并且計算狀態根的聚合器需要訪問交易信息或狀態更新。這種訪問可以通過追蹤相應的交易來實現MEV竊取。該設計消除了對TEE/TPM的需求，但它無法在不增加額外復雜性的情況下防止這種串通，例如要求提議者在允許計算狀態根的解密之前提交到區塊。以下是此類設計的一些問題：提議者對區塊的早期承諾可以通過重新抵押基礎設施來實現，但會產生額外的運營成本，因為需要充分激勵ETH抵押者來平衡相關的罰沒條件。提議者可能會因為提早提交一個區塊而錯過價值更高的區塊。增加了生成ZK-SNARK和閾值加密的計算開銷和延遲，使得該模型在實踐中可能不可行。關于誰將是閾值加密包的合格密鑰持有者的問題，如果搜索者持有密鑰，偽裝成搜索者的攻擊者可以阻止解密并延遲區塊生產。相反，聚合器不能持有密鑰，因為它們中的每一個都在競爭區塊生產并且可能被激勵去阻礙其他聚合器。這可能需要第三方，既不是搜索者也不是聚合者，并引入額外的信任假設，這些假設可能會降低作為去中心化構建者的無信任/信任最小化屬性。與第一個設計中提到的管轄范圍相同。設計3：基于混沌迭代搜索的插槽拍賣模型

這種設計允許多個區塊構建者參與區塊生產而無需聚合器。下面是一個粗略的插圖：

基于插槽拍賣的區塊構建者示意圖該設計旨在允許多個塊構建者通過將區塊的最大gas劃分為n個插槽來參與構建單個塊，給定x個構建者，其中n=f(x)且n<MAX_THRESHOLD。網絡中的構建者開始競標劃分區塊空間，出價最高的人填滿該部分區塊，第一個中標者成為區塊的構建者，剩余位置的投標繼續進行，新的投標人收到在建區塊并在此基礎上進行構建。當沒有更多的投標人或區塊已滿時，投標周期結束。最后持有區塊的構建者將其提交給提議者。這種設計通過在每個插槽執行MEV拍賣(MEVA)并應用閾值加密來保護隱私，將單個構建者的傳統任務分成更小的部分。這種設計的主要優點是它消除了對中心化聚合器的需求，并允許構建者分布在全球范圍內，提供分布式管轄范圍。但是，此設計也存在一些潛在挑戰：何時公開加密插槽將決定拍賣的效率。如果加密插槽N-1在插槽N拍賣之前被公開，那么拍賣將是有效的，因為構建者能夠根據他們預期的MEV進行投標。但是，這在實踐中可能會出現延遲問題，因為插槽的嚴格順序拍賣和解密可能需要一些時間。因此，另一種選擇是讓構建者預先競標所有插槽的區塊構建的權利，并在構建者填充插槽時依次解密塊。由于構建者在投標前不知道插槽的MEV，拍賣可能效率低下，由于缺乏已實現的MEV，構建者甚至可能不小心對插槽出價過高。不過，這個問題可以通過對區塊中給定位置的插槽的歷史投標價格進行統計分析來緩解。為了防止構建者修改之前插槽中的交易，其他構建者必須充當見證人并提供某種形式的欺詐證明。當插槽按順序解密時，中心化構建者可以竊取一些MEV。如果用戶僅通過這個基于插槽拍賣的構建者網絡提交訂單流，那么MEV竊取問題就不會那么嚴重，但如果通過中心化構建者和這個構建者網絡提交訂單流，那么MEV竊取可能會出現問題。惡意攻擊者，如競爭的中心化構建者，可以通過中標而不是構建區塊來破壞網絡，從而暫時停止區塊生產。如果有足夠多的此類攻擊者，這個構建者網絡可能會變得功能失調。需要有一種機制來禁止網絡中的惡意構建者，并在未填充的插槽上有一個備份計劃。設計4：提議者承諾的順序插槽拍賣

這是另一種使用插槽拍賣模型的方法，類似于不必依賴聚合器的第三種設計。主要區別是該設計通過Eigenlayer為每個填充的插槽強制執行提議者承諾。不是在最后將整個區塊提交給提議者，而是每個插槽將由提議者順序提交，并且可以使用Eigenlayer來避免對以太坊進行協議級更改。由于提議者的承諾是在插槽顯示之后立即出現的，因此對構建者修改先前插槽中的交易的擔憂較少。然而，除了由于過程中額外的順序提議者承諾導致延遲可能更糟，第三種設計提到的大多數其他問題也適用于這種設計。對區塊構建前景的看法

去中心化是區塊鏈技術的一個重要方面，確保區塊構建者去中心化是至關重要的。在本文中，我們討論了幾種可能的去中心化區塊構建者的方法。然而，這仍然是一個供研究界探索和合作的開放設計空間。設計一個具有競爭力的去中心化區塊構建者需要大量的實驗，像Flashbots這樣的團隊已經在探索SGX和其他支持隱私的技術。然而，要充分發揮這些技術的潛力，還需要更多的創新和研究。總的來說，去中心化區塊構建者是一項持續的挑戰，需要加密貨幣以外更廣泛的研究社區的合作和專業知識。通過實驗、測試和創新，我們可以努力創建一個去中心化的、有競爭力的區塊構建者，以增強網絡的抗審查能力。

Tags：MEV區塊鏈LASHBOMEVR幣區塊鏈騙局曝光騙局SLASH價格My Neighbor Alice

火必APP