作者:Maven11

編譯:Luffy,Foresight News

在本系列論文的前兩部分中,我們主要關注拆分堆疊時出現的技術問題,以及模組化世界的需要進行的改進。我們已經介紹了許多工作進展,以解決跨域設定中自然出現的問題。然而,在該系列的最後部分,我們希望更多地關注用戶體驗。我們想研究模組化、客製化和專業化如何幫助創建更好的應用程式。本系列的最後一章將著重於模組化中令人興奮且獨特的創意和可能性,供開發人員創建具備Web3 可驗證性的Web2 使用者體驗。

建構模組化背後的原因不應該只是為了迎合敘述,也不只是為了模組化,而是因為它使我們能夠建立更好、更有效率和更可自訂的應用程式。在建構模組化和專用系統時,會出現許多獨特功能。其中一些是顯而易見的,而另一些則不那麼明顯。因此,我們的目標是提供你所不知道的模組化系統能力的概述,例如可擴展性。

我們認為,模組化為開發人員提供的能力之一是能夠建立高度可自訂的專業應用程序,為終端用戶帶來更好的體驗。我們之前已經討論過設定規則或重新排序交易執行順序的能力。

可驗證的排序規則(以下簡稱VSR)是控制排序提供的有趣機會之一,特別是對於有興趣在執行方面建立「更公平」交易系統的開發人員。顯然,流動性提供者的損失與再平衡(LVR)的關係超出了本文的範圍,因此我們將避免觸及太多這方面的知識。請記住,我們將要解釋的設定主要針對AMM 而不是訂單簿模型。此外,CLOB(甚至CEX)也將從利用適合其特定設定的可驗證排序規則中受益匪淺。在鏈下設定中,顯然需要一些由加密經濟安全性支持的零知識或樂觀執行的概念。

當我們考慮到大多數散戶尚未(或不太可能)採用保護方法時,VSR 特別有趣。大多數錢包/DEX 也沒有實作私有記憶體池、RPC 或類似方法。大多數交易都是直接透過前端提交的(無論是聚合器還是DEX 的前端)。因此,除非應用程式直接幹擾其流程和訂單的處理方式,否則終端使用者所獲得的執行效果可能都不太理想。

當我們考慮交易供應鏈排序所在時,VSR 的作用就顯而易見了。它位於專業參與者排序(或包含)交易的地方,通常基於一些拍賣或基本費用。這個排序非常重要,它決定了執行哪些交易以及何時執行。本質上,擁有排序權的人擁有提取MEV 的能力,通常以優先費用(或小費)的形式獲取。

因此,編寫有關如何處理排序的規則以便為終端用戶提供更公平的交易執行(在DEX 設定中)可能會很有趣。但是,如果你正在建立通用網絡,則應該盡量避免遵守此類規則。

此外,有一些MEV 很重要,如套利、清算等。一個想法是在區塊頂部建立一條「高速公路」通道,專門針對白名單上的套利者和清算人,他們支付更高的費用並與協議分享部分收入。

詳解模組化MEV,如何實現公平的交易排序?

在論文《透過可驗證排序規則進行可信去中心化交易所設計》中,Matheus V.、X. Ferreira 和David C. Parkes 提出了一個模型,其中區塊的排序器受到一系列執行排序規則的約束(並且這些約束是可驗證的)。在不遵守設定規則的情況下,觀察者可以產生故障證明(或者由於約束在數學上是可驗證的,你也可以想像一個具有這些限制的ZK 電路,它使用ZKP 作為有效性證明)。主要思想本質上是為終端用戶(交易者)提供執行價格保證。這種保證確保交易的執行價格與區塊中唯一的交易一樣好(顯然,如果我們假設基於先到先得的買入/ 賣出/ 買入/ 賣出排序,則此處涉及一定程度的延遲)。論文中提案的基本想法是,如果它們以比區塊頂部可用的價格更好的價格執行,這些排序規則將限制建構者(在PBS 場景中)或排序器僅將交易包含在相同的方向(例如賣/ 賣)。此外,如果存在這樣的情況,即你在一系列購買結束時進行了賣出,那麼賣出將不會被執行(例如,買,買,買,賣),這可能表明搜索者(或構建者/ 排序器)利用這些購買來推動價格向有利於他們的方向發展。這本質上意味著協議規則保證用戶不會被用來為其他人提供更好的價格(即MEV),或由於優先費用而導致價格下滑。顯然,這裡規則的缺陷(在賣出數量多於買入數量的情況下,反之亦然)是,你可能會得到相對較差的長尾價格。

