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

作者：

时间：1900/1/1 0:00:00

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

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

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

推特公告链接:?

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

攻击步骤

Linea主网已转入超2万枚ETH，交互地址数超12万个:8月4日消息，Dune数据显示，Linea主网已桥接转入20,862枚ETH，交易笔数达176,628笔，交互地址数达127,775个。[2023/8/4 16:18:39]

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

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

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

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

STFX项目Discord服务器已被入侵:金色财经消息，据CertiK监测，STFX项目Discord服务器已被入侵，黑客发布了网络钓鱼链接。在团队重获其服务器的控制权之前，请勿点击任何链接。[2023/5/6 14:46:58]

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

漏洞分析

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

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

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

Celsius将于4月25日举行竞标拍卖，投标方包括NovaWulf、Fahrenheit等三名参与者:4月23日消息，Celsius无担保债权人官方委员会表示，拍卖将于4月25日举行，投标方包括数字资产投资机构NovaWulf、Fahrenheit, LLC、Blockchain Recovery Investment Committee。

其中，Fahrenheit, LLC股权由Arrington Capital、U.S. Data Mining Group, Inc.（d/b/a U.S. Bitcoin Corp.）、Proof Group Capital Management LLC、Steven Kokinos和Ravi Kaza直接或间接拥有。

Blockchain Recovery Investment Committee包括Van Eck Absolute Return Advisers Corporation、Global X Digital, LLC等。

Celsius的竞标程序计划已获美国联邦法官和纽约南部地区美国破产法院的批准。根据竞标程序的命令，与委员会协商的债务人已根据合理的酌处权确定进行拍卖将最大化债务人的价值。

此前4月中旬消息，NovaWulf表示计划接管Celsius所有资产，并在其债权人得到偿付后将其转入一家新公司，NovaWulf将管理新公司五年，董事会将由NovaWulf和官方债权人委员会选出。[2023/4/23 14:21:27]

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

Bybit：平台和客户基金对Silvergate和硅谷银行没有任何敞口:3月11日消息，Bybit联合创始人兼CEO Ben Zhou发推称，Bybit和其客户基金对Silvergate和硅谷银行没有任何敞口。请放心，一切照常运行。[2023/3/11 12:56:08]

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

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

墨西哥参议员支持稳定币MXNT:5月31日消息，墨西哥参议员Indira Kempis表示支持Tether推出的与墨西哥比索挂钩的稳定币MXNT。据此前消息，Tether推出与墨西哥比索1:1挂钩的新稳定币MXNT，标志着其进入拉丁美洲市场。据悉，MXNT最初将在以太坊、Tron和Polygon区块链上提供。[2022/5/31 3:52:10]

然而，所需的流动资金应该等于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