TOKE:千萬美元被盜： DeFi 平臺MonoX Finance被黑分析

2021年11?30?，據慢霧區消息，DeFi平臺MonoXFinance遭遇攻擊，本次攻擊中約合1820萬美元的?WETH和1050萬美元的MATIC被盜，其他被盜Token包括WBTC、LINK、GHST、DUCK、MIM和IMX，損失共計約3100萬美元。慢霧安全團隊第?時間介?分析，并將簡要分析結果分享如下。

攻擊核心

本次攻擊的核?在于利?swap合約中沒有對池中傳?和傳出代幣是否相同作檢查，以此利?價格更新機制的缺陷，使得攻擊者傳?和傳出代幣相同時，價格被二次計算并覆蓋，導致代幣價格不斷被推?，并以此代幣換出池中的其他代幣來獲利。

相關信息

MonoX是?種新的DeFi協議，使?單?代幣設計?于流動性池。這是通過將存?的代幣與vCASH穩定幣組合成?個虛擬交易對來實現的。其中的單?代幣流動性池的第?個應?是?動做市商系統-Monoswap，它在2021年10?時推出。

攻擊者地址1：

0xecbe385f78041895c311070f344b55bfaa953258

攻擊者地址?2：

0x8f6a86f3ab015f4d03ddb13abb02710e6d7ab31b

zkTube聯合ONEUNI設立千萬美元種子基金:據以太坊企業聯盟（EEA）官方消息，聯盟成員 zkTube 與 ONEUNI Capital 設立了1000萬美元種子基金，共同助力區塊鏈初創企業發展。

隨著zkTube主網上線臨近，該基金的成立將加速ZK-Rollup技術的落地應用，從9月1日起，聯盟中GameFi、NFT、元宇宙等領域的初創企業可進行投資申請。[2021/8/27 22:41:08]

攻擊合約?1：

0xf079d7911c13369e7fd85607970036d2883afcfd

攻擊合約2：

0x119914de3ae03256fd58b66cd6b8c6a12c70cfb2

攻擊交易1：

https://etherscan.io/tx/0x9f14d093a2349de08f02fc0fb018dadb449351d0cdb7d0738ff69cc6fef5f299

攻擊交易2：

https://polygonscan.com/tx/0x5a03b9c03eedcb9ec6e70c6841eaa4976a732d050a6218969e39483bb3004d5d

DFL-USDT LP流動池資金近千萬美元:據官方消息，DeFIL2.0在Uniswap已開啟DFL-USDT LP流動性挖礦，用戶根據規則在Uniswap平臺可存入DFL-USDT交易對，本次DFL-USDT LP流動性礦池價值近1000萬USDT，全球實時排名第69。

DeFIL 2.0的定位是去中心化的Filecoin借貸和金融服務平臺，同時打造了一個集算力NFT、永續算力通證、DeFi借貸、DAO治理等一體化的去中心化金融生態。[2021/8/13 1:53:17]

攻擊細節

首先攻擊者調用Monoswap.swapExactTokenForToken：

0.1個WETH換出79.986094311542621010個MONO。

接著攻擊者利用漏洞移除池子中其他用戶的流動性，并為添加攻擊合約的流動性以此來獲取最大的利益。

這里移除流動性處的漏洞在Monoswap.sol中的471-510行，移除池中流動性時通過removeLiquidity函數調用_removeLiquidityHelper函數，而這兩個函數都未做調用者和傳入的to參數的身份驗證，所以可直接移除任意用戶在池中的流動性。

Gate.io 芝麻開門表示已幫用戶恢復價值超1千萬美元的狗狗幣:Gate.io 芝麻開門發推表示，隨著狗狗幣的價格上漲，許多用戶嘗試找回賬戶密碼，目前已幫助客戶恢復總價值超1千萬美元的狗狗幣。[2021/5/9 21:40:51]

移除0x7b9aa6的流動性，把1670.7572297649224個MONO和6.862171986812230290個vCASH轉出給0x7b9aa6；

移除cowrie.eth的流動性，把152.9745213857155個MONO和0.628300423692773565個vCASH轉出給cowrie.eth；

移除0xab5167的流動性，把99940.7413658327個MONO和410.478879590637971405個vCASH轉出給0xab5167；

為攻擊合約1在MONO代幣流動池創建流動性。