對於一般的智慧合約平台而言,將這些規則作為純粹的鏈上構造規則幾乎是不可能的,因為你無法控制執行和排序。同時,你也與許多其他人競爭,因此試圖強制那些處於區塊頂層的人支付優先費將是不必要的昂貴。模組化設定的功能之一是,它允許應用程式開發人員自訂其執行環境應如何運作。無論是排序規則、使用不同的虛擬機器或對現有虛擬機器進行自訂更改(例如添加新的操作碼或更改Gas 限制),實際上都取決於開發人員,取決於他們的產品。

在一個Rollup 使用資料可用性、共識層以及流動性結算層的情況下,可能的設定如下所示:

詳解模組化MEV,如何實現公平的交易排序?

另一個可能的想法是交易分割。設想有一個交易池,如何執行大訂單交易(這會導致大量滑點)?如果此交易跨連續區塊執行(或如果符合VSR,則在區塊最後執行),這對終端用戶公平嗎?

詳解模組化MEV,如何實現公平的交易排序?

如果終端用戶關心延遲,那麼該用戶可能不希望將他的訂單被拆分。然而,這種情況不太常見,並且針對較大訂單的交易分割進行最佳化可能會為絕大多數用戶帶來更有效率的執行。不管怎樣,一個擔心是MEV 搜尋者可能會意識到這些連續交易,並試圖將自己的交易定位在上述交易者之前或之後。然而,由於一系列區塊上的小規模分割交易,提取的MEV 總價值可能會小很多。

