自动做市商协议MonoX遭闪电贷攻击事件全解析

11月30日,链必应-区块链安全态势感知平台舆情监测显示,自动做市商协议MonoX遭闪电贷攻击,获利约3100万美元。关于本次攻击,成都链安技术团队第一时间进行了事件分析。#1事件概览

攻击发生之后,MonoX在官方推特确认其合约遭到攻击,团队正在调查并将尽最大努力追回被盗资金。

MonoX使用单边代币池模型,其使用vCASH稳定币与AMM提供的代币创建虚拟的交易对。简单来说,MonoX创建的是代币-vCASH交易对,添加流动性时,只需要添加代币,进行任意代币兑换时,兑换路径为:代币A->vCASH->代币B,而不需要像Uniswap一样经过多个交易对:代币A->Pair1->Pair2->Pair3->TokenB。#2事件具体分析

攻击者使用相同的地址0xEcbE385F78041895c311070F344b55BfAa953258对以太坊以及MATIC上的MonoX发起了攻击,在两个平台进行攻击所部署的合约一致。攻击交易为:以太坊:0x9f14d093a2349de08f02fc0fb018dadb449351d0cdb7d0738ff69cc6fef5f299MATIC:0x5a03b9c03eedcb9ec6e70c6841eaa4976a732d050a6218969e39483bb3004d5d由于两个平台代码完全一致,下面的分析将基于以太坊上的攻击交易进行。Round1

自动做市商协议MonoX确认其合约遭到攻击:金色财经报道,自动做市商协议MonoX在官方推特确认其合约遭到攻击。团队正在调查并将尽最大努力追回被盗资金。MonoX表示,攻击者利用互换合约,推高MONO价格,然后使用MONO购买池中的所有其他资产。此外,MonoX希望与黑客进行沟通。此前消息,自动做市商协议MonoX疑遭闪电贷攻击,损失约3100万美元。[2021/11/30 12:41:49]

将0.1WETH通过Monoswap中兑换为79.98609431154262101MONO;

图1WETH兑换MONORound2

移除Monoswap所有的流动性。这里利用了Monoswap合约中的任意地址流动性移除漏洞。漏洞1:Monoswap合约中未检测流动性的所有者to是否为msg.sender。_removeLiquidity函数中,如图2所示,第443行,获取调用者(攻击合约)最后一次添加流动性的时间戳,返回结果是0,因此第445行的检测通过。第446行,topLPHolderOf如果不是调用者(攻击合约)地址,第447行的检测通过。此后移除流动性相关代码中,再无msg.sender相关的操作。

基于Algorand自动做市商Tinyman完成250万美元融资:10 月 8 日消息,基于 Algorand 自动做市商 Tinyman 近日完成 250 万美元融资,Borderless Capital、Arrington Capital、The LAO 、Genesis Capital、Digital Currency Group(CoinDesk 母公司)、BlockTower Capital 和 GoldenTree Asset Management 等参投。

Tinyman 创始人 Kaan Eryilmaz 在接受 CoinDesk 采访时表示:「对于任何 Block chain 生态系统的存在,都需要这些核心项目作为资金和投资者之间的门户。为 Algorand 构建一个 AMM 是非常有意义的,而且这也是 Algorand 迫切需要的。(CoinDesk )[2021/10/8 20:13:00]

图2_removeLiquidity源码

Aave推出自动做市商(AMM)市场,Uniswap和Balancer LP代币可作为抵押品:3月16日消息,Aave推出自动做市商(AMM)市场,用户可以开始从Aave AMM Liquidity Pool存入和借入加密资产,允许Uniswap V2和Balancer的流动性提供者( LP)使用其LP代币作为Aave协议中的抵押品。[2021/3/16 18:49:54]

图3第一次移除流动性内部调用细节

图4移除Monoswap中MONO池所有的流动性Round3

添加极少数量的MONO到Monoswap中,这一步是为了后面快速提升MONO的价格做准备。

V神:预测市场在过去一个月才意识到自动做市商对用户重要性:The Block研究总监Larry?Cermak在推特表示,对于预测市场,我很惊讶在这次选举中赔率(OI值)还这么低,这可能是历史上最大的投注事件。对于非加密用户来说,用户界面和用户体验仍然是一个问题。但我也认为,预测市场将在未来几年崩盘。对此V神回复称,公平地说,预测市场(PM)社区似乎在过去的一个月才意识到自动做市商(AMMs)对于用户体验的重要性。今日消息,V神推荐Libra项目负责人关注预测市场类DeFi项目。[2020/11/3 11:33:03]

