比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

DeFi浪潮下的“狠角色”DEX夠安全嗎?_DEFI

Author:

Time:1900/1/1 0:00:00

如今,隨著人們對DeFi的興趣日益濃厚,DEX風靡一時。它們解決了常見的CEX問題,那我們也會問,DEX夠安全嗎?

在上一篇說明了代幣本身的安全問題后|DEFI安全問題之基礎篇),現在來聊聊DEX在兌換代幣時可能產生的安全問題。目前DEX主要面臨的安全問題大致可分成兩類:

DEX項目本身存在的安全問題。

作為第三方協議,與其他DEFI項目交互時產生的安全問題。

本文將對第一類安全問題進行介紹。

重入漏洞

重入漏洞在上一篇我們也提到過,它屬于需要防范的經典漏洞。與普通代幣的重入相比,Uniswap的重入漏洞的主要表現形式為:攻擊者在一筆兌換交易中利用Uniswap未及時更新價格前發起二次兌換,由于此時Uniswap未更新價格,使得二次兌換可兌出的代幣數量比正常兌換的多。此外,在Uniswap的重入攻擊中,攻擊者利用單筆交易可能只能獲得微小的收益,因此攻擊者往往傾向于使用閃電貸或者循環套利擴大戰果。

以imBTC攻擊事件為例,該事件是由于UniswapV1在調用ERC777系列代幣時,未充分考慮合約回調的情況。

具體表現為:攻擊者使用imBTC代幣兌換ETH時,合約先通過self.getInputPrice函數計算正確的ETH數額并將ETH發送到目標地址,然后調用self.token.transferFrom函數時,會調用imBTC合約的_callTokensToSend函數,而_callTokensToSend函數會調用用戶指定存儲imBTC代幣的合約。因此,如果攻擊者部署存儲合約,并改寫其中TokensToSend函數,那么當兌換代幣時,pair(兩種代幣組成的交易對)合約調用攻擊者部署的存儲合約,就可以回調pair進行二次兌換,而二次兌換時pair合約賬本還未更新,使得計算的ETH數額比正常兌換要多,以此來獲利。

Midas Investments創始人推出了新的DeFi金融平臺Locus Finance:金色財經報道,已關閉的托管加密投資平臺Midas Investments的創始人Iakov Levin推出了一個新的DeFi金融平臺Locus Finance。Locus Finance在一份聲明中表示,Locus最初將提供三種基于以太坊質押、DeFi增長和Arbitrum交易的收益產品。

Midas Investments成立于2018年,在2021年的鼎盛時期積累了超過2.5億美元的管理資產。2022Midas 損失了超過5000萬美元。

同年12月,Levin宣布關閉Midas Investments。[2023/7/24 15:55:36]

圖1?Uniswap的tokenToEthInput函數

圖2imBTC的transferFrom函數

圖3imBTC的__callTokensToSend函數

詳細攻擊流程如下:

Terra鏈上DeFi鎖倉量突破190億美元,續刷歷史新高:金色財經報道,據DefiLlama數據顯示,當前Terra鏈上DeFi鎖倉量突破190億美元,報193.2億美元,續刷歷史新高,在公鏈中排名第2位。目前,鎖倉量排名前5的公鏈分別為以太坊(1551億美元)、Terra(193億美元)、BSC(167億美元)、Avalanche(126億美元)、Solana(118億美元)。[2021/12/22 7:55:09]

圖4ETH-imBTC事件流程圖

那么,為什么在第二次調用tokenToEthSwapInput函數兌換代幣時,發送的ETH會比正常兌換要多呢?我們可以用公式來還原可兌換代幣數量的代碼邏輯:

首先,正常兌換下,getInputPrice函數計算可兌換的ETH數量為:

且正常第二次可兌換的ETH數量為:

但重入后第二次可兌換的ETH數量為:

DeFi基準利率今日為3.38%:金色財經報道,據同伴客數據顯示,06月10日DeFi去中心化金融基準利率為3.38%,較前一日下降0.01%。同期美國國債抵押回購率(Repo Rate)為0.03%,二者利率差為3.35%。

DeFi基準利率代表了DeFi融資難易程度,利率越高說明融資成本越高,利率越低說明融資成本越低。其與Repo Rate的利率差則便于DeFi與傳統市場作進行同類比較。[2021/6/10 23:27:47]

由此可知,在重入后第二次兌換中只有ETH的儲備量減少,而imBTC儲備量未增加。這樣在分母不增加的情況下,導致了等量的imBTC可以兌換更多的ETH。

針對此類安全問題,成都鏈安建議:

當合約涉及到資產轉移時,使用“檢查-生效-交互”模式來處理邏輯,對關鍵的業務操作可以使用OpenZeppelin官方的ReentrancyGuard進行修飾。

