比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

【首發】智能合約風險列表發布,ERC20 Token安全問題有據可查_CVE

Author:

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

以太坊ERC20Token標準自2015年11月19日誕生以來,為智能合約、以太坊生態以及區塊鏈應用的發展做出了巨大的貢獻。據Etherscan網站數據顯示,截止2018年6月26日,以太坊主網上ERC20Token數量已超過90000。下圖是統計的ERC20每日創建數量趨勢圖。

這些Token合約所承載的價值不可估量。然而近幾個月以來,以BEC事件為開端,引發的一系列的鏈式反應,越來越多的合約漏洞與不兼容性問題相繼被曝光。目前智能合約安全問題的分析披露還比較散亂,對智能合約的開發和后續的使用所起到的作用非常有限,社區缺乏一套完備的合約問題匯總機制。因此安比實驗室在分析了近期爆出的合約風險問題和大量的智能合約源碼后,攜手路印發布智能合約風險列表,聯合去中心化交易所DEx.top、輕信科技、Consensys中國、長亭科技等技術團隊,共同對該風險列表進行維護。

由于以太坊上部署的合約數量規模還在不斷增大,未來還會有更多更復雜的問題暴露出來。因此,我們倡導發起Token合約風險列表共建計劃,呼吁更多關心區塊鏈生態的團隊或技術人員參與進來,共同維護這份合約風險列表。

ERC20Token的安全問題總結

ERC20Token漏洞事件回顧

在ERC20Token逐漸成熟和完善的發展過程中,不少ERC20智能合約曾出現過重大漏洞,對項目方、投資人、交易所甚至整個以太坊社區造成了比較大的經濟損失。例如:

模塊化執行層Fuel啟動Beta-4,新增支持原生NFT、多資產池等:9月8日消息,以太坊模塊化執行層Fuel啟動第四個公共測試網Beta-4,新測試網新增公共P2P訪問和多代幣支持,支持原生級別的NFT、多資產池等。Fuel表示,Beta-4不是激勵性測試網。參與該網絡不會獲得直接獎勵。[2023/9/8 13:26:11]

2016年6月18日,DAO合約遭到攻擊,導致超過3,600,000個以太幣(ETH)被盜,迫使以太坊社區不得不采取硬分叉的手段來減少損失,而這更是直接引起了以太坊社區的分裂2018年4月22日,黑客攻擊了美鏈(BEC)的Token合約,通過一個整數溢出漏洞,一時間BEC的價格幾乎歸零。我們發現至少有10份合約存在該類問題。2018年4月25日,SMT爆出類似整數溢出漏洞,黑客制造和拋售了天文數字規模的Token,導致SMT價格崩盤。2018年5月20日,嚴重的邏輯漏洞導致EDU用戶的Token可被任意轉出,同時還有其它3個Token存在相同問題。2018年6月12日,一系列ERC20智能合約整數溢出漏洞(CVE-2018-11687,CVE-2018-11809,CVE-2018-11810,CVE-2018-11811,CVE-2018-11812)又被爆出,據不完全統計有800多個合約受到影響。

大量ERC20Token實現未嚴格遵守規范

未參照ERC20標準實現Token合約會給DApp開發帶來較大的困擾。某知名DApp團隊在深入分析了排名前20的合約之后,提示社區需要對Token合約的諸多實現問題和不規范行為重視起來,尤其是對于新的DApp開發者,提早避免一些問題。

11,125枚BTC從未知錢包轉移到Binance:金色財經報道,鏈上數據顯示,11,125枚BTC (價值約267,956,866美元) 從未知錢包轉移到Binance。[2023/3/14 13:01:49]

NearlyathirdofthetimedevelopingBsktwasspentauditingexternaldependencies.WehighlyencourageotherEthereumdevteamstobeawareofthedangersinexternaldependencies.Unlikesoftwaredevelopmentinmostsystems,it’scriticaltoreadtheimplementationofdeployedcontractsyoudependon—notjusttheinterface.

