以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > TUSD > Info

區塊鏈安全100問 | 第八篇:智能合約自動化審計介紹_ODE:ETHplode

Author:

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

前言

當前區塊鏈技術和應用尚處于快速發展的初級階段,面臨的安全風險種類繁多,從區塊鏈生態應用的安全,到智能合約安全,共識機制安全和底層基礎組件安全,安全問題分布廣泛且危險性高,對生態體系,安全審計,技術架構,隱私數據保護和基礎設施的全局發展提出了全新的考驗。

PART01-智能合約自動化審計介紹

隨著區塊鏈技術越來越火,并在不同的行業有所應用,如金融、游戲、版權、溯源等;其中出現過不少的安全問題,尤其是區塊鏈的智能合約發展至今,暴露出的問題不少,智能合約的正確性和安全性面臨著巨大的問題;在海量的智能合約中,最好的一種設想就是通過自動化審計來降低人工審計的復雜度。同時市場上有安全公司,也推出各自的智能合約自動化安全審計平臺,那么今天我們就來介紹一下智能合約自動化審計。

火幣研究院“區塊鏈百家講壇”:區塊鏈下的“普惠”供應鏈金融:7月22日,火幣研究院“區塊鏈百家講壇”第十季上線,火幣研究院的研究員陳圣樺以《區塊鏈下的“普惠”供應鏈金融》為主題,從區塊鏈結合供應鏈金融行業的優勢、模式探討、落地難點等方面進行解讀,并對兩大領域的結合進行了展望。

陳圣樺指出,通過區塊鏈技術與供應鏈金融的相結合,能打破以往數據孤島的現象,建立信任機制,并實現核心企業的信用跨級傳遞。在結合智能合約的基礎上,提升全鏈條的業務協作與融資效率,降低了以往因企業違約為金融機構帶來的履約風險,有效解決供應鏈金融場景下中小企業信用和融資問題。[2020/7/22]

我們把自動化審計分為三個部分:

第一種就是特征代碼的匹配;第二類就是基于形態化驗證的自動化審計;最后一類是基于符號執行和符號抽象的自動化審計。

動態 | 韓國知識經濟部設立區塊鏈監管改進研究小組:據Money Today消息,韓國知識經濟部宣布,設立研究小組以改善對區塊鏈的監管,糾正舊規定,提高區塊鏈技術的全球競爭力。該研究小組將持續到今年年底,每月舉辦兩次研討會。[2018/9/12]

1)特征代碼匹配

首先特定代碼匹配。大家從名字上來看應該就能理解到,其實就是對惡意代碼進行一些提取抽象,像我們之前做的代碼靜態檢測,我們抽樣成一種語義匹配,然后再去匹配它的靜態源代碼。

這種審計的方法的優點是顯而易見的,比如說速度很快,因為它就是對源碼進行一個字符串的匹配。第二是它能夠迅速地響應新的漏洞,因為這種審計方法大部分是以插件形式開發,比如出現了一個新的漏洞,我們就可以快速提交一些新的匹配模式。

原中央國家機關工委信息中心主任徐成濤:區塊鏈的核心意義在于第一次能夠從技術層面建立信任關系:中新網北京4月27日電 區塊鏈與產業互聯網融合應用60人論壇26日晚在北京落幕。原中央國家機關工委信息中心主任徐成濤認為,區塊鏈的核心意義在于,人類有史以來第一次能夠從技術層面建立信任關系。“相信區塊鏈能推動我國的電子政務事業更上一層樓,期待越來越多的政務區塊鏈應用案例在我國落地生根,為數字中國、智慧社會建設做出積極的貢獻。”[2018/4/27]

那么它的缺點在哪里呢?我們所理解的現在的區塊鏈都應該是公開透明的,但實際情況并不是這樣,我們大概做了一個統計,目前在以太坊上其實有超過一半的智能合約是不開源的,只暴露一個OPCODE。

OPCODE的分析對于安全人員來說也面臨著巨大的挑戰,有些人費了十分大的力氣,去逆向OPCODE,這就導致了它的適用范圍極為有限。

區塊鏈垂直媒體泡沫狂歡 受到資本青睞:\t進入3月,區塊鏈垂直媒體融資信息紛至沓來,讓人眼花繚亂。IDG資本、明勢資本、梅花天使、PreAngel等機構均有投資項目傳出。除了受資本青睞,區塊鏈垂直媒體自身也是話題不斷:上線26天估值1.5個億;點擊不到200的軟文要價10萬元。由自媒體帶動的輿論浪潮一波接一波,甚至比區塊鏈應用探索更讓外界喜聞樂見。[2018/3/17]

其次就是漏報率高。因為它的一些靜態審計方法其實并不和傳統的靜態代碼審計方法一致,傳統的靜態審計方法,比如說APP檢測,會調用庫里面,確定穩定的一些函數,來對它進行審計,但智能合約里面它的一些函數、它一些特征等等,還是變化性比較多的,所以說它的漏報率會比較高。

