火星链 火星链
Ctrl+D收藏火星链
首页 > 币赢 > 正文

MEV:从修正 MEV 定义入手,解读如何解决多区块问题

作者:

时间:1900/1/1 0:00:00

原文标题:《DeFi之道丨MEV的定义究竟是什么?Flashbots进行了详细解释》

来源:Flashbots

感谢PhilDaian、AlexObadia和MahimnaKelkar就该主题进行了大量讨论。

自从Daian等人在2019年的?Flashboys2.0?论文中引入矿工可提取价值以来,关于MEV的讨论已经很多。特别是,FlashbotsAuction的推出推动了当今跨越各种区块链和中心化交易所的十亿美元经济。从激动人心的Twitter话题到学术研究论文,MEV现象已成为加密货币讨论的核心。然而,奇怪的是,对于MEV的正式定义并没有达成一致。

虽然有些人可能会争辩说,在大多数情况下,广泛共享的、直观的MEV概念就足够了,但我们认为,适当的正式化对于建立可以进行复杂理论化的基础至关重要。正如TimRoughgarden在最近一次关于构建DeFi理论的演讲中所说的那样,在“简单”和后来的“困难”定理之前,第一步是要有定义和基本词汇。此外,正如最近的公开讨论所证明的那样,有些人声称套利不是MEV,甚至可能是我们根本不共享MEV的直观概念!一个统一正式的MEV定义肯定会有所帮助。

然而,事实证明,以稳健、通用的方式正式化MEV并非易事。在这篇文章中,我们探讨了在尝试提出这样一个定义时遇到的一些困难。我们首先回顾一些现有的正式化,指出它们的一些问题,并继续寻求对其中一些进行修正。虽然我们提出了改进其中一些问题的新定义,但我们的主要贡献在于突出了所涉及的许多微妙之处,为未来围绕MEV的工作采用更系统的方法铺平了道路。

Kaiko:Kraken超越Coinbase成为美国最具流动性的山寨币交易所:金色财经报道,根据加密货币研究公司Kaiko的数据,总部位于美国加州的加密货币交易所Kraken已成为美国山寨币交易的首选市场,超过了Coinbase等竞争对手。Kaiko称,Kraken占据了前10名山寨币市场深度的47%。市场深度是指特定市场在不影响该市场资产价格的情况下吸收大量买入或卖出订单的能力。去年价格下跌和FTX崩溃之后,交易所和加密货币的市场深度和流动性受到了负面影响。

根据TheBlock的数据仪表板,除了在替代品市场深度更加强劲之外,Kraken在支持美元存款的交易所中的市场份额去年稳步增长,从2022年8月的8.3%左右上升到今年7月的21.1%。[2023/8/11 16:20:55]

当前MEV定义

最初的Flashboys论文将MEV定义为“在给定时间范围内,以太坊矿工可以从交易操纵中提取的总量,其中可能包括多个区块的交易价值”,但没有尝试正式定义。最近,广泛采用的工作定义类似于:

MEV是区块提议者可以通过重新排序、审查或插入交易而无需许可地提取的价值。

也许最接近正式化的定义是最近的ClockworkFinance论文中通过以下两个表达式给出的定义:

加密做市商GSR将启动GSR基金会,并认捐1000万美元:金色财经报道,加密货币做市商GSR 将启动 GSR 基金会,并认捐 1000 万美元,该公司表示将用于解决边缘化社区遇到的技术障碍。GSR 基金会将支持全球的非营利组织,旨在纠正慈善生态系统中可以通过新兴技术克服的根深蒂固的问题。[2023/2/16 12:11:14]

和:

这里,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的这个定义作为起点,并注意到大多数其他论文提供了面临相同限制的类似定义,或者根本不提供正式定义。

现存的限制

我们首先注意到上述表达式中的一个致命缺陷:最大可提取值取决于玩家p!这意味着如果p有一些待处理的空投领取,他们的MEV将大于没有的玩家。虽然这对于可提取值可能有意义,但它肯定与“无许可提取”价值的想法不一致。

Gnosis激活The Merge版本并过渡到PoS 共识机制:金色财经报道,以太坊侧链Gnosis已经激活了The Merge 版本,并成为继以太坊之后第二个从不同的共识架构过渡到 PoS 共识机制。Gnosis 链将其之前的执行层与去年推出的Gnosis信标链合并。这个过程发生在12月8号美国东部标准时间周四下午 1 点 47 分 Gnosis 遗留链上商定的TTD,Gnosis 通过将以太坊的 TTD 包含在它自己的 Merge TTD 中来向以太坊致敬。[2022/12/9 21:32:37]

仔细检查后,并不完全清楚“玩家”的概念实际上指的是什么。我们可以确定至少三个相互交织的含义:i)作为交易签名者的玩家,拥有余额和控制账户,ii)作为协议游戏中的参与者,拥有区块提议权,以及iii)网络意义上的玩家,受延迟影响并拥有独特内存池视图的节点运营商。