我們還注意到,大量已部署Token合約曾經參考了以太坊官網以及OpenZeppelin等其它DApp。據不完全統計,存在該類問題的合約超過2000份。

若干Token合約在標準approve()函數中添加了對當前賬戶余額校驗邏輯。導致采用類似0x協議的諸多DApp有可能無法正常完成approve(),必須由Token項目方提前轉入一筆數額巨大的Token至中間賬戶,這給DApp和交易所帶來了諸多不便。超過17份合約存在該問題。

ERC20規范中規定了幾個可選的通用查詢接口如name()、symbol()、decimals(),因而大量Token合約未提供這些接口,甚至不少采用NAME()、SYMBOL()、DECIMALS()等不一致的寫法,也給合約的外部調用帶來了極大的麻煩。存在該類問題的合約超過3000份。

FTX US Derivatives CEO:LedgerX很快將與FTX US完全分離,現金儲備至少夠用一年:11月11日消息,加密衍生品交易平臺FTX US Derivatives(原LedgerX,在去年被FTX US收購后更名)首席執行官Zach Dexter在推特上分享了LedgerX LLC給客戶的一份信。信中表示:“在LedgerX LLC托管的客戶資產是安全的,以美元計價的客戶資產存儲在LedgerX LLC客戶資金的美國銀行賬戶中,與自營/公司現金分開。加密貨幣客戶資產存儲在BitGo和BitGo Trust的LedgerX LLC賬戶中,其中大部分資產存儲在BitGo Trust的冷錢包中。該平臺將繼續在LedgerX官網上可用。此外,根據CFTC的規定,我們持有可觀的運營現金儲備,至少可以讓我們運營一年,但可能會更長。”

此外,信中還澄清了該平臺與FTX的關系:“我們的技術基礎設施與FTX公司家族幾乎完全分離,并且很快將完全分離。值得注意的是,LedgerX LLC的最終母公司West Realm Shires Inc.,不同于以FTX Trading Ltd(又名FTX.com)為首的國際公司家族。”[2022/11/11 12:50:02]

ERC20標準中還規定了Transfer和Approval事件必須在特定場景下觸發。很多Token的實現參考了以太坊官網的不標準代碼,漏掉觸發Approval事件的操作。存在該類問題的合約超過1800份。

SBI和保誠科技巨頭加入Sygnum董事會:金色財經報道,Sygnum董事會增加了兩名高管,分別是SBI Digital Asset Holdings首席執行官Fernando Luis Vázquez Cao和塔塔汽車董事會成員、前保誠首席執行長 Al-Noor Ramji*,

Fernando Luis Vázquez Cao目前是SBI數字資產控股公司的首席執行官,該公司是在tse上市的金融集團SBI集團的一部分,在他的職權范圍內擁有咨詢、代幣化和發行、數字交易所和數字托管業務線。

繼1月份的9000萬美元融資、資產管理規模達到20億美元、全球客戶超過1000家之后,Sygnum正在加快其計劃,進一步擴大其安全數字平臺,進入新的國際市場,并與戰略投資者共同開發解決方案。(finextra)[2022/7/13 2:10:35]

ERC20安全問題匯總與分類

我們對數萬份ERC20Token合約存在的問題進行分析統計,已將所有統計數據上傳至Github倉庫。

Github倉庫地址:https://github.com/sec-bit/awesome-buggy-erc20-tokens

已發現的所有ERC20Token合約安全風險問題被歸納為三大類:代碼實現漏洞,不規范問題,權限管理問題。

代碼實現漏洞涵蓋了合約代碼功能實現和邏輯實現上的漏洞,如整數溢出不規范問題涵蓋了因代碼實現不規范導致版本不兼容或者外部合約調用時的無法不兼容問題,如ERC20接口無返回值權限管理問題涵蓋了所有因管理權限設置不當而引發的問題,如owner可以操作任何人賬戶上的余額

