比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > FIL > Info

NFT項目驚現低級漏洞,合約未審計導致3400萬美元資產被鎖死_FUND

Author:

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

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

FIL
Terra的定時炸彈在滴答作響,但在Curve上創建4Pool則扼殺了這種可能性_TER

來源/Medium 作者/JulianKusnetzoff 編譯/北辰 ??UST會像阿根廷的比索一樣走向崩潰?不得不說,UST和阿根廷比索的貨幣政策非常相似.

1900/1/1 0:00:00
NFT流動性困局下,哪種解決方案更具潛力?_NFT

對于加密資產領域的大多數人來說,資金的流動性十分重要。在Defi項目中有流動性挖礦,為交易對提供流動性就可以獲得Token獎勵,在歐易這類中心化交易所中有賺幣服務,如同定期存款把資產鎖定一定時期.

1900/1/1 0:00:00
萬字長文研究 Celestia 的潛在功能和模塊化世界的未來_ROLL

作者:RainandCoffee 編譯:DeFi之道 前言 早在2019年,當我們投資LazyLedger時,模塊化一詞在區塊鏈設計上還沒有得到普及.

1900/1/1 0:00:00
朱嘉明:數字經濟和非同質時代——NFT,虛擬需求和虛擬供給_MER

編者按: 2022年3月26日,ForeChain與零壹智庫主辦“數字藏品的全球趨勢與中國創新——全球數字藏品年度報告發布會”.

1900/1/1 0:00:00
紅杉印度領投,解讀「STEPN」如何引爆鏈游市場_STEP

作者|秦曉峰 首發時間|3月3日 過去幾個月,GameFi?市場最火爆的鏈游當屬「STEPN」。該游戲基于?Solana?區塊鏈構建,號稱全球首款MoveToEarnNFT?游戲.

1900/1/1 0:00:00
dYdX詳述:如何搭建一個? DAO 形式的信托合法框架_DAO

來源:dYdX 編譯:GaryMa,吳說區塊鏈 概要 dYdX基金會正在引入一個用于創建GuernseyPurposeTrust的框架.

1900/1/1 0:00:00
ads