GET:抢先交易机器人:以太坊黑暗森林中的怪物

注:原文作者是Paradigm研究合伙人DanRobinson和GeorgiosKonstantopoulos。

这是一个恐怖且真实发生的故事。

挑战

像任何正常人一样,我花了很多时间潜伏在UniswapDiscord的支持频道里。

周三下午,有人问是否能够收回意外发送到配对合约的Uniswap流动性代币。

我最初的想法是,这些代币将被永远锁定,但那天深夜,我突然意识到,如果这些代币仍在那里,那任何人都可以去恢复它们。

当任何人调用Uniswap核心合约上的burn函数时,该合约会测量自己的流动性代币余额并将其烧掉,将提取的代币提供给调用者指定的地址。这是Uniswapv2预期行为的核心部分。

我找到了这个合约,这些流动性代币仍然在那里,它们的价值大约为12000美元。

Immutable X宣布在L2上已集成GameStop抢先体验版钱包:金色财经消息,以太坊NFT二层扩容方案Immutable X宣布在L2上已集成GameStop抢先体验版钱包,用户可以使用GameStop钱包与Immutable X进行存款或取款、签名等操作。

据悉,抢先体验版钱包通过链接来访问Immutable X市场或其他合作伙伴,需要用户在连接时确认GameStop钱包是否出现在钱包选择菜单。[2022/7/29 2:45:04]

这意味着三件事:

有一个滴答作响的时钟,即使没有其他人注意到这笔免费资金,任何人都可以在任何时候移除自己的流动资金,并意外地从合约中获得这些代币;

我可以戴上我的白帽,试着帮失主找回他的代币,这很简单,我只需要调用池子的burn函数,将我自己的地址传递给它。

只是…我知道这不简单。

黑暗森林

以太坊区块链是一个高度敌对的环境,这一点已经不是什么秘密。如果一个智能合约可以被用来牟利,那它最终就会被利用。黑客攻击的频繁发生表明,一些非常聪明的人花了大量时间来检查合约中的漏洞。但这种无情的环境与Mempool相比显得相形见绌。如果说区块链本身就是一个战场,那么mempool就是更糟糕的东西:一片黑暗的森林。

Karura网络发生首次抢先交易,Mangata正开发共识机制以预防此类攻击:8月31日消息,波卡生态跨链去中心化交易平台Mangata发文称Karura网络发生首次抢先交易并解释交易细节,Mangata正在开发一种共识机制防止抢先交易和价值提取。8月25日,Mangata观察到一笔抢先交易:攻击者监测到一笔待处理的10万枚kUSD兑换KSM的交易,考虑到Karura上的kUSD/KSM流动资金池仅有约600到700万kUSD,预计这笔交易预计将推高KSM价格。其通过额外支付0.001KAR小费成功在这笔交易达成抢跑,用235kUSD兑换到0.7627KSM,并在两个区块后成功用0.7627KSM换回240.63kUSD(大额交易导致KSM价格上涨),以此在攻击中获利5.63kUSD,而攻击成本仅为0.0066KAR(约0.05美元)。[2021/8/31 22:49:53]

Civic首席执行官:比特币的下一轮牛市将由知晓抢先交易市场中的人引领:Civic首席执行官Vinny Lingham在推特上转发“古根海姆宏观机会基金向美国SEC申请投资比特币”的报道并表示,随着越来越多的机构和主权财富资本被配置,比特币的下一轮牛市将由知晓抢先交易市场中的人引领。[2020/11/29 22:28:59]

《黑暗森林》是我最喜欢的科幻小说,它引入了“黑暗森林”的概念,在这种环境中,探测意味着某些高级捕食者的死亡。在这种环境下,公开识别别人的位置和直接摧毁他们一样好。(这一概念也是以太坊测试网上的

DarkForest游戏的灵感来源。)

在以太坊Mempool中,这些顶级捕食者会采取“套利机器人”的形式。套利机器人监控等待中的交易,并试图利用它们创造盈利机会。对于这些机器人,没有哪个白帽比PhilDaian更了解这些机器人,他和他的同事一起撰写了《FlashBoys2.0》论文,并创造了术语“矿工可提取价值”。

Phil曾经告诉了我一个他称之为“广义抢跑者”的宇宙恐怖存在。套利机器人通常在Mempool中寻找特定类型的交易,并尝试按照预先确定的算法进行抢先交易。通用的抢跑者通过复制并用自己的地址替换来寻找任何可使抢跑获利的交易。

观点:NEAR协议抢先实施EIP-1559 但效果可能适得其反:开放性网络平台NEAR Protocol (NEAR)已于近日迎来主网。该网络目标是与以太坊竞争,争夺智能合约开发者。与此同时,NEAR也采用了EIP-1559提案,而根据加密货币研究员Hasu的分析表明,NEAR所采用的设计可能存在严重的错误,这会导致市场有强烈的动机来规避其目前的机制,从而产生适得其反的效果。EIP-1559大大改变了当前以太坊的费用模型,其带来了很多实质性的好处,其中之一是使用户更容易预测费用,几乎完全消除了出价过高的情况。乍一看,NEAR完全是复制了以太坊的EIP-1559。

例如,以太坊中每个区块的最大费用变化为12.5%,区块时间大约为12-13秒,而在NEAR中,每秒区块时间的最大变化为1%。但再细看,NEAR所实施的EIP-1559有两个大的不同:1.用户无法在协议中打赏(激励)区块生产者;2.它向智能合约支付基础费用的30%。综合考虑,NEAR的解决方案不仅不能改善结果,反而会使结果变得更糟。通过禁止向区块生产者支付费用,NEAR的解决方案会鼓励形成一个交易优先权的“黑市”。通过向应用开发者增加一个强制租金,其只会强迫应用向用户退款,甚至可能在此过程中破坏它的EIP-1559。(Deribit Insights)[2020/10/20]

