以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

ION:百萬美金的火線排雷:深度解讀DeFi資產授權漏洞

Author:

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

本文來自AmberGroup,作者吳家志。原文標題:《ExploitingPrimitiveFinanceApprovalFlaws》。

事件摘要:2月24日,一篇關于PrimitiveFinance?的漏洞分析報告在圈內引發關注,報告描述了三個白帽攻擊以及漏洞原理。一個多月后的4月14日,以AmberGroup區塊鏈安全專家吳家志博士為代表的團隊,發現了一個錢包地址有超過100萬美金的資產存在風險。在本地復現攻擊后,其團隊通過Immunefi聯系了Primitive項目方,并成功協助潛在的受害者重置了WETH授權,解除危機。這篇文章將介紹該團隊如何在模擬環境中利用此漏洞,以及如何通過區塊鏈數據分析找到潛在的受害者錢包地址。

原理:智能合約中的裂隙

在目前EVM及ERC-20的架構中,當用戶與智能合約交互時,智能合約本身缺少一個能從代碼層面捕捉到ERC-20轉賬事件的回調機制。例如當Alice給Bob發100個XYZ代幣時,Bob的XYZ余額會被更新在XYZ合約里。但是Bob如何知道他的XYZ變多了呢?他可以查Etherscan或者其錢包App自動從以太坊節點取得的最新余額。如果Alice將100XYZ發給一個智能合約Charlie,Charlie如何得知他的XYZ余額增加了呢?

事實上Charlie沒辦法在收到100XYZ的當下主動取得他最新的余額,原因是這個轉賬是在XYZ合約上發生的,不在Charlie合約。智能合約部署完成后就像操作系統一樣,是一堆代碼放在某個地方,需要被調用了才會發生作用。為了解決這個難題,在ERC-20標準有一個被廣泛使用的機制—approve()/transferFrom()。

TRM Labs:與ISIS相關的組織使用加密貨幣籌集數百萬美元:金色財經報道,區塊鏈分析公司TRM Labs在一份新報告中表示,世界各地與恐怖組織 ISIS 相關的組織通常使用加密貨幣進行籌款,這在某些情況下有助于獲得支持者。

據TRM稱,塔吉克斯坦的多個親 ISIS 組織在 2022 年期間通過基于 Tron 的 USDT 籌集了約 200 萬美元。這些團伙使用未具名的集中交易所將資金兌現,因此TRM能夠追蹤資金并通知交易所。據TRM稱,另一個支持ISIS的組織使用印度尼西亞一家交易所的賬戶籌集了超過 517,000 美元。[2023/7/22 15:51:25]

舉例來說,當Alice需要往Charlie存入100個XYZ代幣時,Alice可以事先授權Charlie使用她的100XYZ額度,此時Charlie的deposit()函數就可以在一個交易里通過transferFrom()主動將Alice錢包里的100XYZ取出,并且更新Charlie合約的狀態。為了減少摩擦,很多DApp甚至會讓用戶授權無限多的XYZ額度給項目方地址,這樣可以讓后續的transferFrom()調用直接成功,免除掉多次授權的點擊以及手續費,這等同于將Charlie加白。這個方案留下了一個隱患,萬一Charlie作惡或是被攻擊了,Alice的資產就會有危險。

足球元宇宙項目TOPGOAL宣布獲得DWF Labs數百萬美元投資:4月4日消息,足球元宇宙項目 TOPGOAL 宣布獲得 DWF Labs 數百萬美元投資,DWF Labs 是一家 Web3 風險投資公司和數字資產做市商。公告稱這項投資將使 TOPGOAL 能夠建立一個由人工智能和區塊鏈技術驅動的足球元宇宙,進一步實現其將體育帶入 Web3 并創造新的數字和虛擬體驗的愿景。[2023/4/4 13:44:22]

這個發生于2020年6月18日的意外證實了一個被控制或存在問題的智能合約可以如何被利用并且造成資產損失,如下代碼所示,safeTransferFrom()雖然名為safe的transferFrom卻意外被宣告成公開函數,導致任何人都可以使用Bancor合約的身份轉移任意用戶任意數量的任意資產到任意的地址。

