2022年3月13日，成都链安链必应-区块链安全态势感知平台舆情监测显示，Paraluni合约遭受攻击，损失约170万美元，成都链安技术团队对此事件进行了相关分析。
#1总述
我们以第一笔攻击交易0xd0b4a1d4964cec578516bd3a2fcb6d46cadefe1fea5a2f18eec4c0a496e696f9为例：
地址列表
攻击地址：
0x94bC1d555E63eEA23fE7FDbf937ef3f9aC5fcF8F
攻击合约：
0x4770b5cb9d51EcB7AD5B14f0d4F2cEe8e5563645
ParaProxy：
Alpha Homora用户因MEV机器人损失40ETH，项目方将全额赔偿并修复问题:10月23日消息，跨链 DeFi 协议 Alpha Finance Labs 表示历史上共有 20 个地址在使用杠杆挖矿协议 Alpha Homora V2 的时候，因为交易被 MEV 机器人发现而损失总共 40.93 ETH。Alpha Finance 表示将以 ALPHA 代币的形式全额赔偿这些损失。对于该问题，Alpha Finance 认为是 Uniswap V2 的智能合约有隐含假设（implicit assumptions），这些假设未在合约层面上明确说明，所以他们认为这会导致滑点未被检查。Alpha Finance 表示会修复该问题，在交易时进行检查，所以这些情况将不再发生，安全审计机构 OpenZeppelin 和 Peckshield 也已经确认了该修复方案。[2021/10/23 6:09:30]
0x633Fa755a83B015cCcDc451F82C57EA0Bd32b4B4
动态 | paydex项目方对燃料机制再升级:据官方消息，为有效促进商业对接再融合，paydex项目方对燃料机制再升级，用户和投资者通过持有Paydex获得燃料，实现交易所手续费的冲抵和折扣。使得Paydex可以在明确的交易场景中释放价值。基于此的商业支付，成本更低，商家可节省很多中间费用，这也是paydex商业生态的重要一步。[2020/2/19]
ParaImpl：
0xA386F30853A7EB7E6A25eC8389337a5C6973421D(MasterChef)
UGT：
0xbc5db89CE5AB8035A71c6Cd1cd0F0721aD28B508
UBT
0xcA2ca459Ec6E4F58AD88AEb7285D2e41747b9134
动态 | 账号创建10亿个EOS假币，项目方应提高警惕:Beosin成都链安态势感知安全预警：今日下午14:20:11?根据成都链安区块链安全态势感知系统Beosin-Eagle Eye检测发现，账户larry5555555 发布了10亿 EOS假币并分发到了数个小号（pandoras1111，pandoras.e等），鹰眼将持续追踪这些假币的流向，请各项目方持续关注事件走势，做好及时应急措施预警准备和自查，检查自己的合约是否正确判断接收代币的发行方，必要时可以找区块链安全公司进行代码审计，并可加入成都链安鹰眼态势感知系统，我们将第一时间为大家免费提供预警报警服务，避免用户资产受损。[2019/6/21]
1.向CakeSwap(0x7EFaEf62)中通过闪电贷借贷224BSC-USD,224BUSD
公告 | WFEE项目方主动申请退市OKEx:据OKEx公告，WFEE项目方主动申请退市OKEx，将于2018年9月19日19时正式下线WFEE所有交易兑，请所有持币用户及时将WFEE提现至支持的钱包和交易平台。有WFEE交易兑挂单的用户请提前将挂单撤掉，若下线后未撤单，挂单系统将自动撤单，相关资产将退回至交易账户。并对持有WFEE的用户提供了新的交易平台，所有WFEE用户可在WFEE项目方指定平台继续交易。[2018/9/19]
2.把第1步借到的代币向Para-LP(0x3fD4FbD7)中添加流动性，并将获得的222枚流动性代币的接收地址指定为UBT(0xcA2ca459)地址，这一步是为了后续的重入做准备。
图1初始准备
3.攻击合约(0x4770b5cb)调用ParaProxy合约的depositByAddLiquidity函数，添加流动性代币抵押挖矿，此处传入的pid为18，对应的Para-LP(BSC-USD/BUSD)0x3fD4FbD7a83062942b6589A2E9e2436dd8e134D4，但是token0，token1传入的地址为UGT、UBT的地址，数量为1e18。
图2重入攻击
4.此处原本正常的逻辑为：添加流动性，并将流动性代币存入pid为18的流动性抵押池，但是本函数在代码中并未检查添加的流动性token0、token1得到的流动性代币是否与pid对应的流动性代币地址一致，导致了攻击的发生。注意，并不是所有的流动性池抵押都有该风险，由于第2524行代码，pool的ticket需要为零地址才能够通过该检查。
但是攻击者通过控制执行逻辑，实际执行的逻辑为：第2505,2506行将攻击者指定的1枚UGT、1枚UBT代币转入ParaProxy合约。然后在第2535行代码用于添加流动性，并在第2537行检查添加的流动性代币数量。
此时，vars.oldBalance为初始流动性代币数量。攻击者为了通过第2537行的检查，在添加流动性的过程中，进行了重入攻击。由于在添加流动性时调用了攻击者构造的恶意代币的transferFrom函数，攻击者在transferFrom函数中才将流动性通过deposit函数存入ParaProxy合约。这也是第2步时攻击合约将流动性代币接收地址指定为UBT合约的原因所在。
在重入过程中，UBT合约存入了真正的LP代币222枚，并计入ParaProxy的账本中。在重入完成后，ParaProxy合约地址新增了222枚LP代币，ParaProxy合约将其视为攻击合约添加的LP，并计入账本中。至此，UBT合约和攻击合约都新增了222枚LP的存取记录。
图3ParaImpl合约相关代码
重入相关过程如下图所示：
图4攻击流程示意图
5.UBT合约和攻击合约分别调用withdraw函数，从ParaProxy合约提取221枚LP，并归集到攻击合约，由攻击合约将LP移除流动性并获取对应的BSC-USD以及BUSD。
6.归还闪电贷225枚BSC-USD,225枚BUSD，并将获利的221枚BSC-USD、225枚BUSD发送到攻击者地址。整个攻击交易执行完成。
#2总结建议
攻击者一共执行了约40次攻击，共获利约170万美元。截止发稿时，攻击者通过跨链协议将其转到以太坊网络中，并将其中的660枚ETH转入Tornado.Cash，另外5枚ETH转入了0xDd52CE617cAF1b7C8cEaCC111DE2f1c54E20C1b0地址。
本次攻击主要由合约代码中存在逻辑缺陷以及存在资金操作的关键函数未进行防重入导致。建议合约开发者在开发过程中进行完整的测试以及第三方审计，并养成使用Openzeppelin库的ReentrancyGuard合约来进行重入攻击的防范。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。