图5攻击合约添加流动性Round4

利用Monoswap合约中的代币兑换价格覆写漏洞,反复进行同种代币的兑换,拉升MONO的价格。第3步攻击者将Monoswap合约中MONO的储量控制到了一个极小的值,目的就是更快的以极低的MONO数量来拉升MONO的价格。漏洞2:Monoswap合约的代币兑换过程为:检查兑换参数是否正常,然后计算应输入输出代币的数量以及代币兑换后的价格,最后执行兑换操作并将新的代币价格写入账本。以上逻辑在不同种代币兑换的时候会正常运行。但是在同种代币兑换时,将出现两处问题:在_getNewPrice函数计算应输入输出代币数量时,未考虑到兑换过程中交易池代币储量的变更,同种代币是基于相同的初始价格进行兑换后价格的计算。在最后一步更新代币过程中,未考虑到同种代币进行兑换时,兑出代币的价格更新操作会覆盖兑入代币更新的操作。该漏洞导致MONO代币兑换MONO代币时,MONO的价格异常增长。此外不止攻击者使用的swapExactTokenForToken函数存在该问题,swapTokenForExactToken函数也存在该问题。

Ocean Protocol与Balancer Labs合作将创建数据自动做市商:9月24日消息,基于区块链的数据货币化创业公司OceanProtocol宣布将与BalancerLabs合作,创建首个用于数据的自动做市商(AMM)。据悉,OceanProtocol旨在帮助个人和企业解锁数据并将其货币化,将数据和人工智能的好处扩展到少数囤积、控制并从中致富的组织之外。Ocean创始人TrentMcConaghy表示,创建高效的数据市场是实现这一目标的关键,因此与BalancerLabs达成合作。(CoinDesk)[2020/9/24]

图6swapIn函数源码

图7兑换过程参数计算

图8兑换后价格计算

图9swapOut函数源码现在看看攻击者是如何利用漏洞2进行攻击的:如图10所示,初始MONO的价格为5.218vCASH/MONO。

图10初始MONO价格然后攻击者反复进行MONO->MONO的兑换,一共进行了55次兑换,如下图所示:

图11反复兑换,拉升MONO价格对其中一笔兑换交易进行分析,每次兑换的数量是交易池中MONO的总量减去1,这是能够最大提升MONO价格的兑换数量(使图8_getNewPrice第527行,分母为1)。另外由于交易池中MONO的总量较低,攻击者已经通过第1步保证了有足够的余额进行兑换操作。

图12MONO兑换细节截止至兑换结束时,MONO的价格已经被拉升至843,741,636,512.366vCASH/MONO。攻击合约中剩余51.92049285389317MONO。

图13最终的MONO价格通过UniswapV2的USDC/WETH池借入了847.2066974335073WETH。然后攻击者通过Monoswap将0.0709532091008681MONO兑换为4,029,106.880396USDC,然后将USDC归还给USDC/WETH池。注意,这里实际上是攻击者将从Monoswap中兑换的USDC到UniswapV2中兑换为WETH,而不是闪电贷攻击。攻击者所有转出的资产如下:

所有被盗资产全部发送到0x8f6a86f3ab015f4d03ddb13abb02710e6d7ab31b地址。目前项目方已经和攻击者进行了沟通,成都链安将持续对此事件进行监控。#3事件复盘

这次攻击事件中,攻击者利用了合约中的两个漏洞:任何地址都可以任意移除指定地址的流动性;特殊情况下的价格写入操作覆盖问题。建议项目方在进行合约开发过程中做好权限的检查;在开发以及测试过程中将特殊情况纳入考虑,例如同种代币转账。

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

银河链

币赢一文读懂加密衍生品交易平台「BIKA」

近年来,数字资产交易市场正在经历爆发式增长,中心化交易平台上的衍生品交易规模更是早已大幅超越现货交易量。在去中心化交易平台上,dYdX的市场占有率遥遥领先。而在中心化交易平台中,衍生品交易领域何时能诞生新的独角兽让人充满遐想.

[0:15ms0-2:254ms