SDT:Formation.Fi 閃電貸安全事件分析

前?

11月21日，知道創宇區塊鏈安全實驗室?監測到以太坊上的DeFi協議?Formation.Fi?遭遇黑客攻擊，損失近10萬美元。實驗室第一時間跟蹤本次事件并分析。

攻擊流程及形成漏洞成因分析

簡述攻擊流程

首先黑客通過合約0xd02C進行閃電貸借出啟動資金200USDT

向合約Vault質押100USDT獲得99FormationUSD?

伯恩斯坦：美國合規比特幣ETF的市值份額還有上升的空間:金色財經報道，目前最大的比特幣資產管理產品是灰度，該產品管理著規模190億美元的灰度比特幣信托（GBTC），但投行伯恩斯坦研報稱，貝萊德在美國申請現貨比特幣ETF的消息可能會威脅到其主導地位。該投行稱，“盡管灰度效率低下、流動性差，而且在過去28個月里以大幅折扣交易，但年化費用收入約為3.8億美元，年化費率為2%，仍有收斂至與傳統ETF資產（0.5%）一致的空間。如果貝萊德和其他公司的比特幣現貨ETF獲SEC批準，將為散戶和機構投資者提供最方便、合規和可接受的產品，以獲得比特幣敞口。”研報指出，GBTC只占比特幣總市值的3%，這意味著突破現貨比特幣ETF市場后，合規ETF的份額還有上升的空間。[2023/6/26 22:01:28]

通過Vault合約swapin函數置換100USDT并附帶大量fee

Coinbase CEO：Coinbase的質押服務不是證券，必要情況下愿意在法庭為其辯護:2月13日消息，Coinbase首席執行官Brian Armstrong推特發文稱，“Coinbase的質押服務不是證券。如有需要，我們很樂意在法庭上為其辯護”。此前，Armstrong也發文稱“堅持為經濟自由而戰，保護客戶免受政府過度干預”。他表示，質押是加密貨幣領域一個非常重要的創新，質押不屬于證券。新技術應被鼓勵在美國發展，而不是因缺乏明確的規則而被扼殺。

金色財經此前報道，美國證券交易委員會(SEC)周四宣布，加密交易所Kraken將“立即”終止向美國客戶提供加密質押服務，并將向SEC支付3000萬美元罰款，以解決其提供未注冊證券的指控。[2023/2/13 12:02:55]

調用Vault合約函數withdraw銷毀99FormationUSD獲得漏洞利潤99999USDT

Reserve Protocol將于29日完成第一階段代幣解鎖，供應量增至420億枚:7月25日消息，去中心化穩定幣協議Reserve Protocol將于7月29日完成第一階段代幣解鎖，供應量增至420億枚。

據悉，Reserve Protocol是一個去中心化穩定幣的平臺，其第一階段的代幣解鎖是從2022年1月開始，在6個月內線性解鎖290億枚RSR，代幣解鎖后仍將由Reserve保管。持有者可以提交出售請求，Reserve收到請求后將通過OTC場外出售代幣。[2022/7/25 2:35:19]

最后歸還閃電貸將獲利轉到黑客地址

漏洞成因分析

檢查源碼后發現具體問題主要出在Vault合約函數?swapIn?上，可以看到該函數調用參數?fee?能影響記錄著全部代幣的變量?totalTokens?的計算,fee越大totalTokens越大。

而在通過函數withdraw實際獲取利潤時,可以看到實際轉賬時totalTokens參與了計算，所以當大量的fee被帶人totalTokens計算后，會造成withdraw函數的轉賬超過原本的轉賬金額。

而造成攻擊獲利巨大的另個原因是FormationUSD與USDT的小數點數位不同，FormationUSD為18位，USDT為6位。小數點精準數位的差距在實際轉賬中進一步放大了黑客的收益。

Vault：

TetherToken：

重新梳理攻擊過程

第一步：選用USDT作為攻擊使用的代幣，目的USDT與FormationUSD的小數點精確度不同

第二步：黑客質押100USDT，目的為了后續調用withdraw函數實現套利

第三步：黑客兌換100USDT，目的添加大量的fee提升totalTokens的值

第四步：黑客取回質押的USDT，目的使用提升后totalTokens與利用代幣間小數點精確度不同來套取利潤

第五步：歸還閃電貸，轉移套取的利潤

總結

本次閃電貸安全事件發生的主要原因在于項目方設計函數?swapIn?時低估了fee對totalTokens的影響，且忽視了不同代幣間小數點精確度的影響。

知道創宇區塊鏈安全實驗室?再次提醒近期各鏈上頻頻爆發攻擊事件，合約安全愈發需要得到迫切重視，合約審計、風控措施、應急計劃等都有必要切實落實。

來源：金色財經

Tags：USDUSDTSDTKEN南瓜usdt幣wstUSDT價格AUSDT幣UpToken

SHIB最新價格