作者：Jon Charbonneau，DBA 聯創

編譯：Tia，Techub News

在Edge City 參加了幾天的研討會後，我對以太坊的一些主流提案有了一些新的理解。這些提案主要用於解決MEV 問題：

  • 證明者提議者分離(APS)：一種通用的市場結構設計概念，將見證（Attester）與提議（Proposer）分開。 Attest 該提案由以太坊研究員Justin Drake 提出，主要用於解決由多區塊MEV 引起的驗證者中心化問題。 （當驗證者有很高機率被連續選為提議者時，則能更有效地提取MEV，從而獲取更多回報。這會導致其他驗證者更傾向於與大型驗證者合作，從而導致驗證者中心化的問題。
  • 執行拍賣(EA)：別名為APS-Burn，是用來實現APS 的機制。是由以太坊研究員Barnabé Monnot 提出的。具體機制為slot N 的信標提議者透過拍賣的方式確定slot N +32（即下一個epoch）的執行提議者，其本質是透過預先確定的方式分配執行提議權。透過這種方式可以減少執行提議者透過控制連續幾個slot 來「凍結」狀態或操縱交易的能力。
  • 執行票（ET）：是另一個實現APS 的機制。目前，Beacon 提議者和Execution 提議者是同一個驗證者。當驗證者被選中為Beacon 提議者時，他們不僅負責提出Beacon Block（共識），還負責建構Execution Block（執行），其中包含區塊中的所有交易和狀態更新。 Execution Tickets 機制透過動態定價的執行票市場，將驗證和執行之間的角色分離，執行票由Beacon 鏈發行，驗證者需要透過購買執行票來獲得Execution 提議權。
  • 時序博弈（Timing Games）：時序博弈指驗證者傾向於透過延遲區塊提案的方式來獲取額外的市場誘因。時序博弈是一種零和賽局。當一個提議者延遲了1 秒才對區塊提案，那麼下一個（誠實的）提案者就會損失1 秒。上一個提議者的獲得的收益是下一個區塊提案者的損失。如果所有驗證者都開始玩時序博弈，沒有人會贏。
  • MEV 銷毀：透過以太坊協議來捕獲並銷毀MEV。
  • 包含清單(IL)：該提案允許驗證者強制建構者（builder）將某些交易納入其區塊中。施加這些限制旨在提高審查抵抗性。
  • Preconfs：L1 提議者能夠對L1 txs 或基於rollup 的交易提供預先確認。

設計目標

對於不同提案，其細化的目標是不同的，例如：

1）隔離時序賽局：以太坊驗證者為了獲得額外收益，會傾向參與時序賽局。這可能會加劇驗證者中心化，因此解決方案可以是將其讓渡給經驗豐富的參與者，就像PBS 將區塊構建/ 交易排序的複雜性讓渡給經驗豐富的參與者一樣，以保持驗證者的去中心化。

2) 銷毀MEV：MEV 銷毀是更徹底的想法。需要說明的是，我個人認為這是提案的副產品，而不是動機。我不太在乎我們是否銷毀MEV。

有些人也非常關心預先確認，而EA 在這方面表現得更好（我個人並不真正關心這一點）。

Slot 時間與時序博弈

在時序賽局中， slot 時長對中心化有一定程度的抵銷效應：

  • 較短時間的slot 可以降低MEV（例如，降低LVR），因為MEV 會隨著slot 時間的變長而增加。
  • 較短的slot 可以放大時序賽局的效果，進而增加中心化激勵。對於無論何種交易而言，這都是正確的（例如，您可以等到slot 結束前將原本不存在的交易包含進去）。

APS 和多區塊MEV

多區塊MEV 是指連續控制多個slot 可以帶來超線性獎勵。 （例如，擁有區塊N 和N+1 的連續提議權的獎勵> 獨立提議區塊N 的獎勵+ 獨立提議區塊N + 1 的獎勵）。

如今，這種情況不會在現實中發生的原因只是因為Lido 和Coinbase 這樣的公司有道德約束。他們不會為了幾個區塊而操縱預言機（即使他們擁有大量份額，總是能獲得許多連續的區塊），因為如果這麼做的話會有損失他們的聲譽，而這對他們的生意沒有好處。基於同樣的原因，他們也不會將這些權利出售給協議之外的建構者。

然而，如果我們創建一個任何人都可以連續購買大量slot 的市場，那麼多區塊MEV 會變得容易且便宜。此時，建構slot 的權力被給予給出價更高的人。我們將這項權力市場化，交給擁有最高利潤的人，而不是結盟的驗證者。

包含列表（IL）

我們可以使用包含列表來防止多區塊MEV 嗎？嗯，似乎可以，但實際上並非如此。如果這些是今天設想的有限IL，那麼它們將僅強制包含某些交易子集，並且它們只是強制包含交易但不進行排序。持有大量slot 的執行提議者仍然可以製造問題並提取多區塊MEV。

為了使IL 更強大並防止多區塊MEV，您可以讓IL 作為每個IL 委員會成員的內存池視圖（而不僅僅是他們認為正在被審查某一段時間的少數交易），並且它們還將強制排序，而不僅僅是包含交易（例如，按優先費用排序）。您需要將這些清單包含在內以創建一個區塊。好吧，這樣的話我們已經將IL 變成了一個全區塊多區塊的提議者方案，並在批次內按優先費用排序。 （有些人可能會說我們都在建造同樣的東西。）

您也可以對錯過slot 施加較大的懲罰以減輕多區塊MEV，但這仍然不夠完美。因此，基本上，目前還不完全清楚這些問題是否真的可以解決。

此外，人們仍然擔心提議者根本不會使用IL。如果我們實施它們，而驗證者害怕使用它們，該怎麼辦？我們需要一種能夠激勵每個人使用它們的設計，並且能夠對IL 所包含的內容進行合理否認。這說來容易做來難。如果提議者不能/ 不會透過IL 強制執行CR，那麼我們就不知道為什麼需要這麼多驗證者了。