0x01：前言
援引官方消息，北京时间12月19日，Fantom链上复合收益平台GrimFinance遭遇了闪电贷攻击。知道创宇区块链安全实验室第一时间对本次事件深入跟踪并进行分析。
0x02：事件详情
交易细节如下图所示：
浏览上图的交易过程可知，攻击合约利用闪电贷借取代币WFTM和BTC，将借取的代币与自己铸造的代币质押到SpiritSwap里增加流动性获取lp代币，而问题就出现在攻击者通过depositFor()实现质押的过程中。
通过Tenderly调试该笔交易，攻击者多次递归调用depositFor函数，利用该函数获取大量代币：
JPEG'd：pETH-ETH curve池受到攻击，其他资产安全:7月30日消息，JPEG'd发推称，pETH-ETH curve池受到攻击，其他NFT和国库资产安全。[2023/7/31 16:07:49]
0x03：漏洞分析
depositFor()函数位于的第1115行：
function?depositFor(address?token,?uint?_amount,address?user?)?public?{
?uint256?_pool?=?balance();
数据：一巨鲸从OKX提出185万枚ARB:金色财经报道，据Lookonchain监测，一巨鲸地址（0x0db8开头）从OKX提出185万枚ARB。该地址曾在Trade Joe和Uniswap上为ARB提供流动性。[2023/4/10 13:54:55]
?IERC20(token).safeTransferFrom(msg.sender,?address(this),?_amount);
?earn();
?uint256?_after?=?balance();
?_amount?=?_after.sub(_pool);?//?Additional?check?for?deflationary?tokens
?uint256?shares?=?0;
?if?(totalSupply()?==?0)?{
OpenSea：支持X2Y2强制征收版税，已将其从黑名单中移除:金色财经报道，据 X2Y2 在社交媒体披露，该 NFT 市场将恢复强制征收版税策略并表示：“我们曾经认为处理版税的最佳方式是给创作者和交易者双方选择的权利，但在借鉴其同行 OpenSea 的做法后决定恢复强制征收版税。”X2Y2 补充称，他们已经使用删除了所有新上架的“灵活版税”设置。OpenSea 随后回复支持 X2Y2 的做法，并表示已经将 X2Y2 从其 OperatorFilter 黑名单中移除。[2022/11/21 7:51:44]
??shares?=?_amount;
?}?else?{
??shares?=?(_amount.mul(totalSupply())).div(_pool);
?}
?_mint(user,?shares);
美股三大指数集体收跌，标普500指数跌0.89%:金色财经报道，美股三大指数集体收跌，道指跌0.62%，纳指跌1.11%，标普500指数跌0.89%。[2022/11/15 13:04:57]
}
该函数的safeTransferFrom()方法从IERC20(token)调用，调用完该方法后，余额balance也会随之变动，最后通过_mint()方法向用户添加质押凭证代币。其中调用的变量token可控，导致攻击者可以自己实现safeTransferFrom()方法，将该方法重入到depositFor()发起攻击。
以实施了5次重入攻击为例，开始_pool的值为0，在重入depositFor方法的前四次里，攻击者一直传入自己铸造的代币，_pool的值会一直保持为0，但在第五次，也就是最后一次传入100个受认可的代币时，_after的值会变成100，而_afer-_pool的差值_amount也就是100，最后由于重入了5次，导致合约会向攻击者铸造100*5的质押凭证代币。
Web3基金会Grant资助项目已超400个:金色财经报道，据波卡官方消息，Web3基金会Grant资助项目已超400个，截至目前共有415个项目通过我们的资助计划，而且已经拥有超过1000份的Grant申请。自2018年12月启动Grant资助计划以来，共收到1054份申请，其中415份已被接受，其中14.4%的团队在美国，12.8%在中国，8.1%在新加坡。迄今为止，已有181个团队完成了至少一个项目，300个团队成功交付了他们的第一个里程碑。[2022/8/2 2:52:57]
其后果就是攻击者向该合约质押自己铸造不受认可的代币，同样会增加质押总量，最后利用多出来的质押凭证实现套利。
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方法实现套利，而闪电贷？攻击者只是利用闪电贷扩大了套利值。
对于合约代码而言安全性是十分重要的，每一个未经验证的传入参数都可能导致巨大的经济损失，开发者在编写重要操作方法时，须记住零信任原则，谨慎对待每一个传入参数。
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。