Gucci購入25000美元NFT市場SuperRare代幣RARE:金色財經消息,意大利高端奢侈品牌Gucci購入25,000美元NFT市場SuperRare代幣RARE以加入SuperRare DAO。Gucci加入該DAO后將推出“Vault Art Space”展覽,該展覽將包括29位藝術家的NFT藝術品精選。(Coindesk)[2022/6/23 1:27:37]

問題列表如下:

在awesome-buggy-erc20-tokens倉庫的文章中對每個問題給出了詳細描述信息。

如何使用Token合約風險列表

Token合約開發者:本列表提供了詳細的問題描述和相關合約列表,希望能夠借此提ERC20Token合約開發者的安全意識,避免在后續的合約開發中重復踩坑。DApp項目方:以太坊平臺的DApp可能會與多個ERC20Token合約對接。DApp項可以通過本倉庫查閱已部署的問題合約的詳細信息,獲知Token合約存在的問題,避免因Token合約的漏洞或者合約的不兼容問題,給DApp帶來不必要的麻煩。其他生態參與者:本列表收錄了大量ERC20Token合約存在的風險問題,并記錄了市值排名較的672份已部署的Token合約的基本信息和問題詳情,大家可以通過查閱本倉庫來找到問題合約,了解已部署Token合約存在的風險。

Token列表包含哪些內容

awesome-buggy-erc20-tokens倉庫共收錄了以太坊上數萬份ERC20Token合約中存在的問題。主要包含三部分內容:Token合約的基本信息,問題Token列表,風險問題匯總。

1.合約的基本信息倉庫中目前已收錄的合約,所有問題合約均來源于此。

另外,倉庫中還統計coinmarket網站收錄的Token合約的詳細信息,包括token的排名,token名稱,token縮寫符號,總量,小數位數和上線交易所的信息。

2.所有的問題合約列表,列表分別以json和CSV的形式展示,也便于導入表格軟件或者編寫腳本進行分析。

3.風險問題匯總文件

倉庫中共收錄了28種合約風險問題,對所有問題的詳細信息,包括詳細的描述、錯誤的代碼實現示例、推薦修改的代碼實現示例、存在該問題的合約列表和對該問題報道的相關鏈接。

以batchTransfer-overflow問題為例:

聲明

本列表信息全部來源于以太坊區塊鏈,etherscan.io,coinmarketcap.io等公開網站上的公開信息本列表所列所有問題均屬于已披露的漏洞或缺陷,不包含任何未公開漏洞本列表中存在多個合約Token名稱重復現象,請以合約地址為準;Token名稱只做參考,可能與知名項目重復,請勿過分解讀本列表中的數據可能會存在偏差或遺漏,請大家直接提交更改請求或者通知我們(info@secbit.io)

發起共建計劃

awesome-buggy-erc20-tokens倉庫由安比實驗室持續維護,路印團隊提供信息更新支持。并歡迎大家共同參與維護更新工作,共同推進以太坊生態健康發展。參與方式:

提交未被列入的問題ERC20Token合約地址提交新的ERC20Token合約漏洞提供改進建議或參與討論

同時我們也在尋求更多的力量,來共同開發更友好的前端查詢頁面,以供大家查詢。如果你有其他任何問題或者想法,歡迎加入我們的Gitter參與討論。

安比實驗室與路印合作共建安全可信的以太坊生態,安比實驗室團隊將擔任路印協議的安全顧問,提供合約驗證與Token合約審計技術服務。路印協議是基于智能合約的去中心化交易撮合協議,提供100%開源的去中心化交易前后臺解決方案。詳情請訪問路印官網:https://loopring.org

致謝:特別感謝DEx.top團隊參與早期列表建設想法的討論;感謝葉健,ZongminYu,吳玉會,YiTang等人對合約風險列表內容所提供的寶貴意見。

Reference

