Grim Finance 闪电贷安全事件分析_TOK:KEN

0x01:前言

援引官方消息,北京时间12月19日,Fantom链上复合收益平台GrimFinance遭遇了闪电贷攻击。知道创宇区块链安全实验室第一时间对本次事件深入跟踪并进行分析。

0x02:事件详情

交易细节如下图所示:

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

通过Tenderly调试该笔交易,攻击者多次递归调用depositFor函数,利用该函数获取大量代币:

Web3技术公司Gripnr融资250万美元,Sopris Capital等参投:4月17日消息,位于新奥尔良的Web3技术公司Gripnr宣布获得250万美元融资,Sopris Capital、XBTO Humla Ventures、Abstraction Ventures、Better Angels、Carl Sparks、Voodoo Ventures以及一系列位于新奥尔良的投资者参投。

目前,该公司计划利用新融资发行其首款5E游戏和创世NFT系列《The Glimmering》,该NFT系列将于5月发布。

据悉,Gripnr是一家Web3技术公司,由Brent McCrossen创立。其目标是将桌游带入区块链。(TechSutram)[2022/4/18 14:30:07]

2Miners:Grin Network正受到51%攻击:2Miners发推表示,Grin Network正受到51%攻击,付款已停止。请自行承担风险,因为新的区块可能会被拒绝。[2020/11/8 12:01:03]

0x03:漏洞分析

depositFor()函数位于的第1115行:

function?depositFor(address?token,?uint?_amount,address?user?)?public?{

?uint256?_pool?=?balance();

?IERC20(token).safeTransferFrom(msg.sender,?address(this),?_amount);

声音 | 洪蜀宁:grin所做的正是中本聪想做而没能力去做的:知名财经博主好币发微博表示,Grin开发基金再次收到50 BTC匿名捐赠,捐赠者是09-10年比特币元老。第一次捐赠使用的地址是18FufdutXggR2EgBuu6xRvL15kmpaPzfTQ。第二次捐赠使用的地址是1DwVZeatHifRzHXtphcpqJ6j1YuC8kFDqd。两个钱包都是2010年的,已经9年没动过了。李启威怀疑是中本聪捐的。 对此,金丘区块链研究院院长洪蜀宁发微博表示,是不是中本聪不重要,但grin所做的正是中本聪想做而没能力去做的。[2019/11/13]

?earn();

?uint256?_after?=?balance();

?_amount?=?_after.sub(_pool);?//?Additional?check?for?deflationary?tokens

动态 | Gate.io开通Grin充提服务:Gate.io发布公告称,已经开通Grin充值和提现服务,用户可以随时使用Gate.io平台交易和秒冲秒提Grin。[2019/1/31]

?uint256?shares?=?0;

?if?(totalSupply()?==?0)?{

??shares?=?_amount;

?}?else?{

??shares?=?(_amount.mul(totalSupply())).div(_pool);

?}

?_mint(user,?shares);

}

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

动态 | “Grin”关键字在百度和谷歌的搜索热度近期均有所上涨:据数据显示,百度指数中,“Grin”关键字的搜素热度从1月13日开始上涨,自550附近直接飙升至1700上方,翻了三倍,且搜索Grin的关键字大多为“Grin挖矿”、“Grin币”、“Grin币官网”等。经查询,谷歌指数中,“Grin”关键字自1月12日也有所上涨,“Grin Coin”相关搜索量过去30天上涨了130%。[2019/1/18]

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

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

0x04:修复方案

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

function?depositFor(?uint?_amount,address?user?)?public

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

function?depositFor(address?token,?uint?_amount,address?user?)?public?{

?IERC20(token).safeTransferFrom(msg.sender,?address(this),?_amount);

}

3.锁定交易token:

function?setLPToken(address?lp)?public?onlyOwner?{

lpToken?=?lp;

}

function?depositFor(uint?_amount,address?user?)?public?{

uint256?_pool?=?balance();

IERC20(lpToken).safeTransferFrom(msg.sender,?address(this),?_amount);

earn();

......

}

0x05:总结

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

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

来源:金色财经

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

金智博客

SOLErgo将如何变革加密货币_APP:SIG

代币经济学 Ergo自启动以来一直把去中心化当作第一要务。没有预挖矿,也没有预分配给ICO或风险投资。此外,只有ERG总供应量的4.37%会逐渐从区块奖励分配给Ergo金库.

[0:0ms0-3:561ms