swap函數未對K值進行校驗

Uniswap的核心是常量乘積模型K=x*y,其中的K值是該pair合約持有代幣數量的乘積,且要求之后的每一筆交易完成后K值必須增加(考慮手續費)。因此如果不進行K值校驗,將很容易成為攻擊點。

圖5Uniswap的價格波動

以ImpossibleFinance事件為例,該項目是Uniswap的仿盤,實現了兩種兌換代幣的函數:cheapSwap和swap。其中cheapSwap函數少了k值校驗,但是項目方知道缺少K值校驗的后果,專門為cheapSwap函數增加了onlyIFRouter做修飾,來限制cheapSwap函數只能被指定的Router合約調用。

聚幣已上線DeFi衍生品項目FNX 開盤最高漲幅47.7%:據官方消息,聚幣平臺已于2020年8月14日15:00(UTC+8)上線DeFi衍生品類項目FNX ,開通FNX/USDT交易對。開盤最高漲幅47.7%,當前最高價0.48033USDT。

FinNexus是指為滿足投資多樣性、便捷性、以及價值基礎三方面需求,運用區塊鏈技術,構建實現資產、用戶以及不同的服務商之間的交互的”開放金融連接器”的協議簇;從落地方面我們將衍生品賽道作為重點,并落地于去中心化期權。FNX是FinNexus的平臺代幣,具有平臺決策、管理、收益、流通等多重屬性。[2020/8/14]

圖6?合約未檢查k值的cheapSwap函數

正常情況下,當用戶使用Router合約兌換代幣時,首先會使用getAmountsOut函數來計算正確的代幣數量amounts;然后調用safeTransferFrom將用戶的兌換消耗代幣轉入目標pair合約;最后,通過內部調用_swap函數來執行cheapSwap函數將兌換代幣轉至目標地址。

圖7?Router01合約的swapExactTokensForTokens函數

但是,由于cheapSwap函數缺少了K值檢驗,如果攻擊者部署惡意代幣合約,在Router合約調用safeTransferFrom函數時,回調正常的pair合約進行同種兌換,由于,回調后的兌換使用的amounts仍是未更新之前的數據,已不符合改變賬本狀態之后的校驗,那么攻擊會導致以錯誤的價格兌換出目標代幣,以此獲利。

長期未解決的DeFi DApp漏洞仍未被修復:金色財經報道,ZenGo首席執行官OurielOhayon發出警告稱,DeFi存在的安全漏洞BaDApprove給用戶帶來了風險,這一風險尚未得到充分解決。該漏洞不是代碼錯誤,而是錢包如何與用戶交互以及默認情況下設置交易權限的問題。Ohayon對大量錢包(包括Metamask、Opera和imToken)進行研究后發現,當用戶批準特定交易時,在默認情況下,他們通常還會批準所有未來的交易。這為惡意DApp在用戶不知情或未經其同意的情況下與用戶資金互動打開了大門,這可能會竊取全部以太坊資產。該漏洞已被充分記錄在案。ZenGo團隊建立了一個DApp演示來提醒用戶這個潛在的漏洞。視頻顯示,一名用戶向“流氓交換應用程序”發送了幾枚FRTs(一種測試幣),并允許該程序提取代幣并自動進行交易。然后,BaDApproveDApp會耗盡用戶的全部余額。[2020/3/24]

圖8?合約進行k值校驗的Swap函數

該事件的具體攻擊步驟如下:

1.在準備階段攻擊者部署了AAA代幣合約,并使用閃電貸借來1000WBNB,兌換65140個項目方的IF代幣。

2.使用其中一半的IF代幣(32570個)與攻擊者自己部署的AAA代幣構建IF-AAA交易池。

3.執行AAA-IF-BUSD路徑的代幣兌換,且當Router合約調用AAA代幣合約的transferFrom函數時會執行攻擊者的惡意代碼,重入至IF-BUSD的pair合約,并將另一半IF代幣正常兌換出221897個BUSD。

4.回歸到AAA-IF-BUSD路徑的兌換,將之前計算的amounts值傳入_Swap函數中執行這筆兌換,用一半的IF又兌換了2521897個BUSBD。

5.歸還閃電貸,完成攻擊。

圖9?事件流程圖

針對此類安全問題,成都鏈安建議:

在關鍵的兌換函數中必須做k值校驗,不要為了節省gas和代碼量就將K值校驗和安全驗證依賴外部驗證,做到自身功能完善。

DecentralizedExchange

通縮代幣未設置pair為分紅例外

通縮代幣在交易時會產生額外的分紅與手續費。如果交易合約中包含了此類代幣,且沒有進行特殊處理,那么,就可能導致交易對合約記錄的代幣儲量與實際的代幣可用余額不一致。