Boring DAO總鎖倉量超過三千萬美元，并已鑄造961枚比特幣錨定幣:11月17日，去中心化資產橋Boring DAO的總鎖定資產已經超過3000萬美元，根據DeBank數據顯示，比特幣錨定幣oBTC已鑄造961枚。

BoringDAO于11/12日開啟oBTC鑄幣隧道后，現已超過pBTC與imBTC的總量，并吸引了許多DeFi社區與BTC社區的關注，該團隊旨在用更加去中心化的方式，讓BTC可以更加簡單的參與其他區塊鏈的DeFi，即讓所有區塊鏈成為BTC的layer2，該開發團隊在近期會宣布下一條支持的區塊鏈。[2020/11/17 21:05:58]

緊接著攻擊者調??55?次Monoswap.swapExactTokenForToken以此來不斷堆?MONO的價格。

這里攻擊的核心是在Monoswap.sol中的swapExactTokenForToken函數，攻擊者傳入MONO代幣使得tokenIn和tokenOut是相同的代幣。

報告：2020年區塊鏈價格預言機造成數千萬美元損失，沒有放緩的跡象:據samczsun網站研究人員發布的報告稱，在2020年，價格預言機操縱行為非常多，迄今為止已導致逾3000萬美元損失，而且沒有放緩的跡象。其還指出，多年來基于可重入性的攻擊已經減少，而基于價格oracle操縱的攻擊現在正在上升。（news.bitcoin）[2020/11/12 14:07:19]

跟到swapIn函數中：

可以發現在swapIn函數中，調用了函數getAmountOut來計算價格。接著跟到getAmountOut函數中發現是利用了_getNewPrice函數來計算tokenInPrice和tokenOutPrice。

跟到_getNewprice函數中，發現當計算tokenInPrice時候傳入的txType參數為TxType.SELL，此時：

當計算tokenOutPrice時候傳入的txType參數為TxType.BUY，此時：

如果傳入和傳出為同一種代幣時，價格計算式中的四個變量都相同，所以很容易得出tokenOutPrice會比tokenInPrice要大。

由于tokenIn和tokenOut是同一個token，swapIn函數在計算完價格后會再次調用_updateTokenInfo函數，使得tokenOutPrice的更新會覆蓋tokenInPrice的更新，所以導致這個token的價格上漲。

最后攻擊者調用swapTokenForExactToken函數用MONO來換出池子中的其他代幣。

swapTokenForExactToken函數中調用了swapOut函數，而swapOut函數中計算價格是調用的getAmountIn函數。

在該函數中由于tokenInPoolPrice是取的MONO代幣在池中的價格，而此價格在之前已被推高，導致tokenInPrice變大，計算最后的amountIn變小，用更少的MONO換出了原來相同數量的WETH、WBTC、MONO、USDC、USDT、DUCK、MIM、IMX等池子中的代幣。

攻擊者最終把攻擊獲利轉入地址

0x8f6a86f3ab015f4d03ddb13abb02710e6d7ab31b。

以上為以太坊主鏈上的攻擊分析，此外，攻擊者除了在以太坊主鏈上進行攻擊外，還在Polygon上進行了同樣的攻擊，攻擊手法與以太坊主鏈上相同，此處不做過多重復的分析。

據慢霧AML統計，MonoXFinance最終損失約3400萬美元，包括約2.1K個WETH、1.9M個WMATIC、36.1個WBTC、143.4K個MONO、8.2M個USDC、9.1M個USDT、1.2K個LINK、3.1K個GHST、5.1M個DUCK、4.1K個MIM以及274.9個IMX。

總結

本次攻擊是利用了swap合約里沒有對池中傳入和傳出代幣作檢查，從而利用價格更新機制的問題，由于在swap合約中會對池中傳入和傳出的代幣的價格調用同一個函數_upTokenInfo來進行更新，而當傳入和傳出的代幣為同一種代幣時，第二次調用_upTokenInfo函數時，通過價格計算后的更高的tokenOutPrice會覆蓋掉價格更低的tokenInPrice，以此來不斷推高池中該代幣的價格，最后可以換出池中其他的所有代幣來獲利離場。

By：九九@慢霧安全團隊

Tags：TOKENTOKETOKKENSwash TokendragontokenLucky1TokenStonks Token

比特幣行情