CertiK：Osmosis漏洞被利用 500萬美元損失事件分析_JOIN

北京時間2022年6月7日，CertiK審計團隊監測到Osmosis漏洞被利用，導致了約500萬美元的資產受到損失。

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

該函數由CalJoinPoolShares調用，根據輸入的代幣數量計算份額。函數MaximalExactRatioJoin的漏洞導致一旦用戶通過JoinPool提供流動性，CalJoinPoolShares就會向用戶提供遠大于其原本應給的LP份額。

推特公告鏈接:?

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

攻擊步驟

Ziliqa：已暫停用于Poly Network跨鏈橋的合約:7月2日消息，公有鏈平臺Ziliqa發推稱，已暫停用于Poly Network跨鏈橋的合約，用戶資金安全，將與Poly Network團隊聯系后進行進展更新。[2023/7/3 22:13:56]

該次攻擊中有多人惡意進行多筆交易，以下分析以攻擊者①中兩個被利用的交易為例。

①攻擊者調用JoinPool()將29.95USDC和26.03OSMO的流動性添加至GAMM池，鑄成的LP份額為8.79GAMM-678。

②之后，攻擊者從678池中調用ExitPool()，使用之前的份額移除流動性。

③由于對剩余代幣的份額計算錯誤，攻擊者能夠提取約為存款金額1.5倍的代幣。

邁阿密交易平臺等公司投標LedgerX:金色財經報道，市場消息：FTX旗下衍生品交易平臺LedgerX吸引了包括邁阿密交易所在內的公司投標。[2023/3/22 13:18:07]

④攻擊者多次重復以上攻擊步驟，以獲取更大的利潤。

漏洞分析

此次事件漏洞的根本原因在于對剩余代幣的份額計算錯誤。

一旦用戶在x/gamm/keeper/msg_server.go中通過Msg.JoinPool信息調用函數JoinPool。

該函數即會調用x/gamm/keeper/pool_service.go第95行的函數JoinPoolNoSwap()。

在函數JoinPoolNoSwap()中，通過調用函數getMaximalNoSwapLPAmount()在第192行計算出shareOutAmount的所需流動資金后，函數JoinPoolNoSwap()將在osmosis/x/gamm/pool-models/balancer/amm.go第286行調用pool.JoinPool()。

數據：當前ETC算力達143.06 TH/s:9月28日消息，據Tokenview數據顯示，當前ETC算力為143.06 TH/s；24h交易筆數54,543；24h轉賬總額986,414.72 ETC；持幣地址數2,531,364。自以太坊合并以來，ETC算力居高不下，曾在9月16日創歷史新高，達到236.6 TH/s。[2022/9/28 22:36:18]

然后函數pool.JoinPool()將在第252行調用函數pool.CalcJoinPoolShares()，并且在執行pool.CalcJoinPoolShares()時在第283行調用cfmm_common.MaximalExactRatioJoin()。

函數cfmm_common.MaximalExactRatioJoin()將在添加流動性時計算usedAmount，它將份額比例與用戶投入的代幣數量相乘。

以太坊市值跌至2000億美元下方:金色財經報道，隨著ETH價格在過去24小時受挫，以太坊市值已跌至2000億美元下方，據最新數據顯示，本文撰寫時為195,652,763,828美元。當前ETH價格約為1634.03美元，24小時跌幅為2.8%。[2022/8/2 2:52:12]

然而，所需的流動資金應該等于minShareRatio*池中的總流動資金。通常情況下，總流動性大于一個用戶存入的代幣，也就是usedAmount小于預期。這里需要注意的是返回值remCoins記錄了流動性增加后的剩余代幣。usedAmount比預期的要小，因此導致remCoins的值比預期的要大。

在執行函數cfmm_common.MaximalExactRatioJoin()后，這些剩余的代幣remCoins將通過調用函數pool.calSingleAssetJoin()在第300-310行被用來向資金池添加更多的流動性。然而，由于remCoins的數量比預期的要大，所以提供給用戶的份額將比預期的多。

谷歌招聘Web3社區及合伙經理:金色財經報道，谷歌云發布Web3崗位，招聘Web3社區及合伙經理，需滿足以下要求：3年社區管理經驗；3年跨功能程序/項目及navigating programs技術管理經驗；多鏈/層協議經驗；多個DeFi協議（如Aave、Curve、Uniswap、Pancakeswap等）經驗。此外，工作職責要求為，幫助制定跨越整個 Web3 生態系統的多樣化和強大的開發人員社區的戰略。代表 Google Cloud 授權 Web3 開發人員并支持跨公共區塊鏈的合作伙伴。[2022/6/3 3:59:41]

資產去向

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在此提醒大家，除了審計之外，新增的代碼也需要在上線前及時進行相應測試。

來源：金色財經

Tags：POOLPOOOINJOINLP 3pool CurveMPOOL價格RooCoinJOINT幣

Gate交易所