虽然后一种含义可能不适用于这个公式,但含义i)和ii)有点混淆:p在谈论(1)中的余额时肯定指的是i),但在从到,我们还赋予了p区块提议权,符合含义ii)。我们认为MEV的正确定义应该独立于i)意义上的玩家,也就是说,它不应该依赖于特定的签约权。关于ii),我们将定义给定区块提议权限的MEV。这有效地将问题一方面解耦为价值提取,另一方面获得排序权,这在考虑提取成本、网络安全等时可能会很有用。

数据:持有超32枚ETH的地址以114318个创16个月新高:7月6日消息,据Glassnode数据显示,持有超32枚ETH的地址数量为114318个,创16个月新高。[2022/7/6 1:55:19]

上述定义的其他注意事项是对多区块MEV的处理、因撤回交易而产生的费用的遗漏,以及试图将MEV推广到跨域设置时区块概念的不足。在接下来的内容中,我们尝试修补定义以在可能的情况下解决其中的一些问题,并讨论我们在此过程中发现的一些其他困难。

修补MEV

如上所述,首要任务是提出一个真正无需许可的MEV定义。我们将在可提取值的定义中保留玩家依赖性,但在移动到MEV时摆脱它。我们在这里注意到,我们在上面i)的意义上使用player,赋予它对EV和MEV的完整区块排序权限。我们提出以下建议:

这里的第一个表达式与(1)非常相似,但我们删除了对有效区块序列集的依赖,这是隐式的,我们只考虑单个块。这里的validBlocks(p)是p可以提出的有效区块的集合。B(s)反过来表示通过在状态s之上应用区块B获得的状态。

在表达式(4)中,我们获得了MEV的定义,根据需要,该定义独立于玩家。虽然在最大可提取值的定义中找到最小值可能有悖常理,但这个最小值只是编码了提取应该是无许可的想法。EV已经负责最大化,无需许可即可提取的价值是特权最低的参与者可以从网络中获取的价值。

安全团队:QANplatform攻击者通过Tornado Cash转移了186枚ETH:金色财经报道,据CertiK安全团队监测,QANplatform攻击者通过Tornado Cash转移了186枚ETH(价值约36.5万美元)。钱包地址:ETH:0xc6d3F752A65Df7fb937B25C55Bea6Ae7E70f07Ce。[2022/5/19 3:28:04]

然而,这个定义引出了一个问题,当挖矿需要前期资本时会发生什么?定义(2)没有这个问题,因为它对玩家有明确的依赖,但是现在删除了它,我们需要考虑到某些MEV可能只能在某些初始资本水平下才能提取。然而,我们注意到gas费用不是这里要求的一部分,因为提议者可以随意排序“免费”交易,因此即使没有初始资本,通常MEV也可能大于零。

尽管如此,我们希望明确对资本的依赖,因为许多MEV机会都依赖于它。我们写中的EV):

这个定义告诉我们,状态s中初始资本K的最大可提取价值是任何至少拥有该数量初始资本的玩家可以提取的价值。

我们考虑的下一步是内存池中的交易会发生什么。在上面我们考虑了“有效区块”,但至关重要的是,这些可以包含已撤回的交易,即支付费用,但不修改状态。这是一个棘手的问题,因为它涉及上面的含义iii)对玩家来说,因为内存池的不同视图会产生不同的有效区块集。虽然在实践中提取MEV的搜索者不断在内存池中寻找机会,但交易最终需要包含在一个区块中以修改状态并产生机会,因此如果我们在有效交易方面不失一般性只考虑状态变化,而不是更一般的有效块概念。在这种情况下,我们确实丢失了作为MEV来源的撤回交易,因此我们可以尝试修改我们的公式以包含依赖于玩家的内存池的视图,但这会混淆i)和iii)的含义,并且我们会遇到最小化过度玩家时的麻烦。考虑到内存池架构仅针对某些领域,这也会限制表达式的泛化性。因此,我们明确排除了作为MEV来源的撤回交易,但请注意,它们是排序器带回的收入的一部分,并有助于MEV提取的负外部性,如可提取价值成本?所量化。

省略撤回交易使我们能够走得更远,超越区块的概念,这将使我们能够在更一般的领域中考虑MEV。我们将可提取价值的定义重写为:

这里,S是所有状态的集合,符号SapS'表示状态S'可以通过玩家p的某个动作或动作序列ap从状态s到达。与上面的等式(5)一起,我们获得了可以轻松推广到跨域情况的定义,并解决了我们在定义(1)和(2)中遇到的大多数问题。

悬而未决的问题和扩展

在修补MEV定义时,我们转向了单区块,彻底解决了多区块MEV的问题。事实上,我们最新的表达式(5)和(6)会自动考虑到这一点,因为通过根据状态而不是区块来表达EV,这些公式适用于提议者拥有排序权的任何时期。现在的问题成为如何获得这些订购权的方法之一。为了干净利落地做到这一点,我们需要归因于不同事件的概率,这样我们就可以得出总MEV的预期值。然而,这超出了MEV形式化的范围,因为一旦定义了足够的集成,就可以简单地插入表达式(5)。

