如今,隨著人們對 DeFi 的興趣日益濃厚,DEX(即去中心化交易所)風靡一時。它們解決了常見的 CEX (即中心化交易所)問題,那我們也會問,DEX夠安全嗎?
在上一篇說明了代幣本身的安全問題后(純干貨分享(一) | DEFI安全問題之基礎篇),現在來聊聊DEX在兌換代幣時可能產生的安全問題。目前DEX主要面臨的安全問題大致可分成兩類:
(1)DEX項目本身存在的安全問題。
(2)作為第三方協議,與其他DEFI項目交互時產生的安全問題。
本文將對第一類安全問題進行介紹。
重入漏洞
重入漏洞在上一篇我們也提到過,它屬于需要防范的經典漏洞。與普通代幣的重入相比,Uniswap的重入漏洞的主要表現形式為:攻擊者在一筆兌換交易中利用Uniswap未及時更新價格前發起二次兌換,由于此時Uniswap未更新價格,使得二次兌換可兌出的代幣數量比正常兌換的多。此外,在Uniswap的重入攻擊中,攻擊者利用單筆交易可能只能獲得微小的收益,因此攻擊者往往傾向于使用閃電貸或者循環套利擴大戰果。
以imBTC攻擊事件為例,該事件是由于Uniswap V1在調用ERC777系列代幣時,未充分考慮合約回調的情況。
具體表現為:攻擊者使用imBTC代幣兌換ETH時(如圖1),合約先通過self.getInputPrice函數計算正確的ETH數額并將ETH發送到目標地址,然后調用self.token.transferFrom函數時,會調用imBTC合約的_callTokensToSend函數(如圖2),而_callTokensToSend函數會調用用戶指定存儲imBTC代幣的合約。因此,如果攻擊者部署存儲合約,并改寫其中TokensToSend函數,那么當兌換代幣時,pair(兩種代幣組成的交易對)合約調用攻擊者部署的存儲合約,就可以回調pair進行二次兌換,而二次兌換時pair合約賬本還未更新,使得計算的ETH數額比正常兌換要多,以此來獲利。
DeFi借貸平臺Avax Fi從Zen Capital獲得風險投資資金:金色財經消息,DeFi借貸平臺Avax Fi從專注于Web3的風險投資基金Zen Capital獲得風險投資。AvaxFi團隊開發了一個用戶友好、可擴展且完全去中心化的平臺,用于即時貸款審批、自動抵押品、去信任托管和增強貸款流動性。AvaxFi建立在Avalanche之上,旨在釋放下一代無縫、快速和安全的加密借貸。
Zen Capital此前投資了數個以太坊和Solana生態項目,包括SolChicks、Mars4、SpellFire、Ertha和Soldex。(Bitcoinist)[2022/6/9 23:02:59]
圖1?Uniswap的tokenToEthInput函數
圖2 imBTC的transferFrom函數
圖3 imBTC的__callTokensToSend函數
詳細攻擊流程如下:
DeFi 概念板塊今日平均漲幅為3.45%:金色財經行情顯示,DeFi 概念板塊今日平均漲幅為3.45%。47個幣種中32個上漲,15個下跌,其中領漲幣種為:CRV(+26.24%)、JST(+24.27%)、AST(+18.80%)。領跌幣種為:HDAO(-3.41%)、NEST(-3.28%)、WNXM(-2.83%)。[2021/1/15 16:13:02]
圖4 ETH-imBTC事件流程圖
那么,為什么在第二次調用tokenToEthSwapInput函數兌換代幣時,發送的ETH會比正常兌換要多呢?我們可以用公式來還原可兌換代幣數量的代碼邏輯:
首先,正常兌換下,getInputPrice函數計算可兌換的ETH數量為:
且正常第二次可兌換的ETH數量為:
但重入后第二次可兌換的ETH數量為:
由此可知,在重入后第二次兌換中只有ETH的儲備量減少,而imBTC儲備量未增加。這樣在分母不增加的情況下,導致了等量的imBTC可以兌換更多的ETH。
福布斯專欄作者:DeFi或推動政府采用CBDC:福布斯專欄作者Luke Fitzpatrick今日刊文稱,DeFi可能會推動政府采用CBDC。文章表示,DeFi通過將權力從中央實體轉移到個人,使全球金融自由化。由于不同的原因,其吸引力吸引了不同的受眾。DeFi在財政上也有利,因為各國政府一直無法對非主權法幣執行有效的稅務程序。[2020/10/7]
針對此類安全問題,成都鏈安建議:
當合約涉及到資產轉移時,使用“檢查-生效-交互”模式來處理邏輯,對關鍵的業務操作可以使用OpenZeppelin官方的ReentrancyGuard進行修飾。
swap函數未對K值進行校驗
Uniswap的核心是常量乘積模型K=x*y,其中的K值是該pair合約持有代幣數量的乘積,且要求之后的每一筆交易完成后K值必須增加(考慮手續費)。因此如果不進行K值校驗,將很容易成為攻擊點。
圖5 Uniswap的價格波動
以Impossible Finance事件為例,該項目是Uniswap的仿盤,實現了兩種兌換代幣的函數:cheapSwap和swap。其中cheapSwap函數少了k值校驗(如圖6),但是項目方知道缺少K值校驗的后果,專門為cheapSwap函數增加了onlyIFRouter做修飾,來限制cheapSwap函數只能被指定的Router合約調用。
DeFi播報丨DeFi總市值127.8億美元 WNXM領漲:據OKEx統計,DeFi項目當前總市值為127.8億美元,總鎖倉量為106.5億美元。行情方面,今日DeFi代幣普漲,OKEx平臺DeFi幣種漲幅前三位分別是WNXM、DIA、YFII。截至12:30,OKEx平臺熱門DeFi幣種表現如下。[2020/9/15]
圖6?合約未檢查k值的cheapSwap函數
正常情況下,當用戶使用Router合約兌換代幣時,首先會使用getAmountsOut函數來計算正確的代幣數量amounts;然后調用safeTransferFrom將用戶的兌換消耗代幣轉入目標pair合約;最后,通過內部調用_swap函數來執行cheapSwap函數將兌換代幣轉至目標地址。
圖7?Router01合約的swapExactTokensForTokens函數
但是,由于cheapSwap函數缺少了K值檢驗,如果攻擊者部署惡意代幣合約,在Router合約調用safeTransferFrom函數時,回調正常的pair合約進行同種兌換,由于,回調后的兌換使用的amounts仍是未更新之前的數據,已不符合改變賬本狀態之后的校驗,那么攻擊會導致以錯誤的價格兌換出目標代幣,以此獲利。
火幣七爺:火幣很快會在DeFi方面有進一步動作:7月17日晚,火幣全球站CEO七爺在媒體直播時談到今年的熱點DeFi時表示,DeFi 當前處于早期階段,具體表現有用戶體驗差、缺乏好資產、性能不佳、安全性不高等問題。此外,高利率和高挖礦收益概念讓DeFi有一些“過熱”,呈現了局部的泡沫化。這也是火幣沒有急于上線更多高估值DeFi幣的原因。
當然 DeFi 也繼承了去中心化的優點包括去中介,無委托代理人風險、鏈上直接清結算、沒有信用風險、私有產權獲得保護等,是一個存粹客觀的計算世界。因此DeFi板塊,在整體泡沫化的市場環境以外,也會存在價值洼地。此前火幣已經上了多個DeFi項目,包括LINK、RSR 等等,項目熱度還不錯。在DeFi方面,火幣很快會有進一步的動作。近期火幣全球站已經推出DeFi狂歡季,為用戶提供從現貨、杠桿到合約的最全DeFi投資服務,成為投資DeFi的一站式交易平臺。[2020/7/17]
圖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值校驗和安全驗證依賴外部驗證,做到自身功能完善。
Decentralized Exchange
通縮代幣未設置pair為分紅例外
通縮代幣在交易時會產生額外的分紅與手續費。如果交易合約中包含了此類代幣,且沒有進行特殊處理,那么,就可能導致交易對合約記錄的代幣儲量與實際的代幣可用余額不一致。
以XSquid事件為例,XSquid是一種通縮代幣,未將其與WHT代幣組成的pair合約地址添加獎勵例外列表,造成了pair合約除了正常代幣兌換和流動性存儲外,還存有多余的XSquid分紅獎勵代幣。因此,攻擊者就可以調用Swap函數將pair合約多余的XSquid代幣轉換為WHT提取(如圖11),或者通過skim函數將多余的XSquid代幣直接提取(如圖12)。
圖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函數
項目方Rug Pull?
Rug Pull是指項目方卷走投資者資金跑路的行為,目前已成為DeFi生態系統的最大騙局類型,項目方刻意制造代幣價格暴漲的假象、許諾為提供流動性的投資者提供高回報等方式來大量聚集資金,一旦時機成熟就移除池子里的流動性或將代幣卷走。這樣的例子在DeFi屢見不鮮,AnubisDAO、Meerkat Finance、TurtleDEX、Squid token魷魚幣等都是在卷款跑路之后,注銷網站和社交媒體銷聲匿跡,導致投資者承擔了巨大的損失。
?寫在最后?
成都鏈安建議項目方使用鎖倉和多重簽名來控制代幣流動性,避免出現砸盤跑路的情況。投資者不要被天上掉餡餅的事情沖昏頭腦,防范虛假宣傳。
朋友們, 周一快樂! 我最喜歡寫看似所有人有統一共識 但結果證明是完全錯誤的東西。而這正是今天這篇文章要寫的內容.
1900/1/1 0:00:00隨著數字人民幣的研究和試點不斷推進,使用場景越來越豐富,覆蓋的人群也越來越廣泛。那么如何為老年人甚至是殘障人士提供服務成為數字人民幣需要考慮的方向.
1900/1/1 0:00:00NFT 是怎么誕生的? 理解 NFT ,我們也從 NFT 是怎么誕生的說起。NFT 的概念是由加密貓CryptoKitties 的創始人兼 CTO Dieter Shirley 在 2017 年.
1900/1/1 0:00:00本文由公號“老雅痞”laoyapicom授權轉載3 月 9 日,Polygon 宣布納斯達克上市的體育娛樂公司 DraftKings 將作為驗證者和節點運營商加入 Polygon 生態.
1900/1/1 0:00:00頭條 ▌MetaMask將推出DAO并發布Token金色財經報道,以太坊基礎設施開發公司ConsenSys周二宣布,以太坊錢包MetaMask現擁有超過3000萬月活躍用戶.
1900/1/1 0:00:00北京時間3月16日晚11時許,烏克蘭數字化轉型部的官方推特宣布,烏克蘭已將加密行業合法化,總統弗拉基米爾·澤連斯基正式簽署了一項「關于虛擬資產」的法律,海外和本國的加密資產企業將合法運營.
1900/1/1 0:00:00