據慢霧區消息,幣安智能鏈 (BSC) DeFi 項目 Impossible Finance 遭遇閃電貸攻擊。慢霧安全團隊第一時間介入分析,并將結果分享如下:
攻擊細節分析
Impossible Finance 的 DEX 架構參考了 Uniswap v2,但在 Pair 的實現上有所不同。Impossible Pair 分別實現了 cheapSwap 與 swap 兩個接口。cheapSwap 函數限制了只由 Router 合約可進行調用,swap 函數則是任意用戶都可調用進行代幣兌換操作。本次攻擊事件的根本原因正是出在這種特殊的代幣兌換架構上,接下來我們對此次攻擊進行具體分析:
首先攻擊者利用閃電貸從 PancakeSwap 中借出大量 WBNB,并最終將其兌換成 IF (Impossible Finance 代幣) 。
韓媒:韓國法院裁定比特幣“不是貨幣”,不受利率規則的約束:6月26日消息,韓國法院裁定“比特幣(BTC)不是貨幣”,并且“利率規則不適用于”涉及加密資產的商業交易。該裁決是首爾高等法院民事部門對涉及兩家公司的案件做出的,上訴法院維持了法院關于其不受借貸業務和利息限制法約束的判決。這兩家公司因法律原因均未具名。[2023/6/26 22:01:27]
隨后攻擊者創建了一個由自己控制的代幣 AAA (BBB),并與上一步驟中獲得的 IF 代幣添加流動性。
灰度創始人Barry Silbert預測,本周將是市場“不穩定的一周”:灰度創始人Barry Silbert預測,本周將是市場“不穩定的一周”。上周,BarrySilbert在推特上透露已經通過UVXY做多了VIX指數,并認為99%的加密貨幣價格過高。(金十)[2021/6/21 23:53:03]
之后攻擊者通過 Router 傳入自定的兌換路徑 (AAA -> IF -> BUSD) 將 AAA 代幣兌換成 BUSD 代幣,而問題正是出現在此兌換過程中。通過鏈上記錄我們可以很容易的發現攻擊者在將 AAA 代幣兌換成 IF 代幣的過程中進行了兩次兌換操作:
一文章稱V神曾對NSA支持研發比特幣“不感到驚訝” V神稱其扭曲原意:一篇文章稱V神曾回復網友:如果NSA支持比特幣研發,他不會驚訝。但V神發推認為該文章扭曲了他的原意,他說的是“存在10%-50%的概率”而非“不感到驚訝”。同時,V神還申明,該討論發生在2011年,自己的觀點也已經改變了很多。[2018/6/16]
為什么在一次兌換過程中會進行兩次兌換操作呢?
通過分析具體的內部調用流程我們可以發現,攻擊者在 Router 合約調用 AAA 合約的 transferFrom 函數將 AAA 代幣轉入 Pair 合約的過程中,同時調用了一次 Pair 合約的 swap 函數 (即在 transferFrom 函數實現了正常轉賬與 swap 調用的邏輯)。然后再通過項目設計預期的 cheapSwap 再進行一次正常的代幣兌換操作。
CFTC主席建議對虛擬貨幣采取“不傷害”原則:美國商品期貨交易委員會(CFTC)主席J. Christopher Giancarlo今天向美國參議院銀行委員會提交了一份書面證詞,建議對分布式賬本技術(區塊鏈)、虛擬貨幣公司和相關初創企業采取“不傷害”注冊流程。他表示,“虛擬貨幣標志著我們看待支付、傳統金融流程和參與經濟活動的范式的轉變。忽視這些事態發展B不僅不會讓它們淡出視野,也不是一個監管部門的負責任的回應。”今晚23點,美國參議院舉行虛擬貨幣監管主題聽證會,SEC主席Jay Clayton和CFTC主席J. Christopher Giancarlo均將出席。[2018/2/6]
通過以上分析我們可以知道攻擊者在一次代幣兌換過程中分別通過調用 swap 函數與 cheapSwap 函數進行兩次代幣兌換操作,最終收到了額外的 BUSD 代幣。那么既然是進行兌換操作,理論上每次兌換操作都將導致 K 值的變化,最終使得用戶無法獲得預期的代幣。
但通過分析 Impossible Pair 的 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 協議在參考其他項目的基礎上進行創新的過程中應該充分的對其新的模型進行檢查驗證以避免此類安全事故的發生。
參考交易:
https://bscscan.com/tx/0x0220704a99ddfb982d26e65cc337f26b77dc057930b7aa1d848cc48ec77984a8
區塊鏈技術創新不僅催生了各類加密數字貨幣,同時也引起了各國中央銀行廣泛的興趣和探索。可以這樣說,目前大多數國家乃至中國的央行數字貨幣,實驗都是基于區塊鏈技術展開的.
1900/1/1 0:00:00密碼學貨幣圈子內外,越來越多人寄希望于權益證明(Proof-of-stake,PoS)既能為我們貢獻密碼學貨幣的優點、又能避免工作量證明(Proof-ofwork,PoW)的耗能屬性.
1900/1/1 0:00:00根據最初 Flash Boys 2.0 中的定義,礦工可提取價值 (MEV)是指礦工可以通過在他們生產的區塊中包含、重新排序、插入或忽略交易來獲得的額外利潤.
1900/1/1 0:00:00我國第一部主要的加密法規出現在 2013 年,當時政府承認比特幣是虛擬財產,但禁止將其作為交易媒介。2017年,央行宣布首次代幣發行(ICO)非法,導致比特幣價值暫時暴跌.
1900/1/1 0:00:006 月 8 日,波卡創始人 Gavin Wood 對外釋放了較為確定的 Kusama 卡槽拍賣時間表.
1900/1/1 0:00:00市場的走勢和分歧是永無止境的,沒有人能夠確切的知道下一秒會如何變化,更不會預測出明年哪個賽道才是最強王者,但在復雜的市場里,卻有一個最簡單的邏輯,就是長期來看,所有資產都是向上的.
1900/1/1 0:00:00