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