MEV 审查困境:SUAVE 会是一个好的解决方案吗?_MEV:BLOC

撰文:TJKeel

编译:aididiaojp.eth,ForesightNews

SUAVE是去中心化且开源的,内设有一个加密内存池,这意味着交易保留了一定程度的不透明性。

MEV审查现状

并非所有验证者都明确且有目的地提议由MEV中继构建的区块。许多验证者提出普通区块,或从mempool中选择区块,而没有考虑排序,它们纯粹基于优先费用和区块限制。

例如,Coinbase是Lido以外最大的中心化质押提供商,最近才开始将MEV纳入他们提议的少数区块中。另一方面,Kraken提议的区块中有一半以上已明确被排序。Kraken显然比Coinbase获得了更多的质押奖励。那么问题是为什么Coinbase会放弃这种额外的收益?Kraken是否承担了额外的风险?

验证者在选择MEV中继器时会考虑多个变量,其中有两个主要考虑因素:

区块中是否有来自OFAC制裁地址的交易?

MEV中继器是否有助于抢跑交易?

验证者分别通过合规性和盈利能力的组合来权衡这些变量。

Safe、BitKeep等超30个项目合作推出MEV Blocker RPC:4月5日消息,Safe、BitKeep、DODO、Oasis、Balancer、1inch等超过30个以太坊项目合作推出MEV Blocker RPC,该工具旨在保护用户免受各种类型的MEV攻击。

MEV Blocker RPC是一个路由用户交易到“搜索器”网络而不是公共内存池的工具,这些搜索器通过竞标获取反向运行交易的权利,保护用户免受抢先交易和三明治攻击。[2023/4/5 13:46:40]

例如,以BloXrouteMaxProfit为例,它是唯一严格优先考虑盈利能力的MEV中继器。如下图所示,该中继仅占所有中继交易的12.2%,这表明大多数验证者的唯一目标并不是盈利。

下面我们展示了自合并以来以太坊上中继区块的分布:

自以太坊过渡到权益证明以来,Flashbots中继了超过75%明确排序的以太坊区块。从去中心化的角度来看,这显然并不理想,好在这一市场份额已经在逐渐正常化。我们已经确定了三个用于衡量合并后集中度的类似指标。

安全团队:某MEV机器人被利用,损失约187.75WETH:10月14日消息,BlockSec监测显示,MEV机器人(0x00000.....be0d72)被利用,损失约为187.75WETH。其中攻击者用Flashloan借了1WETH并发送给机器人,随后机器人将WETH换成USDC并发送到攻击者的合约,攻击者将USDC换成WETH并提现。[2022/10/14 14:27:39]

我们正在考虑一种主观权衡。例如,法律要求中心化交易所选择执行OFAC黑名单的中继。此外任何代表他人抵押ETH的实体,无论是中心化的还是去中心化的,在财务上都有义务从包含抢先交易的中继中提出区块。也就是说,受托责任要求提出最有利可图的区块。

只有单独的验证者,即可以自行决定其以太坊质押奖励的用户,能够选择既不遵守OFAC黑名单的中继,也不会提议包含内存池抢先交易的区块。这并不是说抢先交易是不道德的,我们只是简单地声明,独立节点运营商是唯一在战略上能够放弃上述两个考虑因素并追求BloXrouteEthical中继的参与者。

合规性和盈利能力这两个变量对以太坊MEV都有相当大的影响。例如,如果OFAC制裁的地址提交了一项具有高优先级费用的交易,那么选择包含此类交易的验证者必然会在经济上受益。由于验证者的提议是随机的,我们知道订阅OFAC不可知中继的验证者最终将能够提议包含不合规交易的区块,只要它保留在内存池中。

Jito Labs已完成Solana主网上首次MEV分发:9月19日消息,推特ID为@0xspl_iff的Jito Labs团队成员表示,Jito Labs已于北京时间今日6:00左右完成了Solana主网上首次MEV分发。

