Jarvis Network遭受闪电贷重入攻击分析

2023年1月15日，Jarvis_Network项目遭到黑客攻击，损失663101个MATIC。通过对交易数据的分析，发现此次攻击涉及闪电贷和重入漏洞。

攻击者利用了remove_liquidity函数中的漏洞。在移除流动性时，该函数会将用户添加的代币返回。由于Polygon和EVM是同构链，MATIC转账给合约时会触发合约的重入逻辑。

重点关注getUnderlyingPrice函数的调用过程。该函数涉及多个合约的交互，其中一些合约并未开源。通过分析发现，问题出在get_virtual_price函数的返回值上。这个函数的返回值在重入前后存在显著差异。

具体来说，self.D变量的更新发生在代币转账之后。攻击者在移除流动性时，MATIC被转移到攻击者合约。在回调fallback函数时，攻击者先查询了某代币的价格。由于self.D的更新滞后于转账，导致之前的价格获取出现错误。

移除流动性的过程包括：1) 销毁用户LP代币；2) 向用户发送质押资金；3) 更新self.D值。self.D用于价格计算，在添加和移除流动性时都会更新。攻击者利用了大额流动性和self.D更新时机的漏洞，在步骤2中进行重入，并以原始价格10倍的价格进行借贷。

虽然remove_liquidity函数使用了@nonreentrant('lock')修饰器来防止重入，但攻击者通过跨合约借贷绕过了这一保护机制。

此次攻击暴露出项目在变量修改逻辑和跨合约调用安全性方面的不足。为防范类似攻击，建议项目方采取以下措施：

1. 进行严格的安全审计。
2. 将变量修改放在外部调用之前。
3. 采用多数据源方式获取价格。
4. 遵循"检查-生效-交互"（Checks-Effects-Interactions）的编码规范。

通过这些措施，可以显著提高项目的安全性和稳定性，防止类似的攻击事件再次发生。