2)基于形式化驗證的自動化審計

使用形式化驗證來審計智能合約安全,將EVM編譯后的一些OPCODE,通過特定描述語言轉化成了一個形式化的model,然后通過形式化model的驗證來去判斷它代碼中的邏輯是否存在問題。

3)基于符號執行、符號抽象的自動化審計

基于符號執行、符號抽象的自動化審計檢測出來的數據還是需要人工進行二次確認,這個工作其實是非常繁瑣。

PART02-一個出色的智能合約自動化審計系統該滿足什么條件?

1)自動化

要求對智能合約的安全審計,要全自動,或者至少是半自動的,即上傳合約源代碼或提供智能合約的token地址,即可由系統,自動化進行合約的安全掃描。并且能夠按需要配置為周期調度自動進行調度審計。

2)準確性

要求對智能合約的安全審計,誤報率低。

3)高效率

要求對智能合約的安全審計必須是高效的,即要求審計的時間不能太長,越快越好。

4)無風險

要求對智能合約的安全審計不會破壞或修改原有的合約的功能。

只有做到了以上4點,才是一個基本合格的智能合約自動化審計系統。

除此之外,如果要做得更加的專業,更出色,還需要滿足下面的四個需求:

第一、系統具有智能合約的當前標準規范管理;這樣一來,使用者可以在系統上傳,下載標準規范進行參考。如果說審計出來的安全問題,能與標準規范相對應,并定位到標準規范是最好的,但是當對智能合約安全審計的標準規范不細或缺乏,做到這一點太難了。

第二、系統的使用操作體驗要好;簡單舉例:

可以采用向導式,引導用戶熟悉系統的功能操作。

具備用戶自定義合約的行業分類以及所屬廠商分類等。

審計出來的安全問題,能定位到行列,并至少能提供此安全問題的修正安全,當然,有自動化修正更好,具備自動化修正功能,相應提供保留原內容的版本,以便可進行回退和比較。

第三、易擴展;當前,區塊鏈的平臺技術以及安全專家針對區塊鏈智能合約發現的安全問題的checklist是不斷演進的,系統應很好的解決這方面的需求,就需要系統有一個很好的易擴展的設計要求。

第四、對安全審計結果報告展現豐富;能導出PDF,EXCEL,WORD,HTML格式是必需的,報告的展現應有圖表,表格元素的體現,當然,要做好這點,需要你對系統的使用方有更多的了解,針對用戶做些定制他們關注的報告就更出彩了;報告出彩的功能還可以是報告中有審計歷史對比趨勢分析等。

Tags:區塊鏈ODEOPCCODE區塊鏈TEC幣有這種幣嗎ETHplodeOPCXcode幣騙局

TUSD
盤點Sui即將上線的13款鏈游 Sui能否靠鏈游打響市場爭奪戰_WOR:NFT

Sui開發公司MystenLabs日前宣布,從5月15日起,其11個游戲合作伙伴的游戲將在Sui區塊鏈陸續上線.

1900/1/1 0:00:00
1kx合伙人:淺談設計代幣網絡的挑戰及解決方案_VEN:Petaverse

原文作者:Peter‘pet?3?rpan’原文編譯:深潮TechFlow創建一個可持續的代幣網絡涉及多個方面,需要參與者之間的協調和運營.

1900/1/1 0:00:00
巴比特專欄 | 白士泮:新加坡Web3行業的風險與挑戰_WEB3:WEBN token

作者:白士泮陳海硯 注:本文首發于聯合早報 圖片來源:由無界AI工具生成Web3是互聯網的新時代,也被稱為“讀+寫+擁有Web”。Web3基于區塊鏈底層技術,本質是去中心化的.

1900/1/1 0:00:00
Tether:所有Tether代幣都有充分的儲備支持_HER:etha幣上哪個交易所了

巴比特訊,8月9日,Tether公布MooreCayman最新的報告,TetherHoldingsLimited的管理層聲明如下:截至UTC時間2021年6月30日23:59.

1900/1/1 0:00:00
跨鏈橋在以太坊 PoS 時代 還有哪些機會?_ETH:eth官網查詢地址

2022年9月中旬,以太坊執行層與權益證明共識層于區塊高度15537393觸發合并機制,并產出首個PoS區塊,自此以太坊正式放棄了PoW共識模式轉為PoS.

1900/1/1 0:00:00
美股指數收益增強策略視角的Crypto資產管理_NAS:ETF

引言 傳統金融市場近幾年來以ETF為代表的指數型產品發展迅速,呈現出SmartBetaETF-主動管理ETF市場資金流入增速高于普通指數ETF產品的特征.

1900/1/1 0:00:00
ads