此前报道,Solana生态MEV基础设施开发商Jito Labs于8月宣布完成由Multicoin Capital和Framework Ventures领投的1000万美元A轮融资。[2022/9/19 7:06:17]

同样,抢先交易、夹心交易、套利和其他形式的交易排序在区块链上提供了更有效的价格发现机制,从而使支持MEV的运营商可以获得更高的收益。

然而,当查看中继块的平均值时,会发生一些有趣的事情,例如BloXrouteMaxProfit中继的收入与其受监管的中继相同。从理论上讲,这不应该出现,因为排除黑名单地址只会对优先费用排序产生负面影响。

排序策略和区块价值

要理解为什么「平均块价值」不一定代表最有利可图的中继策略,我们必须首先澄清两件事。

首先,我们必须认识到MEV中继器固有的规模经济。如果中继提出一定比例的区块,在某种程度上,他们能够计算出构建后续区块的可能性。如果能成功连续建造两个区块,则可以为MEV提供更多的中继机会。

Flashbots 发布 MEV-Boost v1.0.0:9月13日消息,MEV解决方案 Flashbots 发布 MEV-Boost v1.0.0。MEV-Boost 旨在与标准 Ethereum Builder API 兼容,这意味着它与所有共识和执行客户端兼容。[2022/9/13 13:26:20]

让我们换一种说法:如果Flashbots中继为提议的验证者构建了最有利可图的区块,并且知道他们构建区块链中下一个区块的可能性,这将影响原始区块和后续区块的组成。随着Flashbots的建造者主导地位下降,他们赢得连续区块的可能性也随之下降。

其次,我们必须了解中继器在技术上是如何选择的。根据用于部署节点的智能节点堆栈,验证者可能能够对他们的首选中继进行排序,这一点是无法被禁止的。在这种情况下,验证者总是可以利用最有利可图的中继,碰巧获得区块提议的以太坊验证者能够强制该区块由最有利可图的中继提交。

考虑到这一点,然后从统计角度来看,无论样本大小如何,观察到的「平均区块价值」不一定代表最有利可图的中继策略。例如,为什么通过「BloXrouteMaxProfit」中继提议的区块价值通常小于「BloXrouteRegulated」提议的区块价值?从表1中我们知道这是不可能的。

王纯:对于MEV可能存在的问题可通过代码的方式来应对:F2Pool联合创始人、stakefish创始人王纯在DeFi Discussions线上峰会探讨MEV(矿工可提取价值)话题时指出,以代码即法律的观点来讲,就要看代码是否允许提前交易重拍交易等矿工获取MEV的行为。这有些像探讨51%攻击一样,它是比特币的特点而不是bug。在2016年的The DAO事件时有许多关于分叉的争议,当时F2Pool可能是唯一不支持任何人为因素致使分叉的主流矿池,因为我们相信“代码即法律”。我们可能并不应该去限制自己这样的能力,而是在如果获取MEV成为问题或者对网络造成威胁,我们可以考虑创建一个API让每个人都能做到提前交易或者重排交易,依次来应对这个问题。这类似于Push Tx或者交易加速这种功能,目前已经有参与者询问我们是否可以提供在以太坊上类似的服务,我们可以看看这类服务如何影响网络。[2020/5/4]

一个实际的例子可以清楚地说明这一点:

整个质押池只有列入白名单的Flashbots和BloXroute受监管的中继。根据定义,如果BloXrouteRegulated中继比提议的Flashbots中继更有利可图,则相关池中的验证者只会从BloXrouteRegulated中继选择一个区块,也就是说该验证者不会考虑其他中继构建的区块,我们知道MEV有序区块必然比正常的收费区块更有利可图。

由于不同的排序策略,无论黑名单和抢先交易任务如何,BloXrouteRegulated中继如果被选为主要矿池的备用提议者,通常就会很容易获得比不受限制的BloXroute中继更高的区块奖励。

审查制度

上文提到仅Flashbots审查中继就占所有中继交易的80%以上。但要记住,并不是所有的验证者都将他们的区块构建外包给MEV中继,许多人仍然会提出普通区块,或者本地排序区块。截至12月14日,大约70%的提议区块都通过执行OFAC审查的MEV中继路由。

