以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads

技術拆解YFValue合約漏洞,一行代碼如何鎖定上億美元?_STAK

Author:

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

編者按:本文來自慢霧科技,Odaily星球日報授權轉載。前言

據鏈聞消息,DeFi項目YFValue發布公告稱,團隊于昨日在YFV質押池中發現一個漏洞,惡意參與者借此漏洞對質押中的YFV計時器單獨重置。目前已有一個惡意參與者正試圖借此勒索團隊。慢霧安全團隊對此進行了深入分析,以下是相關技術細節。細節分析

以上是YFValue的官方說明(來源:https://medium.com/),從聲明中我們可以得知是YFV抵押池出現了問題,惡意的用戶可重置YFV抵押者的計時器,對YFV的抵押者造成不便,但這并不會導致資金損失。通過登陸YFValue的官方網站,(https://yfv.finance/staking),可以發現在YFValue的體系中,用戶可通過質押相關的代幣獲取對應的獎勵,目前YFValue支持的質押代幣池有以下幾個:

四川省鼓勵利用區塊鏈等新技術,構建金融服務新模式:為貫徹落實國家關于推進大眾創業萬眾創新高質量發展的決策部署,四川省發展改革委、經濟和信息化廳、教育廳、科技廳研究制定了《四川省大眾創業萬眾創新示范基地建設實施方案》。方案指出,要鼓勵利用大數據、區塊鏈、人工智能等新技術,構建金融服務新模式。 (中國新聞網)[2020/8/9]

可以看到,目前由于漏洞的原因,YFV的抵押池已經在UI界面關閉了抵押功能,但是合約上目前還沒關閉代幣抵押的功能,我們需要跟蹤代碼來分析具體的細節點。根據官網提供的Github地址,我們溯源到了相關的代碼倉庫(https://github.com/yfv-finance/audit),關于YFV抵押的相關邏輯在YFV_Stake.sol合約中,合約中關于抵押的函數有2個,分別是stake函數和stakeOnBehalf函數,以下是具體的代碼:

聲音 | 柏堡龍:公司借助區塊鏈技術進行品牌防偽溯源:柏堡龍(SZ002776)在互動平臺回復投資者提問表示,公司主要借助區塊鏈技術,與設計師服裝相結合試點運用,進行品牌防偽溯源。[2019/12/29]

通過代碼不難發現,無論是stake函數還是stakeOnBehalf函數,邏輯基本是一樣的,首先是校驗了抵押金額不能為0,接著分別調用上層的tokenStake和tokenStakeOnBehalf函數。緊接著更新用戶的抵押時間。只不過stakeOnBehalf函數可以用于為他人抵押。tokenStake和tokenStakeOnBehalf的代碼如下:

聲音 | Ripple高管:Ripple技術的實際用例正在推動XRP的實際交易量增長:Ripple全球機構市場高管Breanne M. Madigan日前發推稱,加密貨幣交易所Bitso上的XRP/MXN交易量飆升了25%以上。Madigan表示,交易量激增發生在速匯金(MoneyGram)開始在墨西哥應用Ripple的xRapid技術之際,這表明該技術的實際用例正在推動XRP的實際交易量增長。 然而需要指出的是,在XRP/MXN交易量激增的同時,整個加密市場的XRP交易量下降了近65%。(Zycrypto)[2019/8/24]

可以看到這里只是簡單的把對應的token用transferFrom的方式轉入到合約中,沒有什么特別的邏輯點。到這里整個抵押流程就很清晰了,接下來是收益的過程。計算用戶收益的是stakeReward函數,領取收益的為withdraw函數,代碼分別如下:

聲音 | 北京市政協委員:可利用區塊鏈等技術評估企業數據真實性:據新京報報道,北京市政協委員陳百靈在十三屆市政協委員會常務委員會工作報告上表示,監管部門可利用大數據、云計算、自動化程序、區塊鏈、分布式賬本等技術創新,開發實時數據集成系統和自動化監管報告系統,或評估科技創新企業報送數據的真實性和準確性等。[2019/1/12]

通過分析計算收益和領取收益的代碼,發現邏輯也很簡單,stake函數首先是通過updateReward修飾器更新了用戶的獎勵,然后使用getReward函數計算了用戶的獎勵,并把抵押時間設置成當前區塊時間。最后,用戶在提取獎勵的時候,withdraw函數會首先計算當前的區塊時間,再與unfrozenStakeTime函數中計算出的時間進行對比,只有當前區塊時間大于unfrozenStakeTime計算出的時間,才允許提現。unfrozenStakeTime的代碼如下:

從代碼中得知,unfrozenStakeTime是使用用戶的上次抵押時間加上FROZEN_STAKING_TIME常量得出鎖定時間,只要超過時間,就能通過withdraw函數提現收益。整個抵押和領取收益的簡化流程如下:

分析了一大堆,回到我們最初的問題,惡意的用戶是怎么鎖定其他用戶的資產的呢?回到用戶抵押的邏輯,可以發現抵押邏輯中的stakeOnBehalf函數本意是幫助進行抵押,但是這里有個問題,如果這個用戶先前已經有抵押了呢?那通過對已經抵押的用戶再次進行抵押,比方說抵押1個YFV,是不是就能以極低的成本重置已抵押的用戶的計時器,導致用戶在withdraw時無法成功調用。更進一步,假設YFV抵押用戶已經成功調用了stakeReward函數,在快要達到unfrozenStakeTime所規定的時間時,惡意的用戶可以通過stakeOnBehalf函數給這個用戶抵押少量資產,即可再次對抵押獎勵進行鎖定,理論上這樣往復循環,即可使用戶無法取出自己的資產,但這個問題并不會導致資金損失。攻擊流程如下:

前車之鑒

這是本月出現的第二個沒有經過審計的DeFi項目所暴露出的風險,根據YFValue的官方聲明(https://medium.com/),項目代碼是由富有經驗的開發者進行開發的,同時借鑒了其他成功的項目的代碼,但是仍無可避免的出現了風險。術業有專攻,安全審計一方面需要項目方的正向思維,另一方面,還是需要專業的安全團隊的逆向思維,從專業的黑客角度進行模擬對抗,發現問題。修復方案

通過分析代碼和漏洞細節,針對本次漏洞,修復方案也很簡單,只要在抵押的時候檢查用戶的抵押狀態是否為已經抵押,如果已經抵押,則不允許再次抵押。或者對每次的抵押進行單獨的處理,不能對先前的抵押狀態產生影響。

Tags:STAKSTASTAKENSTstake幣在哪個交易所STARSHIPDOGE價格StakerDAONSTE價格

POL幣最新價格
從ENS看以太坊錢包的發展趨勢_OOKI

編者按:本文來自加密谷Live,作者:Makoto_Inoue,翻譯:Olivia,Odaily星球日報經授權轉載.

1900/1/1 0:00:00
IOSG:三無產品、公平啟動?你們所不知道的DeFi_EARN

編者按:本文來自IOSG,Odaily星球日報經授權轉載。Part.1Insight #YFI你真的懂嗎 Source:EricTurner-Twitter到底什么是YFI#43期周報中我們提到.

1900/1/1 0:00:00
Radix發布四種技術,將使DeFi成為主流_RAD

編者按:本文來自Cointelegraph中文,作者:EMILIADAVID,Odaily星球日報經授權轉載.

1900/1/1 0:00:00
深圳,四十仍“惑”_區塊鏈

文/黃亞男編輯/獨秀2001年1月,曾印從冰天雪地的新疆來到溫暖的深圳,參加中興為期一月的新員工培訓.

1900/1/1 0:00:00
少數派觀點:寡頭控制的DeFi治理代幣不過是再中心化ReFi,或導致更嚴重的中心化_EFI

編者按:本文來自鏈聞ChainNews,星球日報經授權發布。撰文:MohamedFouda,加密貨幣投資機構VoltCapital合伙人,TokenDaily研究團隊成員DeFi爆炸式增長的核心.

1900/1/1 0:00:00
谷燕西:區塊鏈對證券行業的改變始于行業外_區塊鏈

互聯網時期的改變完全是從出版行業外開始互聯網當初時期的情形同現在區塊鏈的情景非常相似。在互聯網出現的初期,這個新技術被人們用來發郵件和建立個人網站。再往后來,就開始出現像雅虎這樣的門戶網站.

1900/1/1 0:00:00
ads