IMP:Impossible被黑分析：“不可思議”的被黑之旅

據慢霧區消息，幣安智能鏈(BSC)DeFi項目ImpossibleFinance遭遇閃電貸攻擊。慢霧安全團隊第一時間介入分析，并將結果分享如下：

攻擊細節分析

ImpossibleFinance的DEX架構參考了Uniswapv2，但在Pair的實現上有所不同。ImpossiblePair分別實現了cheapSwap與swap兩個接口。cheapSwap函數限制了只由Router合約可進行調用，swap函數則是任意用戶都可調用進行代幣兌換操作。本次攻擊事件的根本原因正是出在這種特殊的代幣兌換架構上，接下來我們對此次攻擊進行具體分析：

首先攻擊者利用閃電貸從PancakeSwap中借出大量WBNB，并最終將其兌換成IF(ImpossibleFinance代幣)?。

NFT項目Chimpers24小時交易額超5500ETH，OpenSea站內排名第一:5月21日消息，據OpenSea數據顯示，NFT項目Chimpers上線首日24小時交易額達5504.89ETH，目前地板價3.09ETH，排OpenSea站內24小時交易額榜單首位。[2022/5/21 3:32:45]

隨后攻擊者創建了一個由自己控制的代幣AAA(BBB)，并與上一步驟中獲得的IF代幣添加流動性。

Matrixport與Simplex建立合作 用戶可使用信用卡購買加密貨幣:新加坡數字資產金融服務提供商Matrixport宣布已與歐洲領先的合規支付公司Simplex達成合作，今后，用戶可以可以便捷、安全地使用維薩卡（Visa）或萬事達卡（Mastercard），在Matrixport平臺購買加密貨幣。

據了解，Simplex已提供超過20種法定貨幣的入金支持，其中包括美元、歐元、盧布、英鎊、日元、加元、澳元、韓元等。現在，來自世界各地的用戶可以使用Simplex購買加密貨幣，并享受Matrixport的主流投資產品帶來的高收益。（Cointelegraph）[2020/4/29]

之后攻擊者通過Router傳入自定的兌換路徑(AAA->IF->BUSD)將AAA代幣兌換成BUSD代幣，而問題正是出現在此兌換過程中。通過鏈上記錄我們可以很容易的發現攻擊者在將AAA代幣兌換成IF代幣的過程中進行了兩次兌換操作：

動態 | Simplex與Liquid合作 提供法幣存款:據Financemagnates報道，加密貨幣交易平臺Liquid今日宣布，它正在與支付商Simplex合作，允許用戶使用信用卡和借記卡以法定貨幣存入平臺。目前，使用交易所服務的交易商和投資者只能以歐元存款。[2019/2/21]

為什么在一次兌換過程中會進行兩次兌換操作呢？

通過分析具體的內部調用流程我們可以發現，攻擊者在Router合約調用AAA合約的transferFrom函數將AAA代幣轉入Pair合約的過程中，同時調用了一次Pair合約的swap函數(即在transferFrom函數實現了正常轉賬與swap調用的邏輯)。然后再通過項目設計預期的cheapSwap再進行一次正常的代幣兌換操作。

加拿大非政府組織Impact退出金伯利計劃 區塊鏈技術或使血鉆問題有所改觀:加拿大非政府組織Impact于1月22日退出了金伯利計劃，理由是防止“血鉆”交易的協議沒有完全實現。一周以前，全球最大的鉆石生產商之一的戴比爾斯宣布了一項區塊鏈試點計劃，希望能保證鉆石不受地區沖突的影響，其區塊鏈計劃希望能夠防止有沖突地區的鉆石進入市場。其網站指出：“分布式賬本將支撐民眾對于鉆石的信心，每顆鉆石都將能創造永久的記錄，就像鉆石本身一樣永恒。”[2018/1/23]

通過以上分析我們可以知道攻擊者在一次代幣兌換過程中分別通過調用swap函數與cheapSwap函數進行兩次代幣兌換操作，最終收到了額外的BUSD代幣。那么既然是進行兌換操作，理論上每次兌換操作都將導致K值的變化，最終使得用戶無法獲得預期的代幣。

但通過分析ImpossiblePair的swap函數與cheapSwap函數的具體邏輯，我們發現一個驚人的情況：在swap函數中進行了K值檢查，而在cheapSwap函數卻未進行K值檢查而直接進行了update操作。這就導致了攻擊者進行了多次兌換操作獲得了額外的BUSD。

攻擊流程

1、攻擊者先通過PancakeSwap閃電貸借出WBNB，并將WBNB兌換成IF代幣。

2、創建惡意的代幣合約AAA(BBB)，并在Impossible中添加了AAA代幣與IF代幣流動性。

3、通過AAA->IF->BUSD路徑進行AAA代幣到BUSD代幣的兌換，并在AAA代幣轉入Pair合約兌換成IF代幣的過程中進行了一次IF代幣與BUSD的兌換操作，隨后再進行正常的cheapSwap操作。最終獲得了額外的BUSD代幣。

4、之后重復以上操作進行獲利。

總結

本次攻擊的核心在于cheapSwap函數中未進行K值檢查，導致攻擊者可以通過在一次兌換過程中進行多次兌換操作以獲得額外的代幣。慢霧安全團隊建議DeFi協議在參考其他項目的基礎上進行創新的過程中應該充分的對其新的模型進行檢查驗證以避免此類安全事故的發生。

Tags：SWAPIMPAAABUSDfrogswapimpt幣最新消息AAA幣ABUSD

狗狗幣