以XSquid事件為例,XSquid是一種通縮代幣,未將其與WHT代幣組成的pair合約地址添加獎勵例外列表,造成了pair合約除了正常代幣兌換和流動性存儲外,還存有多余的XSquid分紅獎勵代幣。因此,攻擊者就可以調用Swap函數將pair合約多余的XSquid代幣轉換為WHT提取,或者通過skim函數將多余的XSquid代幣直接提取。

圖10?XSquid交易對合約未添加獎勵例外

圖11?Swap函數可以兌換多余的WHT代幣

圖12?skim函數可以提取大于reserve的部分

針對此類安全問題,成都鏈安建議:

DEX在添加通縮分紅型代幣時多注意手續費以及分紅的處理情況。在創建通縮分紅型代幣交易對時,可以添加獎勵例外來避免此類代幣的分紅問題。

此外,以下兩類不屬于DEX本身的安全問題,但是被項目方借助了DEX的特性實施詐騙,所以將其寫在文章末尾。

詐騙交易池?

這類問題主要是指項目方在自己發行的代幣里留有后門,創建與主流代幣的交易池,誘使投資者使用手里存在價值的代幣買入項目方代幣,并且不斷拉盤對投資者進行投資欺騙。

以下面的TRTC項目方為例,項目方創建了ETH-TRTC的交易池。但是在TRTC的代幣合約對transferFrom函數做了相關限制,要求代幣的轉出方為owner(管理員)或者為Uniswap。因此對于投資者,僅可以通過Uniswap買入TRTC代幣,而不能賣出TRTC代幣。最后由項目方把投資者投入的ETH提走跑路,給投資者帶來了巨大的損失。

圖13?TRTC合約的transfer函數

圖14?TRTC合約的ensure修飾

圖15?TRTC合約的transferFrom函數

項目方RugPull?

RugPull是指項目方卷走投資者資金跑路的行為,目前已成為DeFi生態系統的最大騙局類型,項目方刻意制造代幣價格暴漲的假象、許諾為提供流動性的投資者提供高回報等方式來大量聚集資金,一旦時機成熟就移除池子里的流動性或將代幣卷走。這樣的例子在DeFi屢見不鮮,AnubisDAO、MeerkatFinance、TurtleDEX、Squidtoken魷魚幣等都是在卷款跑路之后,注銷網站和社交媒體銷聲匿跡,導致投資者承擔了巨大的損失。

?寫在最后?

成都鏈安建議項目方使用鎖倉和多重簽名來控制代幣流動性,避免出現砸盤跑路的情況。投資者不要被天上掉餡餅的事情沖昏頭腦,防范虛假宣傳。

Tags:SWAPEFIDEFDEFISwapifydefi communityWDEFI價格Metaegg DeFi

幣安app下載
晚間必讀5篇 | 當你在進行跨鏈時 資產真的轉移了么?_USD

1.金色觀察丨冬奧旋風后哪些體育NFT數字藏品值得關注?2022北京冬奧會成功結束了,本屆冬奧會除了給我們呈現出了精彩的比賽之外,還帶火了吉祥物冰墩墩.

1900/1/1 0:00:00
晚間必讀5篇 | NFT相關的21個常見術語科普_ETA

1.金色觀察|在以太坊上開發DApp需要哪些工具?從2017年和2018年開始,以太坊上的應用不斷出現,如今形式多樣,但在開發上可以進行一定的歸類.

1900/1/1 0:00:00
基建投研報告:有效信息聚合器項目分析_Filecoin

在數據為生產要素的數字時代,海量數據已成為社會生產的重要一環。盡管大數據和數據分析在當今時代有著舉足輕重的地位,然而數據之間的聯系和數據的所有權仍然存在著一定的障礙.

1900/1/1 0:00:00
迪士尼樂園:未來的元宇宙_元宇宙

“只要世界上還有想象力存在,迪士尼樂園就永遠不會完工。”華特·迪士尼在首座樂園即加州迪士尼樂園開園致辭時說。當我在迪士尼樂園的歷史中尋找對未來元宇宙的借鑒時,這句話抓住了我.

1900/1/1 0:00:00
進入“速凍”模式的元宇宙板塊 還能重新火起來嗎?_比特幣

去年四季度盛極一時的元宇宙板塊,卻在2022年伊始跌入“速凍”模式:通聯數據Datayes!的統計顯示,元宇宙指數于1月5日達到其歷史高點1248點后便逐級盤跌,2月25日報收于993點.

1900/1/1 0:00:00
金色前哨 | 美聯儲主席鮑威爾本周將向國會提交半年度貨幣政策更新_OIN

3月2日消息,美聯儲主席鮑威爾本周將在眾議院和參議院分別發表講話。周三出席眾議院小組會議,周四出席參議院委員會,公布半年度貨幣政策更新.

1900/1/1 0:00:00
ads