执行票内嵌式哈伯格租赁方案

为执行票证设计的 Harberger 租赁

Julian Ma

非常感谢 Barnabé Monnot 和 Davide Crapis 的反馈和讨论。

执行票证机制允许任何人购买彩票，该彩票将授予持有者未来某个 slot 的区块提议权。票证被分配到的 slot 仅在购买票证后的一段时间以及必须为该 slot 提出区块之前的一段时间内显示。票证持有人仅在购买票证后一段时间才知道票证分配给哪个 slot 的原因是，使得无法从协议内市场确定性地购买连续 slot 的区块提议权。这使得提取多区块 MEV 更加困难，而多区块 MEV 是社区认为不希望出现的 MEV 类型。票证持有人在构建区块之前的一段时间内知道票证分配给哪个 slot 的原因是，允许票证持有人做出需要票证持有人证明其可以履行这些承诺的承诺，例如预确认 或共享排序。

在本节中，我们将考虑分配区块提议权时的两个期望：防止多区块 MEV 和配置效率。在这种情况下，配置效率意味着将区块提议权分配给对此权利估值最高的代理。在 MEV-boost 中，配置效率是通过将权利授予出价最高的竞标者来实现的。 在 ET 中实现配置效率更加困难，因为区块提议权是在每个竞标者意识到其价值之前很久就被分配的。这种不确定性降低了配置效率，因为特定 slot 的区块提议权估值最高的代理可能会随着时间的推移而改变。

ET 彩票对那些最重视区块提议权的人分配区块提议权施加了摩擦，以防止多区块 MEV。它是协议设计者用来权衡配置效率与防止多区块 MEV 的工具。在接下来的几段中，我们将论证这种摩擦非常弱，并且移除彩票可能更有利于提高区块空间的配置效率。

首先，彩票为防止多区块 MEV 而施加的摩擦非常弱。在当前协议中，提议者在提议其区块时出售其区块构建权。我们称之为区块拍卖。这可以通过不同的方式完成；例如，通过 slot 拍卖：区块构建权的持有者一旦知道该权利适用于哪个 slot，就将其权利出售给构建者。在执行票证的世界中，票证持有者将是希望最大化收入的成熟实体。如果第二个票证持有人想要从第一个票证持有人那里购买票证以获得连续 slot 的区块提议权，它将能够这样做，因为根据多区块 MEV 的定义，这对于两个票证持有人来说可能是一项互利的交易：如果存在多区块 MEV，则两个票证加在一起的价值高于两个票证分开的价值。即使成熟的票证持有人由于执行彩票而无法在主要市场中这样做，他们也始终可以在链下二级市场中达成互利的协议。

执行拍卖将 ePBS 转换为基于 slot 拍卖的机制，从而消除了 ET 也解决了的许多问题。它允许出价最高的竞标者提前 32 个 slot 购买 slot 的区块提议权。如果构建者知道它可以在 32 个 slot 后构建一个特别有价值的区块，它可以购买此 slot 的区块提议权而不是另一个。这在彩票中是不可能的。因此，执行拍卖消除了彩票摩擦，并可能增加区块的配置效率，但存在对多区块 MEV 施加较低摩擦的风险。

从 拍卖管理的 AMM (am-AMM) 中获得启发，我们可以沿着相同的轴线进一步提高配置效率。我们将首先简要介绍 am-AMM。am-AMM 允许管理者为自动化做市商中的流动性池设置交易费用。管理者向流动性提供者支付由拍卖决定的费用，并获得所有交易收入作为回报。该拍卖不同于我们之前讨论的区块或 slot 拍卖。管理者是谁是通过链上拍卖来确定的，作者称之为“ Harberger 租赁”。这是一种持续举行的英式拍卖，其中出价以每个区块的租金表示。出价最高的竞标者持有租赁权。如果另一方出价更高，则可以（几乎）立即购买租赁权，而无需进一步协商。

如果我们将此 Harberger 租赁应用于区块提议权，我们可以进一步提高配置效率。我们可以为每个 slot 的区块提议权创建一个 Harberger 租赁。Harberger 租赁可以防止卖家因外部原因而坚持不卖。例如，考虑两个相互竞争的构建者。对区块估值较高的那个想要从另一个那里购买区块提议权。当前的持有者可能不想出售给潜在的买家，因为持有者不想将市场份额输给潜在的买家。这意味着坚持问题可能会降低该机制的配置效率。

考虑以下示例，其中出售了执行拍卖模型中 slot 的区块提议权的 Harberger 租赁。正如没有 Harberger 租赁的执行拍卖一样，最初的销售将通过英式拍卖进行。拍卖所得款项将根据执行拍卖机制销毁。出价最高者将获得未来 slot 的区块提议权的 Harberger 租赁，并且 Harberger 租赁的价值设置为中标价。在租赁的初始销售和租赁适用的 slot 之前的 $K$ 个 slot 之间的任何 slot 中，1) 租赁持有人可以更改租赁的价值，任何价值的增加都将被销毁，或者 2) 任何人都可以以租赁的当前价值购买租赁，购买价格将转移给卖方，即当前的租赁持有人。

将 Harberger 租赁应用于区块提议权认识到二级市场将被使用，这对于区块的配置效率更好，同时几乎不会降低多区块 MEV 摩擦。链外二级市场将被纳入协议中，这意味着租赁的价值增加可能导致更大的总销毁，并且我们可以防止坚持问题。我们仍然可以通过在租赁适用的 slot 之前阻止租赁转移几个 slot 来促进预确认和共享排序。

移除彩票摩擦并不意味着我们接受多区块 MEV；我们只是认识到这种特定的摩擦并不擅长防止多区块 MEV，但会降低配置效率。有必要对多区块 MEV 进行进一步研究，以确定对它们可能且必要的摩擦是什么。

• 原文链接： mirror.xyz/julianma.eth/...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～