最近一段時間,Web3.0不斷“刷屏”,NFT瘋狂“出圈”,有人擼空投,有人搞收藏,有人說,NFT的爆炸性增長正在推動Web 3.0的發展。
Web1.0 到 Web2.0 實現了內容的消費者向內容生產者的轉變,其本質是進行了一次從物理世界向網絡世界的平行時空的大遷徙,當我們暢談 Web3.0 的發展時,不得不進一步提到關于區塊鏈,因為區塊鏈的去中心化、去信任和防篡改的特性很好的對標了 Web3.0 的目標——創造新一代互聯網,讓每個用戶掌握自己的數據、身份和命運。
Web3.0基于區塊鏈而存在,承諾將隱私和數字身份還給用戶,同時由于NFT等的應用,實現了新的互動水平。但我們更需要的是Web3.0熱潮下NFT的諸多“危險”與“隱患”,最近NFT領域隨處可見的“黑客事件”也證明了我們需要將“安全”放在第一位。
Uniswap創始人:競爭性流動性挖礦AMM導致Gas費瘋狂上漲:Uniswap創始人Hayden Adams發推稱,導致Gas費瘋狂上漲的原因:競爭性流動性挖礦自動做市商模式(AMM)創造大量套利機會,在區塊空間有限的情況下,用戶并不能夠總獲勝,而且Gas費比滑點加用戶費加起來還要高。[2021/2/7 19:08:27]
4月21日,NBA的NFT項目合約遭受攻擊,攻擊者利用了簽名未驗證,在合約代碼中,vData memory參數info在傳入函數中未進行驗證導致簽名可復用,攻擊者可以通過使用其他人的簽名來進行Mint,導致項目方被瘋狂“薅羊毛”。
Compound創始人:幣圈人士對央行瘋狂印鈔憤怒,但發現了算法穩定幣:Compound創始人Robert Leshner今日在推特上表示,加密行業的每個人都對中央銀行瘋狂印鈔感到非常憤怒,然后他們發現了算法穩定幣。[2020/12/30 16:06:15]
而在4月23日,NFT項目Akutar驚現低級漏洞,它的AkuAuction合約由于智能合約本身漏洞,導致11539ETH(價值約3400萬美元)被鎖死在合約中。經成都鏈安技術團隊分析,發現Akutar項目的智能合約包含2個漏洞:
第一個合約漏洞在processRefunds中,設計者根據refundProgress計數器進行循環退款,而如果有攻擊者此時在fallback中進行revert則會導致后面的人都無法進行退款,這個漏洞被人在鏈上證明但沒有進行攻擊利用。
聲音 | Cardano創始人:Cardano就像一座冰山,接下來兩個月將會很瘋狂:Cardano創始人、IOHK首席執行官Charles Hoskinson近期發推將Cardano比作一座冰山,稱該項目有著許多人們看不見但很快會產生巨大影響的內容。接下來的兩個月將是“瘋狂的”。[2020/2/23]
第二個漏洞在claimProjectFunds中,require語句(refundProgress > = totalBids)的totalBids變量應該是bidIndex,這個漏洞使得該判斷條件永遠失敗,導致無法執行后續的提款操作。最終,導致項目方11539ETH(價值約3400萬美元)被鎖定無法提取。
聲音 | TradingView總經理:加密貨幣已度過了瘋狂交易階段:金色財經報道,TradingView總經理Pierce Crosby表示,2017-2018年的市場高度波動是Pet.com的“代表”,他將該階段稱為“瘋狂的交易狂熱”。根據Crosby的說法,這種狂熱可能是山寨幣的“復興”。仍處于萌芽階段的加密貨幣被吹捧為一場革命和游戲規則的改變者。Crosby還談到過去幾年加密交易領域的成熟,例如Coinbase等知名平臺提供多樣化投資組合。據悉,在線寵物店Pets.com是最廣為人知的互聯網泡沫之一。在2000年通過IPO籌集了8200萬美元后不久,該公司就資金告罄,成為最引人注目的失敗案例之一。[2019/12/24]
動態 | 浙江省金華市百余名嫌疑人涉嫌虛擬幣詐騙 20余天瘋狂吸金7000余萬元:據金華新聞網消息,剛剛,浙江省金華市發布通報:金東分局揭露一虛擬貨幣交易騙局,搗毀7個詐騙窩點。在西安、武漢、廣州、江西、內蒙古、甘肅等地抓獲犯罪嫌疑人百余人,凍結資金5000余萬元,查獲贓車十余輛、作案手機百余部。目前,案件正在進一步辦理中,截至3月25日,88名犯罪嫌疑人因涉嫌利用虛擬幣詐騙被金東分局和永康市局刑事拘留,26人被兩地檢察院依法批捕。該詐騙團伙注冊的其中一個平臺不到一個月的時間已經詐騙7000余萬。[2019/3/25]
可見關注NFT合約風險,變得越來越緊迫。
根據NFTSCAN數據顯示,目前全球NFT項目已接近七萬個,而且數據還在持續增長中。
數據來源:NFTSCAN(統計時間:2022.4.25 18:00)
NFT作為Web3.0的底座,它的安全問題對行業發展同樣重要,為了護航Web3.0的安全生態,成都鏈安通過智能合約形式化驗證工具鏈必驗對上千個NFT項目進行漏洞掃描,發現NFT常見的合約問題還包括以下幾類:
業務邏輯相關問題:
此類問題可能直接導致合約的業務邏輯出錯。
漏洞描述:chapterAuctionMinted的值永遠為初始值,但是在此處使用的判斷條件中,使用了該值進行條件檢查。如果在開發期間使用[鏈必驗]掃描后,開發者可根據掃描結果判斷是否是相關邏輯缺失(可能導致NFT超量發放等業務邏輯安全問題),亦或是冗余代碼。
漏洞描述:未檢測返回值。在NFT項目中,經常存在有償鑄幣的功能,調用者需要將作為鑄幣手續費的ERC20代幣發送到NFT鑄幣合約中,然后NFT鑄幣合約為其鑄造對應數量的NFT代幣。但是部分ERC20合約存在假充值的問題,即轉賬失敗不拋出異常而是返回false,這樣就會導致一個問題,攻擊者可以利用這點,在未支付手續費的情況下,鑄造任意數量的NFT。開發者應根據VaaS掃描結果的建議,檢查transferFrom操作的返回值或者使用safeTransferFrom函數進行ERC20代幣轉賬。
代碼規范相關問題
此類問題可能不會直接造成業務邏輯出錯,但是會影響代碼的可讀性,造成合約調用時有多余的gas消耗等。同時不規范的代碼也容易導致編寫時邏輯混亂,有隱藏的邏輯錯誤的概率更高。
漏洞描述:此處循環的結束條件為curr>=0,而curr為uint導致curr>=0恒滿足。此處會導致循環無法正常結束。[鏈必驗]在掃描中會對這類結果為定值的條件進行告警,用戶可以通過提示確認此處邏輯,對條件進行刪除或修改。
漏洞描述:此處event中將string類型的數據標記了indexed,該寫法會導致在事件結果中無法直接獲得對應的string結果。建議用戶參考[鏈必驗]的提示,僅使用indexed修飾固定長度的變量。
研究發現,大多數的NFT合約都沒有進行過專業的安全審計,這就存在很大的安全隱患,容易導致攻擊事件的發生,造成資產的損失。所以NFT智能合約開發者應具備基本的安全開發意識,了解智能合約開發應注意的安全問題;此外,在合約設計和實現時,注意代碼實現的正確性。我們建議開發完成后,可使用[鏈必驗]對項目進行安全檢測。項目上線前,可選擇安全審計,規避安全風險。
安全,是區塊鏈技術能夠得以長足發展的重要保證,守護Web3.0的安全也變得愈發重要。今天我們所講的業務邏輯相關問題和代碼規范性相關問題,也是智能合約里面常見的問題類型?,后續我們將繼續推出NFT相關安全文章,請大家持續關注我們
具有開放、隱私和共建三大標簽的Web3.0真是打破知網霸權的鑰匙嗎?先是紅星新聞的報道:“因高達近千萬元的天價續訂費,中國科學院計劃停用中國知網數據庫.
1900/1/1 0:00:001 英特爾芯片會挑戰傳統格局嗎?COLIN:讓另一家主要的 ASIC 制造商爭奪硬件領域的市場份額,肯定會讓礦工受益。對于北美礦工來說,出現美國國內的 ASIC 礦機生產商是一個非常積極的發展.
1900/1/1 0:00:00我剛從阿姆斯特丹的以太坊 DevConnect 大會回來。DevConnect 由以太坊基金會組織,目標是讓所有以太坊開發人員集中在一個地方,這樣他們就可以同步進度.
1900/1/1 0:00:00非同質化代幣 (NFT) 持續在主流媒體中破圈,其中最著名的當屬 Punk、BAYC 這種元老級別的藍籌項目.
1900/1/1 0:00:00假如你是一家公司的運營經理,公司決定拿出 50 萬做運營,你可能要開 5 次會,50 個電話,忙活 500 個小時,才能做得漂漂亮亮.
1900/1/1 0:00:00zk-Rollup 是一種非常便宜且安全的以太坊二層擴展解決方案。然而,現有的 zk-Rollup 只限于特定應用程序使用,這使得開發人員在 zk-Rollup 中構建通用的可組合 DApp 和.
1900/1/1 0:00:00