MEV的定义究竟是什么?

时间:2021-12-31|浏览:169

自从 Daian 等人在 2019 年的 Flashboys 2.0‌ 论文中引入矿工可提取价值(MEV)(也就是现在的最大可提取价值)以来,关于MEV的讨论已经很多。特别是,Flashbots Auction的推出推动了当今跨越各种区块链和中心化交易所的十亿美元经济。从激动人心的 Twitter 话题到学术研究论文,MEV 现象已成为加密货币讨论的核心。然而,奇怪的是,对于 MEV 的正式定义并没有达成一致。
虽然有些人可能会争辩说,在大多数情况下,广泛共享的、直观的 MEV 概念就足够了,但我们认为,适当的正式化对于建立可以进行复杂理论化的基础至关重要。正如 Tim Roughgarden 在最近一次关于构建 DeFi 理论的演讲中所说的那样,在“简单”和后来的“困难”定理之前,第一步是要有定义和基本词汇。此外,正如最近的公开讨论所证明的那样,有些人声称套利不是 MEV,甚至可能是我们根本不共享 MEV 的直观概念!一个统一正式的 MEV 定义肯定会有所帮助。
然而,事实证明,以稳健、通用的方式正式化 MEV 并非易事。在这篇文章中,我们探讨了在尝试提出这样一个定义时遇到的一些困难。我们首先回顾一些现有的正式化,指出它们的一些问题,并继续寻求对其中一些进行修正。虽然我们提出了改进其中一些问题的新定义,但我们的主要贡献在于突出了所涉及的许多微妙之处,为未来围绕 MEV 的工作采用更系统的方法铺平了道路。
当前 MEV 定义
最初的 Flashboys 论文将 MEV 定义为“在给定时间范围内,以太坊矿工可以从交易操纵中提取的总量,其中可能包括多个区块的交易价值”,但没有尝试正式定义。最近,广泛采用的工作定义类似于:
MEV 是区块提议者可以通过重新排序、审查或插入交易而无需许可地提取的价值。
也许最接近正式化的定义是最近的 Clockwork Finance 论文中通过以下两个表达式给出的定义:
这里,EV 是在给定一组有效区块序列 B 的情况下,玩家 p 在状态 s 中可提取的价值,(B1 ,...,Bn ) 就是这样的一个序列,而 b(p,Sk ) 是玩家 p 的余额在将区块 (B1 ,...,Bk ) 应用于 s 后的状态。k-MEV 是处于状态 s 的玩家 p 作为区块提议者的 k-最大可提取值,其中 validBlocksk 是 p 可以创建的 k 个区块的所有有效区块序列的集合,而单区块 MEV 仅为 1-MEV。
为了记数简单性,这些表达式与论文中的表达式略有调整,但在其他方面是等效的。特别是,我们考虑玩家的余额而不是账户(省略玩家控制的账户的总和),并删除对链的原生资产的显式引用;稍后我们将回到这一点。
我们将使用 MEV 的这个定义作为起点,并注意到大多数其他论文提供了面临相同限制的类似定义,或者根本不提供正式定义。
现存的限制
我们首先注意到上述表达式中的一个致命缺陷:最大可提取值(MEV)取决于玩家 p!这意味着如果 p 有一些待处理的空投领取,他们的 MEV 将大于没有的玩家。虽然这对于可提取值可能有意义,但它肯定与“无许可提取”价值的想法不一致。
仔细检查后,并不完全清楚“玩家”的概念实际上指的是什么。我们可以确定至少三个相互交织的含义:i) 作为交易签名者的玩家,拥有余额和控制账户,ii) 作为协议游戏中的参与者,拥有(或缺乏)区块提议权,以及 iii) 网络意义上的玩家 ,受延迟影响并拥有独特内存池视图的节点运营商。
虽然后一种含义可能不适用于这个公式,但含义 i) 和 ii) 有点混淆:p 在谈论 (1) 中的余额时肯定指的是 i),但在从(1)到(2),我们还赋予了 p 区块提议权,符合含义 ii)。我们认为 MEV 的正确定义应该独立于 i) 意义上的玩家,也就是说,它不应该依赖于特定的签约权。关于 ii),我们将定义给定区块提议权限的 MEV。这有效地将问题一方面解耦为价值提取,另一方面获得排序权,这在考虑提取成本、网络安全等时可能会很有用。
上述定义的其他注意事项是对多区块 MEV 的处理(与上述 i) 和 ii) 含义的纠缠有关)、因撤回交易而产生的费用的遗漏,以及试图将 MEV 推广到跨域设置时区块概念的不足。在接下来的内容中,我们尝试修补定义以在可能的情况下解决其中的一些问题,并讨论我们在此过程中发现的一些其他困难。

MEV的定义究竟是什么?
修补 MEV
如上所述,首要任务是提出一个真正无需许可的 MEV 定义。我们将在可提取值的定义中保留玩家依赖性,但在移动到 MEV 时摆脱它。我们在这里注意到,我们在上面 i) 的意义上使用 player,赋予它对 EV 和 MEV 的完整区块排序权限。我们提出以下建议:
这里的第一个表达式与 (1) 非常相似,但我们删除了对有效区块序列集的依赖,这是隐式的,我们只考虑单个块(稍后会详细介绍)。这里的validBlocks(p)是p可以提出的有效区块的集合(validBlocks1 (p,s)之前,为了简洁省略了区块的数量和状态依赖)。B(s) 反过来表示通过在状态 s 之上应用区块 B 获得的状态。
在表达式 (4) 中,我们获得了 MEV 的定义,根据需要,该定义独立于玩家(表示 P 玩家集)。虽然在最大可提取值的定义中找到最小值可能有悖常理,但这个最小值只是编码了提取应该是无许可的想法。EV 已经负责最大化,无需许可即可提取的价值是特权最低的参与者可以从网络中获取的价值(同样,假设他们拥有区块提议权)。
然而,这个定义引出了一个问题,当挖矿需要前期资本时会发生什么?定义 (2) 没有这个问题,因为它对玩家有明确的依赖,但是现在删除了它,我们需要考虑到某些 MEV 可能只能在某些初始资本水平下才能提取。然而,我们注意到 gas 费用不是这里要求的一部分,因为提议者可以随意排序“免费”交易,因此即使没有初始资本,通常 MEV 也可能大于零。
尽管如此,我们希望明确对资本的依赖,因为许多 MEV 机会都依赖于它。

热点:以太坊 加密货币 区块链 挖矿 以太

了解更多区块链知识,下载【 数字钱包 】有奖!
« 上一条| 下一条 »
非小号交易所排名-专业的交易行情资讯门户网站,提供区块链比特币行情查询、比特币价格、比特币钱包、比特币智能合约、比特币量化交易策略分析,狗狗币以太坊以太币玩客币雷达币波场环保币柚子币莱特币瑞波币公信宝等虚拟加密电子数字货币价格查询汇率换算,币看比特儿火币网币安网欧易虎符抹茶XMEX合约交易所APP,比特币挖矿金色财经巴比特范非小号资讯平台。
飞鸟非小号行情 yonghaoka.cn 飞鸟用好卡 ©2020-2024版权所有 桂ICP备18005582号-1