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

資產安全系于代碼 DeFi項目如何避免成為HackFi?_CBT

Author:

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

DeFi在過去的半年時間內是加密世界的主角,火熱程度爆表,也成為了黑客們攻擊的對象,有關DeFi協議被攻擊的事件時有發生,這給項目和用戶帶來嚴重的資產損失。

據統計,在計算機領域中,平均每1000行代碼中,會有1-25個BUG。也就是說,這個概率的區間是0.1%至2.5%。而這個概率放到剛剛處于起步階段的DeFi領域,無疑只會更高。

英國倫敦大學學院副教授IlyaSergey與新加坡國立大學多位學者合著的論文FindingTheGreedy,Prodigal,andSuicidalContractsatScale指出:「將近100萬份智能合約進行每份10秒分析時間的分析后發現,這其中有34200份智能合約很容易受到黑客攻擊,其中2365份有明顯漏洞」。這意味著智能合約出現問題的概率是0.2%至3.42%。

幣安:由于比特幣網絡擁堵,已暫時關閉BTC提款:5月7日消息,幣安發推稱,由于比特幣網絡較為擁堵,已經暫時關閉 BTC 提款。目前,團隊正在進行修復工作,直到網絡穩定下來,并將盡快重新開放 BTC 提款。幣安表示,請用戶放心,資金是安全的。[2023/5/8 14:48:48]

DeFi產品在區塊鏈平臺上運作,大量且頻繁的交易則依賴于部署在鏈上智能合約予以自動化處理,智能合約當中,任何一個小BUG,都可能會給項目或者投資者造成無法挽回的損失。

比如知名DeFi項目Yam,Yam于北京時間8月12日啟動后不到24小時,合約質押的資產就已經超過4.6億美元,然而由于一個小小的增發漏洞,項目就宣告失敗,距離啟動也不過36小時,代幣YAM也從109美元跌至0.9美元,跌幅超99%,而這也是DeFi眾多安全事件的一個縮影。

TRM Labs推出移動優先區塊鏈取證工具TRM Tactical:1月10日消息,區塊鏈分析公司TRM Labs宣布推出移動優先(Mobile-First)區塊鏈取證工具TRM Tactical,幫助一線金融執法調查人員快速獲取加密貨幣相關證據,即立刻了解交易各方信息、數字錢包余額、資金來源和目的地等信息。(雅虎財經)[2023/1/10 11:04:47]

以太坊上,數字貨幣的發行和流通、借貸、投票、拍賣等,都已有現成的智能合約模塊可供調用,各種新的智能合約也在不停編寫和部署中。根據區塊鏈安全機構CertiK的一份報告,該報告對2020年12月份新加入Uniswap,共計29個代幣智能合約進行了分析,結果總計發現16個智能合約存在漏洞或者缺陷。

渣打銀行將在新加坡試行貿易融資資產代幣化:金色財經報道,新加坡金融管理局(MAS)分享了其探索DeFi和令牌化的第一個Guardian項目試點的結果。它還宣布了另外兩個試點項目,分別是貿易融資和財富管理。渣打銀行正在牽頭一個項目,探索貿易融資資產的代幣化。在第二個財富管理試點項目中,匯豐和大華銀行正與區塊鏈代幣化平臺Marketnode合作。其目標是發行原生數字理財產品,以提高效率,并讓更廣泛的受眾能夠使用這些產品。(ledgerinsights)[2022/11/2 12:10:05]

大概有55%的智能合約項目或多或少存在漏洞或者缺陷,其中大約有10%存在嚴重漏洞,45%存在項目擁有者權限過大,權限中心化過高的缺陷。DeFi智能合約的安全問題可見一斑。

web基礎設施Platform.sh完成1.4億美元融資:金色財經報道,web基礎設施Platform.sh完成由Digital Partners領導的1.4億美元D輪融資,該融資今天結束,參與方包括摩根士丹利擴展資本、Revaia、BGV、Eurazeo、Hiinov和Partech。目前Platform.sh的融資總額達到1.87億美元,Platform.sh創始人Plais稱,這筆錢將用于招聘工作和 \"加倍 \"發展自動化。(techcrunch)[2022/6/21 4:41:27]

具體結果如下:?

那么DeFi項目要如何做呢?

案例分享:acBTC如何確保合約安全

acBTC是一個致力于提供綜合性BTCDeFi服務的協議,為BTC這一單一資產提供多種DeFi方案。BTC作為最為優質的加密資產,用戶對智能合約的安全問題尤其重視,acBTC團隊也很重視這個問題。

一、選擇權威的審計機構

當前DeFi項目熱潮持續不減,很多項目為了抓住熱點與機遇,在未經嚴格測試和審計的情況下便匆忙上線。而且對于智能合約而言,大部分的漏洞是無法通過常見的測試方法和工具來發現,只有尋找專業的審計專家進行嚴謹的數學模型證明,才可以發現該漏洞。