MarketshareofEthereum-basedtokensgrowsto91%https://medium.com/@amincad/market-share-of-ethereum-based-tokens-grows-to-91-fdefadfd9f6eAdisastrousvulnerabilityfoundinsmartcontractsofBeautyChain(BEC)https://medium.com/secbit-media/a-disastrous-vulnerability-found-in-smart-contracts-of-beautychain-bec-dbf24ddbc30e,Apr23,2018.UnderstandingTheDAOHackforJournalistshttps://medium.com/@pullnews/understanding-the-dao-hack-for-journalists-2312dd43e993,Jun19,2016.SmartMeshAnnouncementonEthereumSmartContractOverflowVulnerabilityhttps://medium.com/smartmesh/smartmesh-announcement-on-ethereum-smart-contract-overflow-vulnerability-f1ded8777720,Apr25,2018.SECBIT:智能合約紅色預警:四個Token驚爆邏輯漏洞,歸零風險或源于代碼復制https://mp.weixin.qq.com/s/lf9vXcUxdB2fGY2YVTauRQ,May24,2018.ERC20智能合約整數溢出系列漏洞披露https://www.secrss.com/articles/3289,Jun12,2018.數千份以太坊Token合約不兼容問題浮出水面,恐嚴重影響DAPP生態https://mp.weixin.qq.com/s/1MB-t_yZYsJDTPRazD1zAA,Jun8,2018.ERC20智能合約的approve千萬別這樣寫https://mp.weixin.qq.com/s/hYE4nu7FCD_nJH5WMRrXMA,Jun15,2018.Whatwelearnedfromauditingthetop20ERC20tokencontractshttps://blog.cryptofin.io/what-we-learned-from-auditing-the-top-20-erc20-token-contracts-7526ef3b6fb1,Mar28,2018.

Tags:以太坊CVEBEC以太坊幣是什么幣CVE幣是什么幣BEC幣BEC價格

以太坊價格今日行情
青年節,牛市來了嗎?2018年5月4日全球虛擬數字幣TOP100行情快報_以太坊

今天是五四青年節,在這里祝所有幣圈的朋友節日快樂!不管你的年紀是多大,只要還有一顆炒幣的心,就是青年!讓我們一起在區塊鏈的道路上奮斗吧!走過的路,才知道有短有長;經過的事.

1900/1/1 0:00:00
市值1800億,全球第五,艾達幣全球合法電子貨幣的潛力新星!_ADA

從無名小卒,幾乎沒有任何宣傳,到超越萊特幣,EOS等,目前位列全部虛擬貨幣市值的第五名,Cardano及其艾達幣到底是何方神圣呢? 創始人團隊 Cardano由一家基于香港的IT公司IOHK開發.

1900/1/1 0:00:00
輸入這串數字,你也能在這12種數字貨幣上獲利千萬_以太坊

編者按:本文轉載自“區塊律動BlockBeats”,作者:,36氪經授權轉載。昨日中午,黑客利用以太坊ERC-20智能合約中BatchOverFlow漏洞中數據溢出的漏洞攻擊蔡文勝旗下美圖合作的.

1900/1/1 0:00:00
時艷強對話吳郎:說EOS是空氣幣的人一定生活在月球上_TPS

第93期:時艷強對話吳郎對話時間:6月22日18:00微信社群:EOS真相擂臺群 對話嘉賓: 吳郎EOSUnion發起人時艷強布洛克科技創始人全球高校區塊鏈愛好者聯盟主席時艷強:各位布洛克人.

1900/1/1 0:00:00
聽說有幾千種“比特幣”?其實也就4類_數字貨幣

當你稍微了解數字貨幣之后,你會發現,像比特幣這種數字貨幣有幾千種,聽著都頭大,不用著急放寬心,雖然現在的幣已經達到了幾千種,其實只有以下四類: 1、幣類 它主要起到一個交換媒介的作用.

1900/1/1 0:00:00
比特幣的信仰是啥_數字貨幣

貨幣來源于信仰,數字貨幣的去信任,去的是對各國央行的信任。中本聰的出發點,是避開各央行亂發貨幣的沖動,避免自己的勞動價值被洗劫。2100萬的限制,使比特幣天生具有緊縮貨幣的性質.

1900/1/1 0:00:00
ads