在即将到来的上海升级中启用提款后,重新洗牌后的质押以太坊可能会大大降低这一数字。

现在有多少交易在以太坊上实际受到审查?鉴于我们知道通过OFAC兼容中继路由的提议区块数量,我们唯一需要的额外信息是平均区块时间,并且我们知道每12秒就有一个新的以太坊区块。

我们可以做一些基本的数学运算来计算不合规交易被包含在一个区块中的可能性,然后将其投射到添加到链中的任意数量的区块中。

C=符合OFAC要求的提议区块的百分比。

B=未来的块数

Y=在给定数量的块之后包含一个审查块的可能性

Y=1–(C^B)

30%的可能性,一个受审查的交易在一个区块中完成。

51%的可能性,受审查的交易在接下来两个区块中完成。

97%的可能性,受审查的交易会在后续10个区块中完成。

如前所述,我们知道10个区块的时间是120秒。

因此,即使超过90%的验证者通过MEV审查中继器交易,不合规的交易也会在一小时内完成。这也是假设用户不提出包括高于平均优先权的费用;在大多数情况下,足够高的优先费将确保包含在下一个区块中。

SUAVE会是一个好的解决方案吗?

在Devcon上,Flashbots通过新版本的中继器给出了对这些审查问题的答案:SUAVE。

SUAVE是去中心化且开源的,内设有一个加密内存池,这意味着交易保留了一定程度的不透明性。MEV中继将能够在不知道交易的确切内容的情况下动态计算从mempool中排序的可提取价值,从而在包含任何被审查的交易时可以给定一个模糊的界限从而使区块成功被构建。

目前代币方案仍然未知,但很有可能会发币,否则很难适以去中心化协议的方式运营下去。他们也有可能只是将解决方案作为一种公共产品来呈现,并放弃任何形式的代币化。Flashbots目前没有通过MEV-Boost获利,并且已经开源了他们中继的所有代码,最近也开源了区块构建器的代码。

Flashbots正在尝试尽快构建和部署此解决方案,但自Devcon以来还没有其他详细信息。以太坊的协议级别也提出了一些技术解决方案,可以显着削弱Flashbots在以太坊生态系统中的作用。

某些版本的SUAVE可能会被整合到所有或大部分中继器中。就目前而言,表1中引用的大多数最流行的中继器共享相同的代码库。Flashbots对审查问题的第一反应是开源他们的代码,从而使BloXroute和Eden能够快速开发。

目前在开发SUAVE的同时,Flashbots正试图以其他方式改善这个问题。最近Flashbots发布了一个名为「min-bid」的新参数。此功能允许验证者设置一个最小值阈值,在该阈值下他们将忽略MEV提议的块,并可以在本地直接构建。作为验证者,仍然可以抓住偶尔的超高利润MEV提案,而无需只是为了稍微更有利可图启用审查制度。

众所周知,提议区块的价值差异很大。有些区块比普通区块更有利可图,有些甚至可以奖励你几十个以太坊!通过使用这个「最低出价」门槛,验证者现在可以选择他们愿意遵守OFAC的特定价格。

crLists和PBS限制

抗审查列表crLists可以强制区块构建者将交易包含在给定的区块中,否则验证者必须拒绝它。ProposalBuilderSeparation能够将强制提议者或验证者使用构建者构建的区块,而不是在本地构建自己的区块。

在协议级别结合并包含这两种升级将严重抑制中继混淆特定交易的能力。任何未来的升级都可能将这两种升级合并到同一个分支中,而不仅仅是一个。例如,没有crLists的PBS实际上会使审查制度变得更糟。

在crList模型下,提议者将集成可能被审查的交易。只要找到提供足够Gas的交易,在统计上显着数量的区块就能被忽略。如果提议者在没有最大化区块限制的情况下构建块,则他们必须在crList上包含尽可能多的交易。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:15ms0-7:152ms