一文解讀以太坊主流提案

2024-07-16 00:07:18

原文標題：《ETH Supply Chain Future》

撰文：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，那么我們就不知道為什么需要這么多驗證者了。