簡單舉例來說,如果Alice正好使用過Bancor并且授權Bancor無限額度使用她的DAI,則一旦她的錢包里DAI余額大于零時,黑客就可以立即把她的DAI轉走。

診斷:黑客是怎樣繞開“安檢”的?

根據上文的漏洞分析報告所述,這個外部函數有一個類似的漏洞,但無法像Bancor的漏洞一樣被直接利用。事實上,攻擊者需要偽造兩個ERC20代幣合約,一個Uniswap資金池,并且發起一筆Uniswap閃電貸繞過下圖標注的?msg.sender==address(this)?檢查。聽起來復雜,但對于有經驗的黑客來說,這并不是太困難。

Coinbase 向漏洞披露者支付25萬美元賞金,該漏洞可使近乎0成本的賬戶獲利上百萬美元:2月19日消息,Coinbase 在官方博客發布針對此前漏洞事件的調查報告,稱在2022 年 2 月 11 日收到了第三方研究人員的報告,稱他們發現了 Coinbase 交易界面的缺陷。Coinbase及時調動安全事件響應團隊對漏洞進行識別和修復,在不影響客戶資金的情況下解決了系統底層問題。

Coinbase表示,該錯誤的根本原因是零售經紀 API 端點中缺少邏輯驗證檢查,這允許用戶使用不匹配的源賬戶將交易提交到特定訂單簿。此 API 僅由零售高級交易平臺使用,該平臺目前處于有限測試版中。

舉例而言,假如一個用戶有一個擁有 100 SHIB 的帳戶,以及一個擁有 0 BTC 的第二個帳戶,他可以通過向 BTC-USD 訂單簿提交市價單賣出 100 BTC,但手動編輯其 API 請求以指定其 SHIB 賬戶作為資金來源,從而可以在 BTC-USD 訂單簿上賣出 100 BTC 的市價單。

為此,Coinbase表示向披露者支付了25萬美元的漏洞賞金。不過在其推文下方,很多評論認為這一獎勵金額過低。[2022/2/20 10:03:15]

Primitive為何需要實現?flashMintShortOptionsThenSwap()?這樣一個接口呢?其實是有特定使用場景的,在?openFlashLong()函數可以看到,flashMintShortOptionsThenSwap()?會被封裝在一個Uniswap的flash-swap調用參數里,在第1371行觸發flash-swap之后,由回調函數?UniswapV2Call()?調起。此時由于?UniswapV2Call()?在Primitive合約里,便可以通過上述?msg.sender==address(this)?檢查。

Sound Ventures斥資百萬美元舉行NFT競賽活動:風險投資基金Sound Ventures將于4月30日舉行NFT競賽ThePitch活動,將提供超100萬美元獎金,以支持NFT中最具創新性的想法,申請截至日期為4月12日。評審團包括SoundVentures聯合創始人GuyOseary、億萬富翁Mark Cuban、NFT基金Metapurse創始人Meta kovan、饒舌歌手Snoop Dogg、著名音樂家和制作人3LAU、Scalar Capital聯合創始人LindaXie、數字藝術品收藏家&WHALE創始人Whale Shark以及Sound Ventures聯合創始人Ashton Kutcher。[2021/4/6 19:48:45]

值得注意的是,在?openFlashLong()函數里,第1360行寫的是?msg.sender,表示在正常的情況下,Primitive只能使用調用者本身的資金,然而攻擊者可以通過偽造的pair以及params用類似于1371行的方式直接調用Primitive合約的UniswapV2Call()并繞過?flashMintShortOptionsThenSwap()?的檢查。由于params在這情況下可以完全被控制,1360行的msg.sender便可以被替換成任意曾經授權Primitive的錢包地址,然后通過?flashMintShortOptionsThenSwap()?里的?transferFrom()?調用盜取資產。