我們之前在帖子中提到的另一個有趣的想法是使用由傳奇人士Eric Budish 與其同事倡導的頻繁批量拍賣(FBA) ,以批量拍賣方式而不是串行方式處理交易。這是為了幫助發現需求重疊(CoW)並將套利機會融入市場機制設計中。這也有助於「對抗」連續區塊構建中的延遲遊戲(或串行區塊中的優先費用戰)。感謝Michael Jordan (DBA) 讓我們注意到這篇論文,並感謝他為緩和Latency Roast(所做的工作。將其作為Rollup 的分叉選擇和排序規則的一部分來實現也是開發人員可以使用的一個有趣的設置,我們已經看到它在過去的一年中的顯著吸引力,尤其是對Penumbra 和CoWSwap。一種可能的設置如下所示:

詳解模組化MEV,如何實現公平的交易排序?

在這種設定中,不存在先到先得或優先Gas 費戰爭,而是在每個區塊之間的時間內根據累積訂單進行區塊結束批量拍賣。

一般來說,在大部分交易已轉移到非託管的「鏈上」世界,FBA 可能是「真實」價格發現的更有效方式之一,具體取決於區塊時間。利用FBA 也意味著,由於所有大宗訂單都是批量的,並且在拍賣結束之前不會透露(假設有一些加密設定),因此搶先交易會大大減少。統一的結算價格是這裡的關鍵,因為重新排序交易是沒有意義的。

還需要指出的是,早在2018 年,Ethresear.ch 論壇上就討論了類似於我們剛剛介紹的設計(請參閱此處)。在貼文中,他們提到了兩篇論文,在Plasma 上提供了一種批量拍賣機制(有點像現代Rollup 的前傳),其中每個批次接受以某個最高限制價格購買其他ERC20 代幣的訂單。這些訂單是在一定時間間隔內收集的,並為所有代幣交易對提供統一的結算價格。該模型背後的總體思想是,它將有助於消除流行的AMM 中常見的搶先交易現象。

另一個需要注意的重要事項是,在這些設定中,排序器可能需要一些激勵來執行(和強制執行)上述規則。這一點經常被忽視,但區塊鏈網路的大部分基礎設施都是由專業公司運營的,其成本與普通的家庭參與者完全不同。一般來說,激勵是安全基礎設施實施的重要組成部分。在激勵措施與所執行的規則一致的情況下,排序器和建構者也更有可能做出更大的努力。這意味著這些設定也應該有一個活躍的市場。顯然,這類市場正在趨於中心化,因為專業化的資金成本可能很高。因此,最聰明(也最富有)的人可能會整合並專業化,以獲得盡可能多的價值。在這裡,排他性訂單流對於某些參與者可能是膝蓋上的箭頭,則導致中心化增加。一般的基準費用可能就足夠了,但它並不能真正將參與者推向專業化。因此,你可能希望透過適合你的特定情況的激勵機制引入一些讓交易者對結果滿意的概念。

這對大多數人來說都很清楚,但在討論Rollup 層級的排序時仍然需要提及。如果你能夠控制排序,則可以更輕鬆地「提取」協議的價值。這是因為你控制著重新排序交易的權力,這通常是基於大多數L1 上的優先費用(MEV-boost-esque 設定)。它為你提供了鏈上提取價值的複雜參與者所支付的優先費用。這些參與者通常願意支付相當大的金額(直到它不再能夠提供價值)。然而,目前大多數Rollup 主要採用先到先得的機制。大多數MEV 提取都是透過延遲戰爭進行的,這給Rollup 基礎設施帶來了嚴重壓力。由於上述原因,我們可能會看到越來越多的Rollup 開始實施具有優先費用概念的排序結構(例如Arbitrum 的時間增強機制)。

我們喜歡的另一個例子是Uniswap。目前,Uniswap 作為一種協定「創建」了大量低效率。這些低效率的行為被尋求提取MEV(套利,以流動性提供者的利益為代價)的參與者所利用。同時,這些參與者為提取價值而支付了大量費用,但這些價值都沒有落入Uniswap 協議的手中,也沒有落入其代幣持有者的手中。相反,這種提取的價值的很大一部分是透過MEV-Boost 向以太坊提議者(驗證者)支付優先費,以獲得在某個時刻包含在允許捕獲價值的區塊中的權利。因此,雖然Uniswap 訂單流存在大量MEV 機會,但沒有一個被Uniswap 捕獲。

如果Uniswap 能夠控制協議內的排序(以及從搜尋者那裡提取優先費用的能力),它可以商業化, 甚至可能將其中一些利潤支付給代幣持有者、流動性提供者或其他人。隨著Uniswap 的變化(例如UniswapX 等)轉向鏈下執行(以及以太坊作為結算層),這種機制看起來越來越有可能。

如果我們假設一個擁有部分PBS 機制的Rollup,訂單流和商業化流程可能如下:

詳解模組化MEV,如何實現公平的交易排序?

由此,Rollup 排序者、提議者的商業化可能遵循以下公式:

發行量(PoS)+ 費用收入(+priority)-DA、state pub、storage 的成本

查看目前在以太坊上提取了多少價值(尤其是套利)的好方法可以在Mevboost.pics 上找到,它很好地概述了從低效率中實際可以提取多少價值。

此外,將優先費Gas 戰爭與鏈外結構分離,可以將MEV 提取隔離到執行環境中,有助於遏制供應鏈中斷。然而,考慮到如果領導者選舉發生在Rollup 上,則大多數MEV 將在Rollup 上提取,這給底層結構留下很少的空間,除非DA 層包含、結算層的優先費用來自流動性整合或其他的規模經濟。

需要澄清的是,其中許多結構可以作為純粹的鏈下結構發揮作用,無需任何驗證橋或強大的安全保證。然而,必須在那裡做一些權衡。我們開始看到更多這樣的東西突然出現,無論是現有的還是隱形的。我想要指出的一點是,模組化設定不一定意味著是Rollup。

上述排序規則代表了一個範例,其中微調基礎設施可以大幅改善建構在之上的應用程式。