在 Edge City 參加了幾天的研討會后,我對以太坊的一些主流提案有了一些新的理解。這些提案主要用于解決 MEV 問題:
- 證明者提議者分離 (APS):一種通用的市場結(jié)構(gòu)設(shè)計理念,將見證(Attester)與提議(Proposer)分開。Attest 該提案由以太坊研究員 Justin Drake 提出,主要用于解決由多區(qū)塊 MEV 引起的驗證者中心化問題。(當(dāng)驗證者有很高概率被連續(xù)選為提議者時,則能更有效地提取 MEV,從而獲取更多回報。這會導(dǎo)致其他驗證者更傾向于與大型驗證者合作,從而導(dǎo)致驗證者中心化的問題。)目前,以太坊驗證者尚未將這兩個功能分開。
- 執(zhí)行拍賣 (EA):別名為 APS-Burn,是用來實現(xiàn) APS 的機制。是由以太坊研究員 Barnabé Monnot 提出的。具體機制為 slot N 的信標(biāo)提議者通過拍賣的方式確定 slot N +32(即下一個 epoch)的執(zhí)行提議者,其本質(zhì)是通過預(yù)先確定的方式分配執(zhí)行提議權(quán)。通過這種方式可以減少執(zhí)行提議者通過控制連續(xù)幾個 slot 來「凍結(jié)」?fàn)顟B(tài)或操縱交易的能力。
- 執(zhí)行票(ET):是另一個實現(xiàn) APS 的機制。目前,Beacon 提議者和 Execution 提議者是同一個驗證者。驗證者被選中為 Beacon 提議者時,他們不僅負責(zé)提出 Beacon Block(共識),還負責(zé)構(gòu)建 Execution Block(執(zhí)行),其中包含區(qū)塊中的所有交易和狀態(tài)更新。Execution Tickets 機制通過動態(tài)定價的執(zhí)行票市場,將驗證和執(zhí)行之間的角色分離,執(zhí)行票由 Beacon 鏈發(fā)行,驗證者需要通過購買執(zhí)行票來獲得 Execution 提議權(quán)。
- 時序博弈(Timing Games):時序博弈指驗證者傾向于通過延遲區(qū)塊提案的方式來獲取額外的市場激勵。時序博弈是一種零和博弈。當(dāng)一個提議者延遲了 1 秒才對區(qū)塊提案,那么下一個(誠實的)提案者就會損失 1 秒。上一個提議者的獲得的收益是下一個區(qū)塊提案者的損失。如果所有驗證者都開始玩時序博弈,沒有人會贏。
- MEV 銷毀:通過以太坊協(xié)議來捕獲并銷毀 MEV。
- 包含列表 (IL):該提案允許驗證者強制構(gòu)建者(builder)將某些交易納入其區(qū)塊中。施加這些限制旨在提高審查抵抗性。
- Preconfs:L1 提議者能夠?qū)?L1 txs 或基于 rollup 的交易提供預(yù)確認(rèn)。
設(shè)計目標(biāo)
對于不同提案,其細化的目標(biāo)是不同的,例如:
1)隔離時序博弈:以太坊驗證者為了獲取額外收益,會傾向于參與時序博弈。這可能會加劇驗證者中心化,因此解決方案可以是將其讓渡給經(jīng)驗豐富的參與者,就像 PBS 將區(qū)塊構(gòu)建 / 交易排序的復(fù)雜性讓渡給經(jīng)驗豐富的參與者一樣,以保持驗證者的去中心化。
2) 銷毀 MEV:MEV 銷毀是更徹底的想法。需要說明的是,我個人認(rèn)為這是提案的副產(chǎn)品,而不是動機。我不太在乎我們是否銷毀 MEV。
有些人也非常關(guān)心預(yù)確認(rèn),而 EA 在這方面表現(xiàn)更好(我個人并不真正關(guān)心這一點)。
Slot 時間和時序博弈
在時序博弈中, slot 時長對中心化存在一定程度的抵消效應(yīng):
- 較短時間的 slot 可以降低 MEV(例如,降低 LVR),因為 MEV 會隨著 slot 時間的變長而增加。
- 較短的 slot 可以放大時序博弈的效果,從而增加中心化激勵。對于無論何種交易而言,這都是正確的(例如,您可以等到 slot 結(jié)束前將原本不存在的交易包含進去)。
APS 和多區(qū)塊 MEV
多區(qū)塊 MEV 是指連續(xù)控制多個 slot 可以帶來超線性獎勵。(例如,擁有區(qū)塊 N 和 N+1 的連續(xù)提議權(quán)的獎勵 > 獨立提議區(qū)塊 N 的獎勵 + 獨立提議區(qū)塊 N + 1 的獎勵)。
如今,這種情況不會在現(xiàn)實中發(fā)生的原因只是因為 Lido 和 Coinbase 這樣的公司存在道德約束。他們不會為了幾個區(qū)塊而操縱預(yù)言機(即使他們擁有大量份額,總是能獲得許多連續(xù)的區(qū)塊),因為如果這么做的話會有損他們的聲譽,而這對他們的生意沒有好處。出于同樣的原因,他們也不會將這些權(quán)利出售給協(xié)議之外的構(gòu)建者。
然而,如果我們創(chuàng)建一個任何人都可以連續(xù)購買大量 slot 的市場,那么多區(qū)塊 MEV 會變得容易且便宜。此時,構(gòu)建 slot 的權(quán)力被給予給出價更高的人。我們將這一權(quán)力市場化,交給擁有最高利潤的人,而不是結(jié)盟的驗證者。
包含列表(IL)
我們可以使用包含列表來防止多區(qū)塊 MEV 嗎?嗯,似乎可以,但實際上并非如此。如果這些是今天設(shè)想的有限 IL,那么它們將僅強制包含某些交易子集,并且它們只是強制包含交易但不進行排序。持有大量 slot 的執(zhí)行提議者仍然可以制造問題并提取多區(qū)塊 MEV。
為了使 IL 更強大并防止多區(qū)塊 MEV,您可以讓 IL 作為每個 IL 委員會成員的內(nèi)存池視圖(而不僅僅是他們認(rèn)為正在被審查某一段時間的少數(shù)交易),并且它們還將強制排序,而不僅僅是包含交易(例如,按優(yōu)先費用排序)。您需要將這些列表包含在內(nèi)以創(chuàng)建一個區(qū)塊。好吧,這樣的話我們已經(jīng)將 IL 變成了一個全區(qū)塊多區(qū)塊的提議者方案,并在批次內(nèi)按優(yōu)先費用排序。(有些人可能會說我們都在構(gòu)建同樣的東西。)
您也可以對錯過 slot 施加較大的懲罰以減輕多區(qū)塊 MEV,但這仍然不夠完美。因此,基本上,目前還不完全清楚這些問題是否真的可以被解決。
此外,人們?nèi)匀粨?dān)心提議者根本不會使用 IL。如果我們實施它們,而驗證者害怕使用它們,該怎么辦?我們需要一種能夠激勵每個人使用它們的設(shè)計,并能夠?qū)?IL 所包含的內(nèi)容進行合理否認(rèn)。這說起來容易做起來難。如果提議者不能 / 不會通過 IL 強制執(zhí)行 CR,那么我們就不知道為什么需要這么多驗證者了。