APS、EA、ET都是些什么?一文解读以太坊主流MEV解决方案

转载
132 天前
6002
Techub News

文章转载来源: Techub News

作者: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,那么我们就不知道为什么需要这么多验证者了。