Grim Finance闪电贷安全事件分析_DEPO:BitFlyer

安全实验室第一时间对本次事件深入跟踪并进行分析。0x02:事件详情

交易细节如下图所示:

浏览上图的交易过程可知,攻击合约利用闪电贷借取代币WFTM和BTC,将借取的代币与自己铸造的代币质押到SpiritSwap里增加流动性获取lp代币,而问题就出现在攻击者通过depositFor()实现质押的过程中。

通过Tenderly(https://http://dashboard.tenderly.co/tx/fantom/0x19315e5b150d0a83e797203bb9c957ec1fa8a6f404f4f761d970cb29a74a5dd6/debugger调试该笔交易,攻击者多次递归调用depositFor函数,利用该函数获取大量代币:

ZT创新板即将上线DED:据官方公告,ZT创新板即将上线DED,已经开启DED充值,并于6月10日16:00开启DED/USDT、DED/ZTB交易对。

DED是一个基于ZSC开发的高效兑换协议与社区自治生态。DED为用户提供低滑点低手续费高效的稳定币兑换,同时增强了销毁与赋能机制提供自组社区自治生态让用户自动接入其它DeFi流动性收益。

ZT数字资产交易平台是一家全球性的数字资产交易服务商,致力于为全球用户打造创新型热门数字资产首发地。[2021/6/5 23:14:46]

0x03:漏洞分析

ZT交易平台PMC可支付充电费用和代理:据ZT数据行情显示,PMC已于5月5日正式开放PMC/USDT交易对,24H成交量达到1992985,当前报价0.288263USDT。

POWER MAGIC(PMC)是一家拥有区块链在共享无线充电专利的公司,A轮获得两家上市公司,包括政府引导资金和头部机构注资,目前已获得8项国内外发明专利,专利涵盖无线充电、物联网等方向,兼容QI 协议下无线充电技术,无线充电距离最远。

ZT数字资产交易平台是一家全球性的数字资产交易服务商,致力于为全球用户打造创新型热门数字资产首发地。[2021/5/10 21:43:03]

depositFor()函数位于https://http://ftmscan.com/address/0x660184ce8af80e0b1e5a1172a16168b15f4136bf#code的第1115行:

ZT交易平台积分ZTB已被加密货币行情网站CMC收录:据官方消息,ZT交易平台积分ZTB已被数字货币行情网CoinMarketCap(CMC)收录。

ZT 交易平台成立于2018年,作为区块链数字资产服务平台,主要面向全球用户提供比特币、莱特币、以太坊等热门数字资产的币币交易、衍生品服务等。

ZTB(又称:猪蹄币),同时也是Zenith Smart Chain(ZT智能链)的唯一专用加密代币,限定总量为2.1亿枚,并承诺永不增发,可在多场景下使用并流通,为用户在交易中提供更多的权益。[2021/4/21 20:42:45]

该函数的safeTransferFrom()方法从IERC20(token)调用,调用完该方法后,余额balance也会随之变动,最后通过_mint()方法向用户添加质押凭证代币。其中调用的变量token可控,导致攻击者可以自己实现safeTransferFrom()方法,将该方法重入到depositFor()发起攻击。

以实施了5次重入攻击为例,开始_pool的值为0,在重入depositFor方法的前四次里,攻击者一直传入自己铸造的代币,_pool的值会一直保持为0,但在第五次,也就是最后一次传入100个受认可的代币时,_after的值会变成100,而_afer-_pool的差值_amount也就是100,最后由于重入了5次,导致合约会向攻击者铸造100*5的质押凭证代币。

其后果就是攻击者向该合约质押自己铸造不受认可的代币,同样会增加质押总量,最后利用多出来的质押凭证实现套利。

0x04:修复方案

1.由于depositFor()方法里的token可控才是导致这次攻击事件的原因,因此只需要在传递参数的时候让token不可控就行:

2.由于套利的原因是depositFor()方法里存在修改代币数量的函数,因此还可以将修改代币的方法单独实现,这样即使token变量可控,也无法成功套利:

3.锁定交易token:

0x05:总结

经过完整分析,知道创宇区块链安全实验室明确了该次攻击事件的源头并非网传的闪电贷攻击,攻击者利用GrimBoostVault合约的depositFor方法参数可控,实施了重入攻击,将自己的铸造的无价值代币兑换成了质押凭证,最后通过withdrawAll方法实现套利,而闪电贷?攻击者只是利用闪电贷扩大了套利值。

对于合约代码而言安全性是十分重要的,每一个未经验证的传入参数都可能导致巨大的经济损失,开发者在编写重要操作方法时,须记住零信任原则,谨慎对待每一个传入参数。

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

金宝趣谈

FTXBIKA平台简介_IKA:WIT

尊敬的BIKA用户: ?BIKA交易所是一家全球化的数字资产交易平台,2021年3月注册于新加坡。其创始团队由来自纽约、新加坡和中国的资深金融科技人士组成.

XMRZT創新板即將上線MBS_HTT:beFITTER

親愛的ZT用戶: ZT創新板即將上線MBS,並開啟MBS/USDT交易對。具體上線時間如下:交易:2021年12月22日18:00; MBS 項目簡介:MonkeyBall旨在成為下一世代的電競.

[0:15ms0-3:696ms