2022年4月23日,成都鏈安鏈必應-區塊鏈安全態勢感知平臺輿情監測顯示,NFT項目方Akutar的AkuAuction合約由于智能合約本身漏洞,導致11539ETH被鎖死在合約中。成都鏈安技術團隊第一時間對事件進行了分析,結果如下。
#1事件相關信息
4月23日消息,Solidity開發者foobar發推稱,11539ETH被永久鎖定在AkuDreams合約中,個人用戶或開發團隊都無法取出資金。退款處理完成后,將每個出價狀態設置為1。因此,用戶無法調用emergencyWithdraw()。此外,團隊也無法領取資金,基本上等于銷毀。?
過去12小時全網爆倉2331.93萬美元:金色財經報道,數據顯示,過去12小時全網爆倉2331.93萬美元,其中,多單爆倉1235.97萬美元,空單爆倉1095.97萬美元。[2023/7/2 22:12:49]
成都鏈安技術團隊立刻進行了分析。
漏洞合約:
0xf42c318dbfbaab0eee040279c6a2588fa01a961d
#2?漏洞分析
Akutar項目的智能合約包含2個漏洞:
漏洞一:
1.第一個合約漏洞在processRefunds中,設計者根據refundProgress計數器進行循環退款。
以太坊已啟動ETH提款測試網:金色財經報道,以太坊新聞周刊創始人Evan Van Ness發推表示,以太坊提款測試網已啟動。以太坊基金會成員parithosh評論表示,我們很快就會有一個更公開的測試網供大家提款。[2022/12/26 22:08:07]
2.而這里使用了call函數進行退款操作,且把退款的結果作為require的判定條件。
3.因此如果此時有攻擊者在隊列中進行退款操作,調用call退款給攻擊者時,攻擊者在fallback中進行進行惡意的revert則會導致退款隊列卡在攻擊者這里,從而導致隊列后面的所有人都無法進行退款。
XRP Ledger基金會合規和分析負責人:從FTX轉出XRP失敗:11月12日消息,非營利性組織XRP Ledger基金會合規和分析負責人Thomas Silkjaer在社交媒體上發文稱,他今天(11月12日)在FTX上嘗試將XRP轉移到一個BitGo的托管賬戶,但失敗了,原因是FTX要求提供目標地址標簽。Thomas Silkjaer還補充稱,由于FTX設置了最低余額要求,嘗試轉移自己的全部余額也變得不可能。[2022/11/13 12:56:39]
4.這個漏洞被人在鏈上證明有效,但隨后攻擊合約便進行了解鎖,并沒有進行攻擊利用,且公開進行了申明。
漏洞二:
該漏洞也是導致價值約3400萬美元的ETH資產被鎖死在合約中的元兇。
1.在claimProjectFunds函數中,該函數主要用于項目方提款。為了避免項目方權限過大,在用戶完成提款之前就將合約中的資產全部轉走導致用戶無法退款,所有的退款操作應全部完成之后項目方才能夠提款。業務邏輯設計上來說,是沒有問題的。然而,在具體的代碼實現中,當前的代碼容易受到漏洞一的影響,導致項目方無法提款,不過這只是潛在的風險,本次資金鎖死的元兇不是這個原因。
2.注意函數中第620行代碼:require此處refundProgress表示已經處理了多少個用戶的退款,totalBids表示所有用戶總投標了多少個NFT。注意由于一個用戶可以投標多個NFT,導致單從數值上比較,refundProgress可能小于totalBids。
而再來看看退款函數processRefunds中:require(_refundProgress<_bidIndex);bidIndex表示所有參與競標的用戶,refundProgress永遠不會高于bidIndex。
此時來看看bidIndex的值,為3669:
totalBids的值為5495:
3.所以refundProgress>=5495且refundProgress<3669這個判斷條件永遠不會成立,最終導致項目方團隊將永遠無法執行后續的提款操作。此處應將refundProgress與bidIndex做對比,開發者犯了一個很低級的錯誤。最終,導致項目方11539ETH(價值約3400萬美元)被鎖定無法提取。
#3?總結
針對本次事件,成都鏈安技術團隊建議:
1.開發者應具備基本的安全開發意識,熟悉智能合約開發應注意的安全問題;
2.在合約設計和實現時,注意代碼實現的正確性,項目上線前,可選擇專業的安全審計公司進行全面的安全審計,規避安全風險。
Tags:FUNPROUNDFUNDButterfly Fund 11DNFT ProtocolTHUNDERBNB幣rcfund
來源/Medium 作者/JulianKusnetzoff 編譯/北辰 ??UST會像阿根廷的比索一樣走向崩潰?不得不說,UST和阿根廷比索的貨幣政策非常相似.
1900/1/1 0:00:00對于加密資產領域的大多數人來說,資金的流動性十分重要。在Defi項目中有流動性挖礦,為交易對提供流動性就可以獲得Token獎勵,在歐易這類中心化交易所中有賺幣服務,如同定期存款把資產鎖定一定時期.
1900/1/1 0:00:00作者:RainandCoffee 編譯:DeFi之道 前言 早在2019年,當我們投資LazyLedger時,模塊化一詞在區塊鏈設計上還沒有得到普及.
1900/1/1 0:00:00編者按: 2022年3月26日,ForeChain與零壹智庫主辦“數字藏品的全球趨勢與中國創新——全球數字藏品年度報告發布會”.
1900/1/1 0:00:00作者|秦曉峰 首發時間|3月3日 過去幾個月,GameFi?市場最火爆的鏈游當屬「STEPN」。該游戲基于?Solana?區塊鏈構建,號稱全球首款MoveToEarnNFT?游戲.
1900/1/1 0:00:00來源:dYdX 編譯:GaryMa,吳說區塊鏈 概要 dYdX基金會正在引入一個用于創建GuernseyPurposeTrust的框架.
1900/1/1 0:00:00