目前業內最常見的做法是在項目上線之前,聘請專業的安全團隊進行充分的安全審計。形式化驗證是當前唯一被證明可以產生可信數學證明的軟件驗證方法。因此,采用基于形式化驗證方法的區塊鏈檢測工具來驗證項目中的安全漏洞,成為了每一個項目在上線前的必經步驟。

acBTC的審計方為區塊鏈知名機構安比實驗室。安比實驗室按照嚴格的標準,從合約的技術實現、業務邏輯、接口規范、Gas優化、發行風險等維度對acBTC的合約代碼進行審計,通過形式化驗證、語義分析等工具進行掃描檢測,對acBTC進行了21項審計,并出具了明晰的審計報告。

詳細的審計報告能夠明確的指出代碼中存在的重大BUG、輕微BUG、可優化環節等等,幫助項目在代碼安全層面做到更好。在安比實驗室為acBTC提供的21個審計報告里,為acBTC排除了潛在風險。

二、防患于未然,可優化絕不放過

如前文提到,審計的一個作用還在于幫助項目進行代碼優化,這種優化可以帶來更好的用戶體驗,減少在實際使用過程中可能出現的問題。

安比在審計過程發現的部分可優化項,并報告給acBTC團隊,acBTC技術團隊在安比實驗室的協助下修復完成。

安比實驗室的審計結論:

安比實驗室在對ACoconutBTC合約進行分析后,發現部分可優化項,并提出了對應的修復及優化建議,acBTC開發者均已在最新版代碼中進行了修復。安比實驗室認為acBTC項目代碼質量較高、文檔詳細、測試用例完整。acBTCPhaseTwo完整實現了acBTCMigration和acSwap功能,acSwap中提供了Mint,Redeem,Swap功能,打通了BTCToken的流通,促進DeFi應用發展。

三、與審計方成為長期合作伙伴

網絡的安全風險還是動態的,特別是在DeFi這樣強調可組合性的世界里,因此有一個為項目長期提供安全服務的審計方可以在運行過程中為項目排除風險。

acBTC作為一項金融服務產品,代碼的設計不僅需要以太坊協議層開發的基本功,還需要開發者具備一定的金融常識和金融工程能力,此外DeFi作為一個金融領域的新生事物,經濟模型設計以及代碼開發層面仍有需要待完善的地方,即使是專業安全審計機構,也很難在有限時間內窮盡所有漏洞,所以除了項目上線前必要的安全審計,acBTC還邀請了安比實驗室加入其開發DAO,作為一個全程的安全服務伙伴,為acBTC項目的安全穩定保駕護航。

來源:金色財經

Tags:BTCCBTCBTCDEFIPieDAO BTCCBTC幣FCBTC價格defi去中心化交易所下載

聚幣
一周回顧:加密市場逐漸恢復,DeFi重新成為熱點_比特幣

作者SaraZhang 文章來源:比推Bitpush.News過去的一周是加密市場逐漸恢復的一周.

1900/1/1 0:00:00
子晗說幣:1月15日晚間比特幣價格走勢分析及布局思路_NFT

  比特幣方面:   比特幣價格在經過三天的上漲后,今天白天開始回調,晚間測試下方支撐位置未能打破,出現小幅反彈.

1900/1/1 0:00:00
AI PICK最新V2.1.2正式上線,新增幣安和庫幣交易所_PIC

AIPICK最新版本V2.1.2于今日正式上線。此次版本更新優化了用戶體驗,新增了幣安和庫幣的交易所綁定。AIPICK是一個次世代的智能投顧平臺.

1900/1/1 0:00:00
玩幣王子-1.17比特幣以太坊行情解析策略_以太坊

人生多一份挫折,就多一份人生的感悟,人生多一次跌打,就多一條抗爭的經驗。午夜好,幣圈投資朋友們!比特幣午夜應該如何操作-----????從下午18點的行情走勢圖來看,比特幣出現了震蕩上行結構,并.

1900/1/1 0:00:00
數字貨幣(尤其是比特幣)的真正意義_INS

當地外探索開始時,人類不再局限于地球去開采各種類型的自然資源,不論是能源還是任何形態的物質,都可能面臨突然之間從稀有變成極易獲取的情況.

1900/1/1 0:00:00
嚴哥說幣:比特幣&以太坊-1.16行情市場逐漸回暖,多頭重拾信心_NFT

對于一艘沒有航向的船來說,任何方向的風都是逆風。如果你不知道在這個市場中你要到哪兒去,那通常你哪兒也去不了。凡事預則立,不預則廢。言前定則不跆,事前定則不困,行前定則不疚,道前定則不窮.

1900/1/1 0:00:00
ads