POOL:CertiK：Osmosis漏洞被利用 500万美元损失事件分析_OIN

北京时间2022年6月7日，CertiK审计团队监测到Osmosis漏洞被利用，导致了约500万美元的资产受到损失。

此次事件起因于函数MaximalExactRatioJoin中存在的代码漏洞。

该函数由CalJoinPoolShares调用，根据输入的代币数量计算份额。函数MaximalExactRatioJoin的漏洞导致一旦用户通过JoinPool提供流动性，CalJoinPoolShares就会向用户提供远大于其原本应给的LP份额。

推特公告链接:?

https://twitter.com/osmosiszone/status/1534470729797976064

攻击步骤

Consensys发布ETHCC和ETHGlobal Paris关于Web3未来的5大要点:金色财经报道，Consensys团队总结了从ETHCC和 ETHGlobal Paris收集到的关于web3未来的5个最关键的要点：1. Layer 2 继续扩展以太坊作为关键基础设施；2. web3 中的社交媒体正在成熟并获得关注；3. 账户抽象将通过改善用户体验吸引大量用户；4. 早该将重点从基础设施转向应用程序开发；5. 互操作性至关重要，协议必须相互支持且兼容。

该团队表示，以太坊的未来是光明的，ETHCC 和 ETHGlobal的活动和公告凸显了几个重要的增长领域，包括通过 Layer 2 解决方案持续扩展以太坊。以 Lens V2 公告??为例，去中心化社交网络的成熟和吸引力也表明了网络开放和去中心化社交层的进展，以及其他值得注意的技术发展。[2023/7/28 16:03:10]

该次攻击中有多人恶意进行多笔交易，以下分析以攻击者①中两个被利用的交易为例。

Dymension Network在测试网部署支持IBC的Rollup:4月30日消息，旨在便利化模块化 Rollup 网络部署的网络 Dymension Network 在 35-C 测试网部署支持 IBC 的 Rollup。开发者可使用 Dymension Network 提供的兼容 EVM 的 Rollup 开发工具包开发应用。模块化区块链 EVM RollApp 将使用 EVMOS 作为 Gas 代币。[2023/4/30 14:35:38]

①攻击者调用JoinPool()将29.95USDC和26.03OSMO的流动性添加至GAMM池，铸成的LP份额为8.79GAMM-678。

②之后，攻击者从678池中调用ExitPool()，使用之前的份额移除流动性。

Animoca Ventures与Blocore达成合作，共同投资Web3公司:10月7日消息，Animoca Ventures与韩国区块链投资机构Blocore签署谅解备忘录，双方将密切合作，寻找和支持领先的Web3公司，从而发展区块链和Web3生态系统。（Martech Series）[2022/10/7 18:41:56]

③由于对剩余代币的份额计算错误，攻击者能够提取约为存款金额1.5倍的代币。

④攻击者多次重复以上攻击步骤，以获取更大的利润。

漏洞分析

此次事件漏洞的根本原因在于对剩余代币的份额计算错误。

一旦用户在x/gamm/keeper/msg_server.go中通过Msg.JoinPool信息调用函数JoinPool。

市场消息：澳大利亚方面表示加密货币不像外国货币那样被征税:6月22日，市场消息：澳大利亚方面表示，加密货币不像外国货币那样被征税。（金十）[2022/6/22 6:03:57]

该函数即会调用x/gamm/keeper/pool_service.go第95行的函数JoinPoolNoSwap()。

在函数JoinPoolNoSwap()中，通过调用函数getMaximalNoSwapLPAmount()在第192行计算出shareOutAmount的所需流动资金后，函数JoinPoolNoSwap()将在osmosis/x/gamm/pool-models/balancer/amm.go第286行调用pool.JoinPool()。

然后函数pool.JoinPool()将在第252行调用函数pool.CalcJoinPoolShares()，并且在执行pool.CalcJoinPoolShares()时在第283行调用cfmm_common.MaximalExactRatioJoin()。

SafeMoon或发生Rug Pull，代币下跌95%:6月17日消息，PeckShield监测数据显示，BNB Chain上DeFi协议SafeMoon（SAFEMOON）或发生Rug Pull，代币价格24小时下跌95%。[2022/6/17 4:34:11]

函数cfmm_common.MaximalExactRatioJoin()将在添加流动性时计算usedAmount，它将份额比例与用户投入的代币数量相乘。

然而，所需的流动资金应该等于minShareRatio*池中的总流动资金。通常情况下，总流动性大于一个用户存入的代币，也就是usedAmount小于预期。这里需要注意的是返回值remCoins记录了流动性增加后的剩余代币。usedAmount比预期的要小，因此导致remCoins的值比预期的要大。

在执行函数cfmm_common.MaximalExactRatioJoin()后，这些剩余的代币remCoins将通过调用函数pool.calSingleAssetJoin()在第300-310行被用来向资金池添加更多的流动性。然而，由于remCoins的数量比预期的要大，所以提供给用户的份额将比预期的多。

资产去向

Osmosis已官放宣布发现该漏洞，并正在进行修复。被盗资金与CEX账户有关，并已通知执法部门。Osmosis还宣布，利用Osmosis漏洞的四个人已经被确认，其中两人将归还资金；另外两人Osmosis正在进行联系，等待进一步沟通。

Osmosis表明，所有损失都将得到弥补。这些资金将来自其战略储备，而不是社区的资金池。另外被盗的资金将大概率被追回。

漏洞交易

该次攻击中有多人恶意进行多笔交易，我们以其中一人的一次交易作为示例：

攻击者①：https://www.mintscan.io/osmosis/account/osmo1hq8tlgq0kqz9e56532zghdhz7g8gtjymdltqer

相关的漏洞交易?

JoinPool

https://www.mintscan.io/osmosis/txs/573EFD7828573B06FF6C13DFEDC3B2FFC281D4F78854D9B9F676528490C3396B

ExitPool

https://www.mintscan.io/osmosis/txs/E789B8FF7A42F27A0AC352C5C1281EA27996B6F22C5B24478A9B85C5919DE637

攻击者②：

https://www.mintscan.io/osmosis/account/osmo1tg70tuzekpd376dpqr68yx5a7r709w6x8jtxha

相关的漏洞交易?

JoinPool

https://www.mintscan.io/osmosis/txs/380A10103F53296A1CE663FDA5CF79DA904E0EC175C866C5FDFB106A934C64BD

ExitPool

https://www.mintscan.io/osmosis/txs/D70852934B81194DA6C776F2DA90AF095A19F7018894350E19A369FF5A1EC810

写在最后

如果文件x/gamm/pool-models/internal/cfmm_common/lp.go在审计范围内，可通过审计发现这一风险因素。

CertiK在此提醒大家，除了审计之外，新增的代码也需要在上线前及时进行相应测试。

来源：金色财经

标签：POOLPOOOINJOINXanPoolSUPERPOO币gcoin币100个多少钱JOINT

MATIC热门资讯