2022年4月23日,成都鏈安鏈必應-區塊鏈安全態勢感知平臺輿情監測顯示,NFT項目方Akutar的AkuAuction合約由于智能合約本身漏洞,導致11539ETH被鎖死在合約中。成都鏈安技術團隊第一時間對事件進行了分析,結果如下。
#1事件相關信息
4月23日消息,Solidity開發者foobar發推稱,11539ETH被永久鎖定在AkuDreams合約中,個人用戶或開發團隊都無法取出資金。退款處理完成后,將每個出價狀態設置為1。因此,用戶無法調用emergencyWithdraw()。此外,團隊也無法領取資金,基本上等于銷毀。?
BNB Chain:余額在0.1ETH及以上的地址可接收ETH PoW分叉空投:9月9日,據官方消息,BNB Chain宣布其網絡上所有余額大于0.1ETH(含0.1ETH)的地址有資格以1:1比例接收可能的ETH PoW分叉空投。用戶無需通過跨鏈橋將ETH資產轉移出BNB Chain。[2022/9/9 13:20:18]
成都鏈安技術團隊立刻進行了分析。
漏洞合約:
0xf42c318dbfbaab0eee040279c6a2588fa01a961d
#2?漏洞分析
數據:BitMEX上BTC 24小時永續合約交易量達5年來低點:金色財經報道,Glassnode數據顯示,BitMEX上BTC 24小時永續合約交易量跌至260,782,573.74美元,創5年來新低。[2022/8/8 12:09:10]
Akutar項目的智能合約包含2個漏洞:
漏洞一:
1.第一個合約漏洞在processRefunds中,設計者根據refundProgress計數器進行循環退款。
2.而這里使用了call函數進行退款操作,且把退款的結果作為require的判定條件。
MicroStrategy比特幣投資未實現虧損達到16.65億美元:6月18日消息,Watcher.Guru發推稱,MicroStrategy的比特幣投資目前未實現虧損達到16.65億美元。[2022/6/18 4:37:36]
3.因此如果此時有攻擊者在隊列中進行退款操作,調用call退款給攻擊者時,攻擊者在fallback中進行進行惡意的revert則會導致退款隊列卡在攻擊者這里,從而導致隊列后面的所有人都無法進行退款。
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:UNDFUNFUNDPROfund幣圈CITEX Fund TokenSwiss NFT FundDragonfly Protocol
作者:MackenziePatel本文來自:Decrypt 譯者:念銀思唐 注:MackenziePatel是專門從事加密稅收和會計的注冊會計師。她是Figment的高級收入會計.
1900/1/1 0:00:00作者:RahulMaganti,JumpCrypto合伙人原標題:《AFrameworkforAnalyzingL1s》 編譯:胡韜,鏈捕手 介紹 在上一篇文章中,我們建立了一個分析L1的框架.
1900/1/1 0:00:002022年4月8日20:00,火星財經邀請EOS網絡基金會的領導人YvesLaRose做客TwitterSpace,圍繞EOSEVM、EOS網絡基金會職能、EOS未來生態發展展開深度討論.
1900/1/1 0:00:00?前言 隨著區塊鏈平臺及各種應用的落地,智能合約(SmartContract)涉及的金額呈指數級增長。一直以來,智能合約的安全問題都是投資者和開發者共同關注的焦點.
1900/1/1 0:00:00前天,李寧的官方微博突然出現的幾張圖片,同時引起了市場營銷與IP產業的巨大關注——這張圖的中心是明顯的無聊猿的邊緣輪廓,再加上“中國李寧-無聊快閃店”的說法,自然讓大家紛紛猜測.
1900/1/1 0:00:00前言 為了滿足區塊鏈用戶的需求,公鏈,異構鏈,平行鏈層出不窮,Solana不僅“殺出重圍”還一躍成了極為亮眼的一條公鏈.
1900/1/1 0:00:00