以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

區塊鏈:獨家 | 靈蹤安全在審計報告中會羅列哪些風險?我們該如何讀審計報告

Author:

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

本文由“靈蹤安全”原創,授權“金色財經”獨家首發,轉載請著名出處。

審計機構在審計合約風險時,通常會對發現的每個風險進行評級,評級的目的是為了讓項目方對風險引起重視并對需要處理的風險及時采取行動;讓讀者尤其是用戶對項目的風險有所了解,以便對投資進行客觀地評估和決策。?

靈蹤安全在審計報告中通常根據風險的危險程度和需要解決的緊急程度將風險分為四級,分別為:致命風險、高危風險、中度風險和低風險。

致命風險是所有風險中等級最高的、最危險的,它需要項目方即刻解決,不能拖延。

高危風險在危險程度上僅次于致命風險,它極有可能給項目帶來嚴重問題,也需要項目方解決。

中度風險相較于高危風險等級又次一級,它有可能給項目帶來潛在問題,最終還是要項目方解決。

獨家 | 鏈上交易量較前日上升99.49%:據歐科云鏈OKLink數據顯示,BTC 24h鏈上活躍地址數總計839329,較前日上升3.85%;鏈上交易量總計836150.32BTC,較前日上升99.49%;鏈上交易筆數總計271271,較前日上升26.45%;BTC鏈上活躍度上升。

截至上午10時,全網算力約為91.33EH/s,較前日上升0.15EH/s,全網算力呈上升趨勢。[2020/5/26]

低風險是所有風險中級別最低的,通常它表現為一些細節問題、警告信息等,暫時來說這個等級的問題可以不用解決,但項目方最后在未來某個新版本中解決這類問題。

靈蹤安全在審計合約的過程中,對上述四個等級的風險都會進行嚴格的排查并密切和項目方合作,重點督促并要求項目方必須解決致命風險和高危風險,并對中度風險和低風險給出詳實地反饋和改進計劃,不過我們在審計報告中關于如何描述上述四個等級的風險經歷了一個演變過程。

獨家 | 孔劍平:云算力可能是用戶通向分布式計算世界的平臺:2020年5月23日,在由百團大戰、節點咨詢、金色財經主辦,萊比特、算力360聯合主辦的百團大戰礦業峰會·豐水期之戰上,嘉楠科技聯席董事長孔劍平發言指出:礦業現在還是處于紅利期,更合規的電力資源,更高性能的計算設備依然是發展趨勢。未來云算力會有很大的發展前景,當下他降低了普通用戶進入挖礦行業的成本,未來云算力可能是用戶通向分布式計算世界的平臺,因為那個時候的挖礦形態會更多,除了現有計算數字貨幣,還會有分布式算力共享,存儲共享等,結合未來的人工智能時代,新的數字社會形態下,機會也會更多,當然過程也許也會很漫長![2020/5/26]

之所以我們在報告描述中有這個演變過程是和靈蹤安全的審計方法及流程密切相關的。靈蹤安全的審計過程不僅是我們的工程師自己審閱代碼的過程,更是我們工程師與項目方深度交流,密切合作的過程。

獨家 | Bakkt期貨合約數據一覽:金色財經報道,BakktVolumeBot數據顯示,4月6日,Bakkt比特幣月度期貨合約單日交易額為1449萬美元,環比上升7%,未平倉合約量為519萬美元,環比下降19%。[2020/4/7]

靈蹤安全會和每個合約項目方進行多個來回的交流及互動。每一次我們審完代碼都會給項目方羅列所有的風險并給出整改建議。當項目方拿到我們的建議后需要對我們的建議給出反饋及修改結果。然后我們再對項目方修改過的合約進行重新審計。

通過這樣遞進、深入、多次地審計,最終我們才出具一份完整的報告。

在這個過程中,我們實際上審閱了項目方一路修訂過程中的所有合約版本,并且會記錄所有這些版本中出現的所有風險。

現場 | 金色獨家 SEC專家Gary:屏蔽美國公民購買數字資產有悖國家長期利益:SEC專家Gary Aguirre在接受金色財經采訪時提到,SEC完全屏蔽美國公民購買數字資產的行為是不合理的,而且有悖于美國的長期利益。他舉例說,假設把帝國大廈變成可以購買的數字資產但不能被美國公民所購買,那么以后美國的數字資產將全部被外國人所持有,甚至,今后的升值也跟美國人沒有關系,這是很不合理的,而行業正在倒逼SEC重新審視ICO。[2018/6/26]

對此,在我們早期的報告中,我們會將審計過程中所有記錄的風險無一例外地羅列,這其中就包括致命風險和高危風險。我們會要求所有被審計的項目方嚴格改進代碼移除這兩類風險,并會在所羅列的這兩類風險后面備注項目方的改進方案和結果,項目方不消除這兩類風險,我們是不會出具報告的。

但是我們發現很多讀者在讀這樣描述的報告時會產生兩個問題:

