北京时间2023年2月16日凌晨，Avalanche上的DeFi平台PlatypusFinance遭遇闪电贷攻击，被盗走约900万美元。攻击者部署了未经验证的合约，并利用闪电贷消耗了协议中的约900万美元。

三次攻击，我们将选择金额最大的用来解析流程：

1. 攻击者将闪电贷获得的4400万USDC存入Platypus USDC池，并获得4400万 LP-USDC。

2. 攻击者将这4400万LP-USDC存入MasterPlatypusV4。

3.该平台的借贷限额被设置为95%，这意味着攻击者最多可以用他们的4400万LP-USDC借到大约4180万USP。

4. 攻击者在PlatypusTreasure合约中调用了borrow来铸造大约4180万USP。

5. 由于借来的USP数额没有超过限额，协议的isSolvent值将总是返回true。

6. 由于isSolvent变量为true，攻击者可以调用EmergencyWithdraw来提取其质押的4400万LP-USDC全部资金。

7. 攻击者在支付了移除流动性的手续费用后，总共提取了43,999,999,921,036 USDC（LP-USDC）。

8. 攻击者偿还了闪电贷款，并以多个稳定币的形式获利约850万美元。

• 2,425,762 USDC

• 1,946,900 USDC.e

• 1,552,550 USDT

• 1,217,581 USDT.e

• 687,369 BUSD

• 691,984 DAI.e

在撰写本文时，共大约900万美元被盗。其中攻击者部署的合约中仍有价值850万美元的资产；171,000美元在攻击者的地址（EOA）；399,400美元在一个Aave池。

造成该事件的漏洞在于MasterPlatypusV4合约的函数emergencyWithdraw中偿付能力检查出现问题。其偿付能力检查没有考虑到用户的负债价值，而只检查了债务金额是否达到最大限额。偿付能力检查通过后，合约允许用户提取所有存入的资产。

函数platypusTreasure.isSolvent会返回两个值。第一个值是solvent，是一个决定了用户的债务金额是否低于借款限额的布尔值。第二个值debtAmount则显示用户所欠的债务金额。

如果用户的债务额不超过用户抵押物的95%的借款限额，那么solvent的值将为true。

然而，在emergencyWithdraw函数中，偿付能力检查只验证了布尔值solvent，而忽略了债务金额。这意味着，如果用户的债务不超过借款限额，用户可以调用函数emergencyWithdraw来提取所有存入的抵押品。

通过安全审计，可以发现该设计缺陷问题。

本次事件的预警已于第一时间在CertiK官方推特进行了播报。欢迎大家随时关注CertiK官方推特，获取更多与漏洞、黑客袭击以及Rug Pull相关的社群预警信息。