2022年3月27日,以太坊上的stakingDeFi項目RevestFinance遭到黑客攻擊,損失約200萬美元。BlockSecTeam團隊第一時間介入分析,并在tweeter上向社區分享了我們的分析成果。事實上,就在我們通過tweeter向社區分享我們的分析成果時,我們發現了RevestFinance的TokenVault合約中還存在著一個criticalzero-dayvulnerability。利用該漏洞,攻擊者可以用更加簡單的方式盜取協議中的資產。于是我們立刻聯系了RevestFinance項目方。在確定該漏洞已經被修復后,我們決定向社區分享這篇blog。
0.What'stheRevestFinanceFNFT
RevestFinance是針對DeFi領域中staking的解決方案,用戶通過RevestFinance參與的任何DeFi的staking,都可以直接生成一個NFT,即FNFT(FinanceNon-FungibleToken),該NFT代表了這個staking倉位的當前以及未來價值。用戶可以通過RevestFinance提供的3個接口和項目進行交互。質押自己的數字資產,mint出相應的FNFT。
?mintTimeLock:用戶質押的數字資產在一段時間之后才能被解鎖。
?mintValueLock:用戶質押的數字資產只有在升值或者貶值到預設數值才能被解鎖。
?mintAddressLock:用戶質押的數字資產只能被預設的賬戶解鎖。
RevestFinance通過以下3個智能合約完成對用戶存入的數字資產的鎖定和解鎖。
?FNFTHandler:繼承自ERC-1155token(openzepplin實現)。每次執行lock操作時,fnftId會進行自增(fnftId類似于ERC721中的tokenId)。FNFT在被創建時,用戶需要指定它的totalSupply。當用戶想要提走FNFT背后的underlyingasset,需要burn掉相應比例的FNTF。
DMG Blockchain Solutions 6月產出53.2枚比特幣:金色財經報道,比特幣礦企DMG Blockchain Solutions公布6月初步挖礦結果,以0.71EH/s的真實哈希率產出53.2枚比特幣。[2023/7/4 22:17:17]
?LockManage:記錄FNFT被解鎖(unlock)的條件。
?TokenVault:接收和發送用戶存入的underlyingasset,并記錄每一種FNFT的metadata。例如fnftId=1的FNFT背后質押的資產類型。
因為此次攻擊,黑客攻擊的入口是mintAddressLock函數,那么我們以該函數為例,講述FNFT的生命周期。
UserA調用Revest的mintAddressLock函數
?unlocker:UserX->只有UserX可以解鎖這筆資產?recipients:?quantities:->mint數量為100(sum(quantities)),UserA,UserB,UserC各擁有50,25,25枚。?asset:WETH->mint出的FNFT以WETH為抵押品。?depositAmount:1e18->每一枚FNFT背后的抵押品數量為1枚WETH(WETHdecimal為18)
假設當前系統中沒有其他FNFT,UserA通過mintAddressLock與系統進行交互,FNFTHandler返回的fnftId=1
LockManger為其添加相應的記錄
?fnftId:1?unlocker:UserX
TokenVault為其添加相應的記錄
?fnftId:1?asset:WETH?depoistAmount:1e18
數據:近24小時全網爆倉1.85億美元,以太坊爆倉5618.30萬美元:金色財經報道,據Coinglass數據,近24小時全網爆倉1.85億美元,其中以太坊爆倉5618.30萬美元,比特幣爆倉5595.03萬美元。[2022/9/15 6:57:05]
接著TokenValut要從UserA這里轉走100*1e18數量的WETH。
最后系統分別給UserA,UserB,UserCmint50,25,25枚01-FNFT。
通過mintAddressLock函數鑄造FNFT就完成了。
當UserX解鎖01-FNFT后,用戶B便可以通過withdrawFNFT提走underlyingasset。如圖二所示,UserB想要提取自己手中持有的25個01-FNFT質押的數字資產。
協議首先檢查01-FNTF是否已經unlock,如果已經unlock,那么協議會burn掉UserB的25個01-FNFT,并給他轉25*1e18數量的WETH。此時01-FNFT的totalSupply為75。
Revest合約還提供了另外一個接口,叫做depositAdditionalToFNFT,以便讓用戶為一個已經存在的FNFT添加更多的underlyingasset。下面我們用2張圖描述它的“正常”用法。
這里有三種情況
一.quantity==01-FNFT.totalSupply()如圖三所示
以圖二中的場景為上下文,UserA要為01-FNFT添加更多的抵押物。
菲律賓電信公司CEO:菲律賓具備成為“亞洲區塊鏈之都”的條件:金色財經報道,菲律賓電信公司Dito CME首席執行官Donald Lim表示,菲律賓具備成為“亞洲區塊鏈之都”的條件。據悉,目前約有430萬的菲律賓人擁有加密資產,占該國總人口的4%。根據Lim的說法,菲律賓擁有成為區塊鏈中心的數字。“我們1.1億人口的年齡中位數是25歲。在數字人口中,我們的互聯網和NFT普及率也是最高的。”
據悉,根據2021年的一項研究,菲律賓是加密貨幣采用率最高的國家之一。這個亞洲國家的加密貨幣采用率在全球排名第三。(bitcoinist)[2022/9/8 13:16:57]
?quantity=75->為75個01-FNFT追加質押。
?amount=0.5*1e18->每一枚01-FNFT追加0.5*1e18數量的WETH。
于是UserA需要向TokenVault轉入37.5*1e18WETHTokenVault修改系統記賬,將depositAmount修改為1.5*1e18。現在每一枚01-FNFT承載的資產為1.5*1e18WETH。
此時UserC調用withdrawFNFT,burn掉他持有的25枚01-FNFT,他可以拿走25*(1.5*1e18)=37.5*1e18WETH。
于是,此時01-FNFT的totalSupply為50。
二.quantity<01-FNFT.totalSupply()如圖四所示
以圖三中的場景為上下文,UserA繼續為01-FNFT添加更多的抵押物。
?quantity=10->為10枚01-FNFT追加質押。?amount=0.5*1e18->為10枚01-FNFT每一枚追加0.5*1e18WETH
區塊鏈金融技術公司R Labs完成500萬美元pre-seed輪融資,軟銀等領投:6月28日消息,基于區塊鏈的金融技術公司R Labs宣布完成500萬美元Pre-Seed輪融資,軟銀、AGF和Prodege等領投。該公司的顧問包括Azuki、Decentraland、華納音樂集團(WMG)、創新藝人經紀公司(CAA)等。
R Labs由Geeta Sankappanavar和Chelsea Cain Maclin領導,目標是在Web3中構建一個社會影響生態系統。該公司將在今年夏季晚些時候推出一個以目的為導向的NFT項目,主要圍繞心理健康、包容性、可持續性、教育和整體娛樂五個核心領域。[2022/6/28 1:37:06]
由于quantity<01-FNFT.totalSupply()于是,UserA向協議支付5*1e18WETH系統將會burn掉10枚01-FNFT,mint出10枚02-FNFT,并將burn掉的10枚01-FNFT承載的資產和UserA新轉入的資產,注入到02-FNFT中。于是就有
?fnftId:2?asset:WETH?depositAmount:2.0*1e18(1.5*1e18+0.5*1e18)
此時
?01-FNFT.totalSupply:4001-FNFT.depositAmount:1.5*1e18?02-FNFT.totalSupply:1002-FNFT.depositAmount:2.0*1e18
三.quantity>01-FNFT.totalSupply()
這種情況,交易會revert。
1.What'ttheRe-entrancyvulnerability
在理解了mintAddressLock函數和depositAdditionalToFNFT函數的基本工作流程后,來看一下攻擊者使用的重入手法。假定thelastestfnftId=1
或因“外媒報道”至美股Robinhood盤中最高漲幅21.5%,盤后下跌6.5%:金色財經消息,據彭博社等多家外媒報道稱加密貨幣交易所FTX正為收購Robinhood的交易尋求途徑,在此不久后FTX首席執行官SBF稱,沒有與Robinhood就收購進行積極的會談,或因此至美股Robinhood盤中最高漲幅21.5%,盤后下跌6.5%。[2022/6/28 1:35:12]
如圖五所示第一步:攻擊者調用mintAddressLock函數
?depositAmount=0
?quantities=
mint出了2枚01-FNFT,由于攻擊者將depositAmount設置為0,因此他沒有轉入任何數字資產。相當于01-FNFT背后承載的underlyingasset為0。
第二步:攻擊者再次調用mintAddressLock函數
?depositAmount=0
?quantities=準備mint36w枚02-FNFTdepositAmount為0。
在mint的最后一步,攻擊者利用ERC-1155的call-back機制重入了depositAdditionalToFNFT函數。
在depositAdditionalToFNFT中,攻擊者傳入
?quantity=1
?amount=1*1e18
?fnftId=1
因為quantity<fntfId.totalSupply(),因此協議會burn掉攻擊者1枚01-FNFT,鑄造1枚02-FNFT。(02-FNFT在協議中已經存在,但是fnftId更新延遲)然后修改fnftId=2的depositAmount為amount。相信你已經發現,這一步,攻擊者通過重入將fnftId=2的depositAmount從0修改為1.0*1e18,僅僅花費1*1e18RENA就獲得了(360000+1)*1*1e18RENA的系統記賬。
最后攻擊者調用withdrawNFNFT函數,burn掉360,001枚02-FNFT,取走了360,001*1e18RENA。
建議修復方法
2.theNewZero-dayVulnerability
在blockSecTeam團隊分析RevestFinance的代碼時,handleMultipleDeposits函數引起了我們的注意。
當用戶調用depositAdditionToNFT函數追加抵押物時,該函數會改變FNFT的depositAmount。從代碼中我們可以發現,當newFNFTId!=0時,該函數既改變了fnftId對應的FNFT的depositAmount也改變了newFNFTId對應的depositAmount。
按照常理,當newFNFTId!=0時,系統應該只記錄newNFTId對應的depositAmount。不應該改變fnftId對應的depositAmount。
我們認為這是一個非常嚴重的邏輯bug,利用該漏洞,攻擊者可以很輕松提走系統中的數字資產。下面用3張圖描述模擬攻擊的原理。假定thelatestfnftId=1
首先攻擊者調用mintAddressLock函數,mint出360000個01-FNFT。攻擊者將amount設置為0因此他不必轉入任何資產到RevestFinance協議中。mint結束后,攻擊者擁有360000枚depositAmount=0的01-FNFT。
然后攻擊者調用depositAdditionalToFNFT函數,參數如下
?fnftId=1
?amount=1*1e18
?quantity=1
協議轉走攻擊者amount*quantity數量的代幣,即1*1e18RENA協議會burn掉攻擊者1枚01-FNFT,并為其鑄造一枚02-FNFT按照handleMultipleDeposits函數中的邏輯,fnftId=2的資產,其depositAmount會被設置為1.0*1e18。但是fnftId=1的資產,其depositAmount也會被設置為1.0*1e18,而這個值本應該為0!
第三步,攻擊者直接提款,將手中所有的01-FNFT提現。不考慮gas費,他將凈賺359,999*1e18數量的REAN代幣。
很顯然,使用這種方式進行攻擊,比真實的重入攻擊更加簡單直接。
建議修復方法
針對該漏洞,blockSecTeam團隊給出了相應的patch方法。
3.項目方的修復方式
由于TokenVaultandFNFTHandler兩個漏洞合約存儲了許多關鍵的狀態,無法在短時間內重新部署它們,為了快速恢復使用,RevestFinance官方重新部署了Revest合約(https://etherscan.io/address/0x36c2732f1b2ed69cf17133ab01f2876b614a2f27#code)的精簡版本。該版本關閉了大部分復雜的功能,以避免被進一步攻擊。項目方將在未來遷移狀態并重新部署修復過的合約。
4.總結
提升DeFi項目的安全性不是一件容易的事情。除了代碼審計,我們認為社區應該采取更加主動的方式,例如項目監控預警、甚至是攻擊阻斷使得DeFi社區更加安全。(https://mp.weixin.qq.com/s/o41Da2PJtu7LEcam9eyCeQ).
參考文獻
*:https://blocksecteam.medium.com/revest-finance-vulnerabilities-more-than-re-entrancy-1609957b742f
最近市場非常動蕩,相信大家已經多少受到影響,無論你的項目處于何種階段,作為市場的長期投資者和老牌投資機構,我們已經經歷多次這些牛熊,我們有一些簡單的建議給到大家.
1900/1/1 0:00:00區塊鏈可以驗證信息,減少欺詐,幫助創建次世代教育機構今天的教育系統面臨比以往更多的挑戰和問題,尤其是在美國。大學學費的大幅上漲、行政成本的增加和其他問題只是強調了教育行業變革的必要性.
1900/1/1 0:00:002021年1月14日21:00,由EOS網絡基金會發起的非正式柚談002期開播!本期我們邀請到了邀請到了EOSNationCEODanielKeyes一起聊聊EOS生態二次眾籌平臺Pomelo以.
1900/1/1 0:00:00像去中心化自治組織(DAO)這樣的自治實體是獨特的,而且與美國傳統的法律實體在很大程度上是不兼容的.
1900/1/1 0:00:00PocketNetwork是提供中繼服務的基礎設施中間件協議,它利用分布在全球的27,000多個全節點為37個區塊鏈的Web3應用程序提供RPC中繼服務.
1900/1/1 0:00:00作者:秋月(twitter:@qiuyue_analyst);公眾號:worldeye2020 審校:Jeffrey 翻譯:biubiubird媒體:@bitmidas 恐怖的CPI數據 在20.
1900/1/1 0:00:00