一是用戶往往不注意看項目方對致命風險和高危風險的處理,誤認為項目方的合約對存在的問題置之不理,由此判斷項目為高風險。

二是當用戶拿到這份冗長的報告時,沒有耐心看完,如果不仔細讀,看不出哪些問題是已經處理,哪些問題是待處理的,從而導致對項目產生更大的疑惑。

根據讀者的上述反饋,我們逐步改進了報告的撰寫方式如下:

一是對致命風險及高危風險不解決的項目,我們不出具報告;對中度風險和低風險無知悉、不反饋的項目我們不出具報告。

二是如果靈蹤安全出具審計報告,只在報告中羅列中度風險和低風險,并且項目方要對這兩類風險有所反饋和改進計劃。

我們這么處理主要的原因就是希望簡化報告內容、突出報告重點,讓用戶一目了然,直擊要害。

所以在后期靈蹤安全出具的審計報告中,讀者通常只會看到中度風險和低風險的羅列而看不到致命風險和高危風險。

這并不表明合約從來沒有致命風險和高危風險,而是表明即便有,項目方也在靈蹤安全地督促和建議下修改去除了這兩類不能出現在合約中的風險。

?---------------------------------------------------------------?

作者:

靈蹤安全CEO譚粵飛

美國弗吉尼亞理工大學(VirginiaTech,Blacksburg,VA,USA)工業工程碩士(Master)。曾任美國硅谷半導體公司AIBTInc軟件工程師,負責底層控制系統的開發、設備制程的程序實現、算法的設計,并負責與臺積電的全面技術對接和交流。自2011至今,從事嵌入式,互聯網及區塊鏈技術的研究,深圳大學創業學院《區塊鏈概論》課程教師,中山大學區塊鏈與智能中心客座研究員,廣東省金融創新研究會常務理事。個人擁有4項區塊鏈相關專利、3本出版著作。

關于靈蹤安全:

靈蹤安全科技有限公司是一家專注區塊鏈生態安全的公司。靈蹤安全科技主要通過“代碼風險檢測邏輯風險檢測“的一體化綜合方案服務了諸多新興知名項目。公司成立于2021年01月,團隊由一支擁有豐富智能合約編程經驗及網絡安全經驗的團隊創建。

團隊成員參與發起并提交了以太坊領域的多項標準草案,包括ERC-1646、ERC-2569、ERC-2794,其中ERC-2569被以太坊團隊正式收入。?

團隊參與了多項以太坊項目的發起及構建,包括區塊鏈平臺、DAO組織、鏈上數據存儲、去中心化交易所等項目,并參與了多個項目的安全審計工作,在此基礎上基于團隊豐富的經驗構建了完善的漏洞追蹤及安全防范系統。

Tags:區塊鏈SEC數字資產BTC到底什么是區塊鏈SecretSky.finance數字資產評估ABTC幣

比特幣交易
FILE:FIL是什么?為什么最近突然火了起來?

原文標題:FIL為什么這么火? 市場新寵 最近市場上最火的項目莫過于萬眾矚目的Filecoin,據非小號行情顯示,截止目前,FIL單價已經突破234美元關口,創下歷史新高.

1900/1/1 0:00:00
HOPR:HOPR(HOPR)項目介紹

項目簡介HOPR是一種基于激勵混合網的分散式元數據專用點對點數據交換協議。HOPR將提供第0層安全性,從而允許現有應用程序,服務和新型分散式應用程序在完全保密的情況下進行通信.

1900/1/1 0:00:00
APE:Papal/VISA金融巨頭支持加密貨幣交易,比特幣今夜有望創新高62000美金

??????? 終于到了3月份最后一天,比特幣在歷史上的三月多數情況下走勢不好,但比特幣在今年三月份表現得依舊搶眼,目前月漲幅30%,震幅37%,報59000美元.

1900/1/1 0:00:00
OIN:開源BTC礦池代碼 微比特(ViaBTC)的區塊鏈精神傳承

2009年1月3日,中本聰挖出比特幣創世區塊鏈并留下了當天的時間戳,引用了當天《泰晤士》的頭版-“TheTimes03/Jan/2009Chancelloronbrinkofsecondbail.

1900/1/1 0:00:00
YFO:這是一項慈善契約如何為您贏得$ 5,000現金,用于購買新的游戲PC,NFT等

向“為變革而奮斗”基金會捐款,然后一名幸運的捐助者將因其出色的工作獲得5,000美元的獎勵。沒有什么比因為正確的理由而做正確的事而獲得獎勵更好的了.

1900/1/1 0:00:00
GATE:Gate.io 關于將對XRP5S ETF產品進行持倉份額合并和單位凈值調整的公告

Gate.io杠杠ETF是一種自帶杠桿屬性和具有自動調倉機制的交易產品。ETF產品每日跟進盈利虧損調整杠桿率回到目標杠桿桿倍數,盈利會開倉,虧損會減倉,用戶在交易杠桿產品的時候不需要支付保證金,

1900/1/1 0:00:00
ads