Telegram創始人承諾向VPN提供商捐贈百萬美元比特幣:面對俄羅斯當局下令封鎖全國數百萬個IP地址所造成的連帶災害,Telegram創始人Pavel Durov承諾將向VPN提供商捐贈百萬美元比特幣,此項行動將作為他“數字抵抗”的一部分。Pavel Durov在Telegram中表示很高興捐出數百萬美元,并希望其他人也能跟隨,他認為“數字抵抗”是一個分權運動,代表全球的數字自由與進步。[2018/4/18]

追蹤:找出可能的受害者

如果一個黑客碰巧知道某位“大戶”曾授權有問題的合約,他可以輕易利用這個漏洞盜取受害人大量的資金。然而,這件事情如果僅使用區塊瀏覽器是很難做到的,尤其在合約已經部署了較長時間,并有大量用戶量的情況下。其中需要分析的數據并非是靠人工搜索Etherscan能夠實現的。

GoogleCloudPublicDatasets在此時可發揮作用。由于每一個成功的approve()調用都會在以太坊上發出一個Approval()事件,我們可以通過BigQuery服務找出所有事件并且通過一些方法過濾出我們感興趣的部分,例如_spender是Primitive合約的所有事件。

下面是我們在GCP上實際用來找出潛在受害者使用的SQL語句,其中第五行可以看到我們限定搜索的以太坊數據庫及記錄事件的表,第七行過濾出Approval()事件,第八行過濾了特定的_spender。此外,第六行將區塊高度范圍設定在Pirmitive合約部署之后,這可以大幅降低BigQuery掃過的數據量,這類的SQL優化會直接反應在你的GCP賬單里。

接下來,我們可以進一步優化SQL查詢將已經通過approve(_spender,0)重置授權的賬號從清單中刨除,得到最終的賬號列表。有了最終的列表,我們利用一個腳本監控著這些賬號,并且在這些危險賬號收到大量資產時發出預警,因為這很可能會造成嚴重的損失。

在一個星期三的清晨,機器人發出了預警,有一個可能的受害人在北京時間4月13日清晨5點24分收到了將近500WETH的資產,價值超過一百萬美金。相較于已公開的三次白帽攻擊,這個受害人如果被成功攻擊,所損失的金額將高于稍早的三個案例的總和。

我們在北京時間9:32緊急聯系了Primitive項目的漏洞賞金計劃運營方Immunefi并且向他們展示我們如何利用這個漏洞在模擬環境中盜取受害人的500WETH,并且提供包括下面的截屏等證據。

在Primitive團隊的幫助下,潛在的受害人于10:03將WETH授權重置,解除危機。

兩天后,Primitive團隊也針對此發現給予漏洞獎勵并發布公開致謝。該筆賞金發稿前已捐助給CryptoRelief。

復現:分布拆解漏洞的利用

漏洞利用的第一步,我們需要準備兩個ERC20合約:Redeem及Option。

其中Redeem合約是一個標準的ERC20,我們只需要基于OpenZeppelin的實現將mint()接口暴露出來,方便我們控制代幣數量,如下所示:

Option合約會相對復雜一點,從下面的代碼片段可以看到,我們需要刻意構造一些全局變量,以及公開函數,這些都是在Primitive的業務邏輯會用到的。此外,我們還需要傳入三個參數來初始化Option合約:

·???????redeemToken:稍早構造的Redeem合約地址

·???????underlyingToken:攻擊目標賬號所持有的資產合約地址

·???????beneficiary:受益人地址,也就是攻擊成功后將受害人資產轉移的目標地址

這里需要特別說明的是mintOptions()這個函數,從上面的代碼可以看到,它會直接把所有的underlyingToken發給beneficiary地址。這是因為下面的內部函數mintOptionWithUnderlyingBalance()函數在被?flashMintShortOptionsThenSwap()時會將underlyingToken發給Option代幣合約,并且通過mintOptions()調用鑄造Option代幣。因此,我們在偽造的Option合約里,可以直接把mintOptions()當作一個提幣調用,將underlyingToken發給beneficiary,用于之后歸還閃電貸的資金。

