本文由“靈蹤安全”原創,授權“金色財經”獨家首發,轉載請注明出處。
在靈蹤安全的審計報告中,我們會交代對每一份合約的審計流程。大體上來說,這個流程主要包括兩個步驟:一是標準化審計步驟,二是人工審計步驟。
實際上這也是目前業內比較通行的步驟。不同審計機構可能在審計流程中的具體步驟和細節上存在差異,但歸納起來也都會包含這兩個大的步驟。?
在靈蹤安全前面發布的文章中,我們特別強調過智能合約和傳統工業流水線上批量產出的標準化產品不同,它不是按流水線、標準化作業生產出來的,而是人為編寫出來的。即便是照抄現有的合約,合約的編寫者通常也會在照抄的合約上做一些小的改動。因此,兩份合約哪怕是功能上一樣、邏輯一樣、特點一樣,在具體的編寫方式上都會存在差異。而這個差異往往就是漏洞、風險的來源。但這個差異又很難用機器大工業中常見的標準工具檢測出來。但如果無法用工具檢測,單憑人力檢測,不僅工作量大,而且效率低,并且時常還會出人為方面的錯漏。這看似矛盾的兩方面交織在一起,一直貫穿著整個審計過程的始終,也是推進行業前進和革新的根本動力。
獨家 | DeFi累計用戶數接近45萬:據DappBirds DeFi Data專題數據顯示,DeFi累計用戶數接近45萬,DeFi中鎖定資產總價值達98.31億美元,較昨日上升-0.60%,其中Uniswap,Aave,SushiSwap,MakerDAO,Curve分別以14.37億美元,13.24億美元,12.10億美元,10.98億美元,10.18億美元位列前五名。[2020/9/9]
對靈蹤安全來說,我們對合約的檢測一方面會盡量使用工具進行驗證以提高效率并減輕人為驗證時可能出現的差異和錯漏;而另一方面我們又特別強調人工檢測的重要性,并強調人工檢測對合約質量的最后把關,因為人工檢測不僅是用來檢測工具無法檢測出來的問題,更是用來預判和發現業界未曾記錄的風險、做到防患于未然的保證。
獨家 | Bakkt期貨合約數據一覽:金色財經報道,Bakkt Volume Bot數據顯示,8月4日,Bakkt比特幣月度期貨合約日交易額為5037萬美元,同比下降23%,未平倉合約量為2450萬美元,同比下降9%。[2020/8/6]
靈蹤安全自成立以來便一直致力于對合約審計標準化工具的使用和開發。在這方面,我們大膽借鑒了業界前輩已經積累的經驗,對目前市面上已經存在的合約檢測工具都進行了細致的研究和測試。但我們發現這些工具或多或少都存在一定的局限,并且在我們具體的使用過程中還存在各種不便之處,因此我們也在前輩研發的基礎上大力開發自己的自動化檢測工具,并將我們的工具投入到合約的審計工作中。這一方面提高靈蹤安全的工作效率,另一方面將我們不斷積累的經驗優化、集成到這些工具中,讓它們更好地服務于靈蹤安全的合約審計。?
獨家 | 褚康:Tether增發一定程度上反應了加密市場的發展:金色財經報道,針對“近七日Tether新發行1.57億USDT”一事,犇睿資本創始人褚康表示,USDT的增量發行,在一定意義上表明當前市場現有USDT存量供應的不足,一定程度上反應了加密市場的發展。目前在整體經濟市場較為低迷的情況下,作為避險資產的加密資產應充分發揮其避險價值。[2020/2/17]
對標準化檢測工具的研發及推進將始終是靈蹤安全開發工作的重點和必須攻克的難點。我們認為這也是業界未來發展的方向和制高點。把握這個方向、占據這個制高點不僅對靈蹤安全本身的發展,更對整個行業的發展都將起到重要的推進作用。
?對工具的研發和使用是靈蹤安全工作的重點,而對人工審查的強調及對審計工程師的培養、培訓則是靈蹤安全工作的重心和核心。
獨家 | 三星發布區塊鏈平臺SDK 目前僅支持ETH:金色財經現場報道,三星10月29日在圣何塞舉行的2019開發者大會上正式發布了三星區塊鏈平臺SDK(Sumsung Blockchain Platform SDK),通過API提供了賬戶、錢包、交易管理功能,提供簡單的支付界面,并集成Dapp瀏覽器Cucumber,開發者無需再了解技術實現細節,只需通過API調用需要的功能,極大方便Dapp開發。在開發演示現場,金色財經記者在三星技術人員指導下短時間內就建立一個用測試網ETH購買Galaxy手機的電商Dapp。同時金色財經了解到,三星區塊鏈平臺SDK目前僅支持ETH。[2019/10/31]
靈蹤安全認為人工審計不僅是對工具審計的查漏補缺,人工審計所積累的經驗和技能也是改進和提升工具最好的素材和動力,人工審計本身更是對整個審計過程的最后把關。所以無論從哪方面說,人工審計的重要性都不言而喻。
?人工審計所進行的是非標準化的活動。所謂的非標準化活動就是因人而異,難以絕對統一。因為每個審計工程師都有自己的習慣和自己的思路。在這種情況下如何既發揮人工審計的靈活性和創造性又避免人工審計中人為因素導致的錯漏則是靈蹤安全在人工審計過程中關注的重點和難點。
我們對此采取的主要措施是流程統一和交叉審計。這兩點也是靈蹤安全在人工審計這個大步驟中重點進行的兩個細分步驟?
所謂的流程統一就是我們為合約人工審計的流程制定了一個統一的框架和流程,這個框架和流程確保我們每個審計工程師都要延這個大方向走,不出方向性錯誤,這也是企業戰略中常說的目標一致、路徑一致,在合約審計中,我們也需要這種一致。
在這種一致框架和流程的規制下,每個審計工程師可以發揮自己的主觀能動性和創造性,按自己的習慣和特點審計合約,我們不予具體地干預。
但是即便方向一致,每個工程師在具體的進度、能力、判斷上還是會出現差異,而這些差異就有可能導致風險、漏洞逃過審計。
這時我們就需要第二個手段----交叉審計來防范這個問題。
所謂的交叉審計就是一份合約我們會由多個工程師審計。這個過程是將不同工程師的不同的思路和理解進行匯總的過程,也就是我們常說的“集思廣益”。通過這種方式,我們能盡量大地覆蓋風險的范圍和種類,盡量小地減少個人理解偏差在審計中造成的誤判。
所以靈蹤安全的審計報告中所提到的審計流程歸納起來就是利用工具的標準化審計和依賴工程師經驗的人工審計。
作者:
靈蹤安全CEO譚粵飛
美國弗吉尼亞理工大學(VirginiaTech,Blacksburg,VA,USA)工業工程碩士(Master)。曾任美國硅谷半導體公司AIBTInc軟件工程師,負責底層控制系統的開發、設備制程的程序實現、算法的設計,并負責與臺積電的全面技術對接和交流。自2011至今,從事嵌入式,互聯網及區塊鏈技術的研究,深圳大學創業學院《區塊鏈概論》課程教師,中山大學區塊鏈與智能中心客座研究員,廣東省金融創新研究會常務理事。個人擁有4項區塊鏈相關專利、3本出版著作。
關于靈蹤安全:
靈蹤安全科技有限公司是一家專注區塊鏈生態安全的公司。靈蹤安全科技主要通過“代碼風險檢測邏輯風險檢測“的一體化綜合方案服務了諸多新興知名項目。公司成立于2021年01月,團隊由一支擁有豐富智能合約編程經驗及網絡安全經驗的團隊創建。
團隊成員參與發起并提交了以太坊領域的多項標準草案,包括ERC-1646、ERC-2569、ERC-2794,其中ERC-2569被以太坊團隊正式收入。
團隊參與了多項以太坊項目的發起及構建,包括區塊鏈平臺、DAO組織、鏈上數據存儲、去中心化交易所等項目,并參與了多個項目的安全審計工作,在此基礎上基于團隊豐富的經驗構建了完善的漏洞追蹤及安全防范系統。
親愛的庫幣用戶: 我們很高興的宣布,庫幣將上線TheSandbox(SAND)項目并支持交易對SAND/USDT.
1900/1/1 0:00:00尊敬的虎符用戶, 虎符將于2021年04月03日15:00(UTC8)重磅上線JASMY/USDT交易對。充值已開啟,提現將于2021年04月04日10:00(UTC8)開啟.
1900/1/1 0:00:00?通過今年的幣市我相信掀起了很大的波瀾壯闊,可謂是群魔亂舞來形容,開年的暴跌加上八月的暴漲,中途的橫盤,可謂是有人歡喜有人憂,再其次來說投資本身也是具有一定的風險存在,而面對數字貨幣突然的興起.
1900/1/1 0:00:00親愛的用戶: HomiEx將于2021年4月1日18:00?(UTC8)?上線AR/USDT聚合交易對.
1900/1/1 0:00:003月25日,AsproexETT指數通證2.0升級正式升級回歸,并同步上線包括BTC3S/USDT、BTC3L/USDT、ETH3S/USDT、ETH3L/USDT等主流數字貨幣在內的10余種E.
1900/1/1 0:00:00Gate.io將于2021年4月1日15:00上線ShyftNetwork(SHFT)交易。ShyftNetwork是一種公共區塊鏈協議,旨在將信任和驗證聚合并嵌入到存儲在公共和私有生態系統以及.
1900/1/1 0:00:00