我们顺便提到的另一个话题是跨域MEV。在一个不同链有自己的状态更新机制,但通过其状态中的依赖关系有效链接的世界中,我们希望找到MEV,它只能是通过对多个域中的状态变化进行排序来提取。我们在状态方面的表述适用于这种扩展,但需要注意的是,不同的域具有不同的本地资产,我们需要考虑到这一点。我们不会在这里详细介绍,但是可以通过引入定价功能来解决这个问题,以便从一个域转换到另一个域。首先近似,我们可以取一个定价函数pi→j从域i的本地资产到域j的资产,并要求pj→i=1/pi→j。更现实的是,我们预计价格是许多因素的玩家依赖函数,如不同域的不同资产数量、域的信任假设等。

我们注意到,自始至终,我们都将EV和MEV视为玩家的收入,从未考虑过成本。这与我们对具有给定订购权的玩家的定义相吻合,因为获得这些权利可以说是MEV提取中成本最高的组成部分。无论如何,将MEV仅视为收入组成部分并单独考虑提取成本似乎更清晰。就像在多区块设置中一样,我们可以定义一个概率集成来获得排序权,并考虑与每个概率分布相关的成本。然而,更棘手的是,排序权限通常以每个域的特征为单位授予,而成本通常表示为费率。因此,虽然MEV通常以区块形式出现,但生产这些区块的成本将以时间单位表示,并且它们之间的关系的细节将因每个域而异。每个域如何实现最终确定对于建立这种关系也至关重要,所以我们不期望有一种MEV的通用公式来适应它。

最后,我们只考虑了“确定的”MEV,用状态改变后增加的余额来表达它。这不足以描述更一般的“概率MEV”概念,在这种概念中,玩家愿意承担风险以期获得以后的回报。这方面的例子是在预期价格上涨时买断新的代币清单,或者抢跑NFT出价。很可能这些机会中的大部分都可以通过合并定价函数来描述,我们期待看到朝这个方向发展的工作。

结论

MEV兴起需要一种一致的正式方法来解锁正确的理论。然而,正式化MEV涉及大量的技术细节,这些技术细节通常会为了完整性而权衡通用性。在这里,我们为参与者的概念提供了明确的含义,这使我们将获得排序权的问题与价值提取的问题分开,使我们能够在定义MEV时具有很大的普遍性。我们的公式(5)和(6)提供了一个一致的、易于推广的定义,可以用于多领域世界。我们还强调了在实现MEV的正式定义时面临的许多问题,我们希望这些问题能够更系统地处理该主题。

标签:MEVASHGnosisLASMEVRMASHGnosis SafePlastiks

币赢热门资讯
Xangle 项目评测 l Perpetual Protocol : BB+

韩国区块链研究机构Xangle于2021年11月发表PerpetualProtocol项目深度评测报告,以技术、代币经济、成就与进度、财务能力、社群、定性评估等六项评分维度.

1900/1/1 0:00:00
OPEN:1202行情回顾与比特币分析

本周大饼的走势基本上算是正常了,上周急跌之后的修复整理行情,没什么问题。今天的重点已经不是链上数据了,因为目前链上数据变化不大,同时会延续修复整理的走势,是一个被博弈资金接盘的时间段,找出下一个.

1900/1/1 0:00:00
OIN:将NFT融入3A游戏大作中 育碧的野心有多大?

出品|白泽研究院育碧是一家总部设于法国的电子游戏开发商,于1986年成立。育碧在全世界拥有23间游戏开发工作室和28家分公司,是2008年欧洲第三大独立游戏开发商、北美第四大独立游戏出版商.

1900/1/1 0:00:00
数字艺术:游戏——以太坊游戏网络以及他们的第一个自我推进的宇宙级链上游戏?BitDNA

?它是一个基于GETH的官方代码的第2层。它将使从NFT时代到元宇宙的连锁游戏成为可能。这是一次革命性的升级。?大幅降低燃气费用,使NFT铸件不是一个高阈值,以满足游戏操作所需的高频数据需求.

1900/1/1 0:00:00
POL:NFT周刊 | Blockchain推出NFT市场;西雅图成立NFT博物馆

新的一周NFT的相关新闻,有新的品牌进入这个领域,更多的行动打开了NFT的大门,更多的主流IP进入到了区块链领域当中,这是在加密领域极具波澜的一周.

1900/1/1 0:00:00
WEB:关于元宇宙,你需要了解的21个真相

原文作者:陈菜根世界不缺少热点,也不能缺少热点,热点是时代发展的一个可能性,而但凡“可能”,就会伴随“不可能力量”与之对抗,并完成真理的验证.

1900/1/1 0:00:00