这就是为什么这次救援行动不会简单的原因。任何人都可以调用这个burn函数,如果我提交了一笔调用burn函数的交易,它就像一个闪烁的“免费货币”标志,直接指向这个有利可图的机会。如果这些怪物真的在mempool中,它们会看到,复制然后变异,并在我的交易被接受之前抢先完成交易。

声音 | 中科院王小云:我国亟需抢先制定区块链等密码协议标准与技术规范:由中国科学院学部主办、中国信息通信研究院等单位联合支持的“区块链技术与应用”科学与技术前沿论坛于2019年12月7日、8日在深圳举办。中国科学院院士、清华大学高等研究院“杨振宁讲座”教授、国际密码协会会士(IACR Fellow)王小云院士,在大会上进行了主题为“Hash函数与区块链技术”的开幕报告。王院士表示对我国的密码学充满信心,“在密码协议方面,我们国家和其他国家都是处在同一个起跑线上”,同时她也指出了我国密码学未来的发展方向,“哪个国家先制定标准,就掌握了先机。我国亟需抢先制定物联网、车联网、区块链、国产操作系统等密码协议标准与技术规范。”[2019/12/7]

请注意,这种环境比以太坊区块链状态本身更残酷。这些免费的资金已经在区块链上停留了大约8个小时,它们尚未被发现,等待着被任何一个调用burn函数的人从池子中提取出流动性代币。但任何试图捡起它的尝试,都会在飞行过程中立即遭到阻击。

营救行动

为了在不通知机器人的情况下提取到资金,我需要混淆这笔交易,这样机器人就无法检测到它对Uniswap对的调用,这将涉及编写和部署定制合约。尽管我是一个专业的DeFi思想领袖,但我以前从未在以太坊上部署过合约。

我需要帮助,而当时已经过了午夜。幸运的是,我认识的一些最好的智能合约工程师生活在欧洲时区。我在Paradigm的同事GeorgiosKonstantopoulos同意帮助部署合约并提交交易。我们另一家投资组合公司Yield的首席工程师AlbertoCuestaCa?ada则自愿执行合约。

一些优秀的以太坊安全工程师帮助我们想出了一个混淆方案。除了将调用隐藏为内部交易外,我们还将交易分为两部分:一笔是激活我们合约的set交易,另一笔是在合约被激活的情况下拯救资金的get交易。具体实施如下:

部署一个Getter合约,当所有者调用它时,它只在激活时发出burn调用,否则将恢复;

部署一个Setter合约,当所有者调用它时,它将激活Getter合约;

在同一个区块中提交set交易和get交易;

图:我们自定义智能合约的代码

如果攻击者只尝试执行

get交易,它将在没有调用

set交易的情况下恢复。我们希望在攻击者按顺序执行这两笔交易之前,我们的交易能够先被区块纳入。

图:我们的救援脚本

令我们惊讶的是,即使我们手动调高了gas费用,

set交易依旧被Infura拒绝了。在几次失败的尝试和重置之后,时间给了我们压力,然后我们开始变得草率了。我们让第二笔交易溜到了之后的一个区块。

而这成了一个致命错误!

我们的get交易确实被纳入了,但是出现了一个UniswapV2:INSUFFICIENT_LIQUIDITY_BURNED错误,这意味着流动性代币没了。结果是,在我们的get交易进入mempool后的几秒钟内,就有人执行了调用,并扫荡走了资金。

怪物吞噬了我们。

教训

教训1:怪物是真实存在的!

尽管从理智上,我们知道这些抢先交易机器人普遍存在,但在你真正看到它们的行动之前,你很可能低估了它们。

我们抱着一丝侥幸,通过授权合约将救援作为内部调用,我们原本以为它能保护我们,但现实并不是。

如果你发现自己也处于这样的情况,我们建议你联系ScottBigelow,他是一位一直在研究该主题的安全研究人员,而他有一个更好的混淆原型实现。

教训2:别草率

即使在时间紧迫的情况下,我们也应该坚持原计划。如果我们花更多的时间在脚本上,调整合约(也许将

Getter合约改为什么都不做,而不是在激活前恢复调用),或者甚至同步我们自己的节点以避免使用Infura,我们可能就能将两笔交易放入同一个区块中。

教训3:不要依赖一般的基础设施

你所做的事情越奇怪,你就越难通过现有的基础设施,比如Infura。在我们的案例中,我们试图提交一笔基于当前区块链状态看起来会失败的交易,Infura对此有合理的保护措施。而使用我们自己的节点可以避免这个问题。

或者,如果你碰巧认识一个大矿工,你可以让他们直接在一个区块中纳入你要提交的交易,完全跳过mempool和怪物。

教训4:未来只会变得更可怕

这只是发生在我们身上的抢先交易事件的一个例子,而类似的事情每天会发生很多次。今天,抢先交易者只是机器人,而明天,则可能会是矿工。

今天,矿工们并没有抓住这些机会,把钱留在了原地,但谁也不能保证,他们将来是否会重新排序并提交自己的交易,为其自身利益服务。更糟糕的是,他们可能会重构其他矿工开采的区块,试图窃取他们没有认领的MEV,从而导致区块链的不稳定。

我们认为这种未来是可以避免的。Optimism有一个雄心勃勃的愿景,即如何将MEV重新定向以造福于生态系统,以作为其layer2扩展性解决方案optimisticrollup的一部分。

如果你正在思考关于MEV的事,或在这一领域建设些什么,请联系我们!

感谢AlbertoCuestaCa?ada、ScottBigelow、PhilDaian、CharlieNoyes以及SamSun对这篇文章提供的帮助。

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

金星链

[0:0ms0-0:828ms