接下來,我們可以用剛剛創建的Redeem及Option代幣創建一個Uniswap的流動性池子,這個池子的地址將用來接收從受害人錢包轉出的資金。事實上,每個Uniswap池子里有等價的兩種資產,例如WETH及Redeem,為了完成漏洞利用,我們必須為池子注入流通性。Redeem是我們自己創建的,可以鑄造無限量的代幣,但WETH呢?

在閃電貸的幫助下,我們基本上可以利用無限數量的資金來做如何事情,只要確保能在一個交易中歸還資金即可。在這個案例中,我們使用AaveV2的閃電貸借了相當于受害人總資產99.7%的資金存入上述的流動性池。

根據Aave的設計,需要實現一個回調函數executeOperation()執行獲得貸款資金后的操作,并且在最后通過approve()調用授權Aave合約取走閃電貸的資產以及手續費。

總結

在基于EVM的智能合約世界里,approve()/transferFrom()是長久以來存在的固有問題。對于DeFi用戶而言,需要多留意你的錢包地址是否正允許著其他人使用你的資產,并且定期重置資產使用權。對于項目方而言,需要在上線之前花更多心思和時間從各種可能的角度測試,甚至攻擊你的代碼,因為你正在編程的,是每位用戶的真金白銀。

關于作者

吳家志受聘于全球領先的加密金融智能服務提供商AmberGroup,作為區塊鏈安全專家。他畢業于美國北卡州立大學計算機專業,獲得博士學位,師從安卓安全領域領軍者蔣旭憲教授,在美國讀書期間一直從事系統安全研究,主要方向為虛擬化安全、安卓系統安全。吳家志博士在全球安卓安全領域有很大的影響,發表過多篇科技論文,在安卓系統漏洞安全方面經驗豐富。他于2017年開始轉戰至區塊鏈安全領域,曾擔任全球第一家去中心化匿名眾測平臺DVP負責人,號召全網白帽黑客一起尋找開源底層代碼中的漏洞。

Tags:IONOPTIOPTPTIBeNFT SolutionsOPTIMUSAIOPTC幣PTI價格

比特幣價格今日行情
ANON:黑客組織Anonymous盯上馬斯克,并在挑戰視頻中抨擊其操縱加密市場

鏈捕手消息,黑客組織Anonymous在Youtube上發布了挑戰特斯拉&SpaceX創始人埃隆·馬斯克(ElonMusk)的惡意信息.

1900/1/1 0:00:00
馬斯克:警惕“ 馬斯克神教 ”:一場操縱人性的實驗

本文來自鏈聞,原文標題:《警惕「馬斯克神教」的蔓延》,作者:駱軼航。特斯拉CEO埃隆·馬斯克在社交媒體上宣布特斯拉暫停用比特幣支付,理由是對比特幣挖礦和交易中使用化石燃料頻率迅速增加對環境造成的.

1900/1/1 0:00:00
MATRIX:加密金融服務商 Amber Group 完成 1 億美元 B 輪融資,華興資本領投

鏈捕手消息,加密金融服務商AmberGroup完成1億美元的B輪融資,估值達10億美元,華興資本領投.

1900/1/1 0:00:00
比特幣:新華社:普通民眾在自擔風險前提下,有參與比特幣交易的自由

鏈捕手消息,新華社6月2日發表文章稱,新華社近日連續發文緊盯“幣圈”那些事,目的在于不能讓“空氣幣”收割了群眾的血汗錢.

1900/1/1 0:00:00
DAO:PlatON 與波卡 DAO 基礎設施 SubDAO 達成合作

鏈捕手消息,隱私AI計算網絡PlatON與波卡DAO基礎設施SubDAO達成合作,雙方將通過多維度的技術和生態協作,共同實現PlatON和SubDAO兩大生態版圖的互融互通.

1900/1/1 0:00:00
ANC:交易額超 Uniswap,PancakeSwap 正在吞食其他每個人的早餐

本文發布于去中心化金融社區,原文標題:《PancakeSwap:AMM正在吃其他每個人的早餐》,作者:Eva,就職于MechanismCapital,翻譯:ChinaDeFi在過去的一年里.

1900/1/1 0:00:00
ads