慢雾安全团队建议在进行 deposit 存款等敏感操作时对指定 pid 对应的池子代币与所传入的代币做好一致性的判断,并且在添加流动性等涉及 LP 代币数量变动的函数需添加重入锁的限制,避免再次出现此类问题。

作者:九九 @慢雾安全团队

2022 年 03 月 13 日,据慢雾区消息,Paraluni 存在严重漏洞遭攻击,黑客获利约 170 万美元,慢雾安全团队第一时间介入分析,并将结果分享如下:

相关信息

Paraluni 是 BSC 链上的一个元宇宙金融(DeFi)项目。用户可以质押代币添加流动性获取收益。

以下是本次攻击涉及的相关地址:

攻击者地址:

https://bscscan.com/address/0x94bc1d555e63eea23fe7fdbf937ef3f9ac5fcf8f

攻击交易:

https://bscscan.com/tx/0x70f367b9420ac2654a5223cc311c7f9c361736a39fd4e7dff9ed1b85bab7ad54

攻击合约:

https://bscscan.com/address/0x4770b5cb9d51ecb7ad5b14f0d4f2cee8e5563645

UBT(ukraine bad token)代币合约:

https://bscscan.com/address/0xca2ca459ec6e4f58ad88aeb7285d2e41747b9134

UGT(russia good token)代币合约:

https://bscscan.com/address/0xbc5db89ce5ab8035a71c6cd1cd0f0721ad28b508

Masterchef 合约:

https://bscscan.com/address/0xa386f30853a7eb7e6a25ec8389337a5c6973421d#code

攻击核心点

在 MasterCheif 合约中的 depositByAddLiquidity 函数中,未校验传入的代币数组参数 _tokens 所构造的 LP 代币是否和指定的 _pid 参数对应和池子里的 LP 代币(USDT-BUSD LP)是否一致,且在添加流动性计算时没有做重入限制,导致攻击者利用了恶意构造的代币合约进行了重入攻击。

具体细节分析

1.  攻击者构造了改写了 transferFrom 函数的 ERC20 标准的 UBT 代币合约与另一个 ERC20 标准的 UGT 代币合约;

2.  攻击者首先从 PancakeSwap 中闪电贷借出约 15.7 万枚 USDT 和 15.7 万枚 BUSD;

3.  接着调用 ParaRouter 合约中的 addLiquidity 函数添加流动性,为所构造的 UBT 合约上 mint 约 15.5 万枚 Paraluni LPs 代币;

4. 调用 MasterChef 合约中的 depositByAddLiquidity 函数,指定传入的 _pid 参数为 18,为该池子添加了 1 个 UBT 代币和 1 个 UGT 代币的流动性。该函数内部调用了 depositByAddLiquidityInternal 函数;

在 depositByAddLiquidityInternal 函数中,会利用传入的 _tokens 代币通过调用 paraRouter 合约的 addLiquidity 函数去构造 LP 代币。而我们看到该函数没有校验 _pid 对应的池子代币(USDT-BUSD LP)和利用传入的 _tokens 所构造的 LP 代币是否相匹配;

5. depositByAddLiquidityInternal 函数又内部调用了 addLiquidityInternal 函数,而在 addLiquidityInternal 函数中,先获取合约地址中 LP 代币余额记录为 vars.oldBalance,接着调用了 paraRouter 合约的 addLiquidity 函数,然后再次获取合约地址中 LP 代币余额记录为 vars.newBalance,最后用 vars.newBalanc - vars.oldBalance 计算需要 deposit 的数量,然后调用 _deposit 函数存入 LP 代币;

而 paraRouter 合约的 addLiquidity 函数会调用攻击所构造的 UBT 代币合约中的 transferFrom 函数,该函数为攻击者恶意构造,会调用 deposit 函数转入 LP 代币记账到 UBT 合约中,而此时计算攻击合约 _deposit 的值时未能更新 vars.oldBalance 的值,造成了 UBT 代币合约与攻击合约均记账了 15.5 万枚的 LP 代币份额,形成了一次重入攻击;

6. 攻击者分别调用 UBT 合约中的 withdrawAsset 函数和利用攻击合约调用 Mastechef 合约中的 withdraw 函数提取 LP 到攻击合约中;

7. 攻击者移除流动性并总共得到了 31 万枚 USDT 和 31 万枚 BUSD,归还闪电贷后获利离场。

MistTrack

据慢雾 AML 分析,黑客地址初始资金来源于从 Tornado.Cash 转入的 0.99785 BNB。

在攻击获利后,黑客将部分 BNB 兑换为 ETH,并将 235.448 ETH  从 BSC 跨链到以太坊,同时将 230 ETH 分 5 笔转入 Tornado.Cash。

截止目前,黑客在 BSC 上的地址余额为 3000.06 BNB,在以太坊上的地址余额为 5.243 ETH。慢雾 AML 将持续监控被盗资金的转移,拉黑攻击者控制的钱包地址。

在攻击发生后,Paraluni  项目方与黑客在链上发生了一系列对话:

Paraluni:

黑客也很快给出了回复:

接着 Paraluni 项目方继续与黑客协商,如果黑客愿意退还部分资金,则作为白帽行为给予赏金:

而目前,黑客暂无回复。

总结

本次攻击事件是由于在 Mastechef 合约中的 depositByAddLiquidity 函数未对指定 _pid 对应的池子代币和传入的 _tokens 数组里的代币所构造的 LP 代币作一致性校验,并且在涉及流动性添加时未作重入锁的限制,导致了 LP 代币数量记账时被利用。慢雾安全团队建议在进行 deposit 存款等敏感操作时对指定 pid 对应的池子代币与所传入的代币做好一致性的判断,并且在添加流动性等涉及 LP 代币数量变动的函数需添加重入锁的限制,避免再次出现此类问题。

免责声明:作为区块链信息平台,本站所发布文章仅代表作者及嘉宾个人观点,与 Web3Caff 立场无关。本文内容仅用于信息分享,均不构成任何投资建议及要约,并请您遵守所在国家或地区的相关法律法规。