本文由“Fairyproof Tech”原創,授權“金色財經”獨家首發,轉載請著名出處。
審計機構在審計合約風險時,通常會對發現的每個風險進行評級,評級的目的是為了讓項目方對風險引起重視并對需要處理的風險及時采取行動;讓讀者尤其是用戶對項目的風險有所了解,以便對投資進行客觀地評估和決策。?
Fairyproof Tech在審計報告中通常根據風險的危險程度和需要解決的緊急程度將風險分為四級,分別為:致命風險、高危風險、中度風險和低風險。
致命風險是所有風險中等級最高的、最危險的,它需要項目方即刻解決,不能拖延。
高危風險在危險程度上僅次于致命風險,它極有可能給項目帶來嚴重問題,也需要項目方解決。
獨家 | BTC 24h鏈上交易量上升39.99%:據歐科云鏈OKLink數據顯示,BTC 24h鏈上活躍地址數總計893756,較前日上升17.62%;鏈上交易量總計725441.1BTC,較前日上升39.99%;鏈上交易筆數總計308772,較前日上升7.69%;BTC鏈上活躍度上升。
截至上午10時,BTC全網算力約為122.19EH/s,較前日下降1.95EH/s,全網算力呈下降趨勢。[2020/7/14]
中度風險相較于高危風險等級又次一級,它有可能給項目帶來潛在問題,最終還是要項目方解決。
低風險是所有風險中級別最低的,通常它表現為一些細節問題、警告信息等,暫時來說這個等級的問題可以不用解決,但項目方最后在未來某個新版本中解決這類問題。
Fairyproof Tech在審計合約的過程中,對上述四個等級的風險都會進行嚴格的排查并密切和項目方合作,重點督促并要求項目方必須解決致命風險和高危風險,并對中度風險和低風險給出詳實地反饋和改進計劃,不過我們在審計報告中關于如何描述上述四個等級的風險經歷了一個演變過程。
獨家 | 大山: 挖礦是能真正穿越牛熊的一種商業邏輯:在今晚由算力互聯主辦,金色財經獨家支持直播的2020礦業新勢力AMA上,針對“水滴資本在實際運作礦業基金以及進行礦業生態布局,這個過程中,有哪些心得體會或者感悟?”的問題,水滴資本聯合創始人大山表示幾個合伙人都是13年以前就接觸BTC的,也見證了幾輪牛熊了,但不知道大家發現了沒有,很多圈子里曾經風光無限的人物都曇花一現消失匿跡了,而過了這些年下來留到現在的,大家調侃為大佬的人,或者行業頭部的大公司,除了少數幾家交易所外,大多跟礦業有關。這是因為挖礦是能真正穿越牛熊的一種商業邏輯。[2020/2/26]
之所以我們在報告描述中有這個演變過程是和Fairyproof Tech的審計方法及流程密切相關的。Fairyproof Tech的審計過程不僅是我們的工程師自己審閱代碼的過程,更是我們工程師與項目方深度交流,密切合作的過程。
獨家 | BTC24小時資金凈流出74.42億元:根據AICoin數據顯示,24小時資金凈流入排名中SEELE排名第一, 24小時凈流入1.93億元人民幣;ROAD24小時資金凈流入排名第二,24小時凈流入1.65億元人民幣;TRX24小時金凈流入排名第三,24小時凈流入1.57億元人民幣。PAX 24小時資金凈流入排名第四,24小時資金凈流入1.16億元人民幣;LINK24小時資金凈流入排名第五,24小時資金凈流入1.06億元人民幣。BTC24小時資金凈流出74.42億元人民幣。[2020/2/16]
Fairyproof Tech會和每個合約項目方進行多個來回的交流及互動。每一次我們審完代碼都會給項目方羅列所有的風險并給出整改建議。當項目方拿到我們的建議后需要對我們的建議給出反饋及修改結果。然后我們再對項目方修改過的合約進行重新審計。
獨家 | 陳九:以太坊價格縮水會造成項目無法正常推進:針對近期以太坊價格跳水的現象,金色財經就此事獨家采訪到陳九金服創始人兼CEO、Block VC創始合伙人陳九,他表示:“當下對于以太坊發行token和計劃在以太坊落地應用的團隊來說,無疑一塊是由于項目啟動和運營資金縮水嚴重,導致部分團隊項目無法正常向前推進,項目對主鏈性能如果要求比較高,也會受到很大影響。在投資方面,目前很多幣圈機構同仁最近都不投任何項目了”[2018/8/23]
通過這樣遞進、深入、多次地審計,最終我們才出具一份完整的報告。
在這個過程中,我們實際上審閱了項目方一路修訂過程中的所有合約版本,并且會記錄所有這些版本中出現的所有風險。
對此,在我們早期的報告中,我們會將審計過程中所有記錄的風險無一例外地羅列,這其中就包括致命風險和高危風險。我們會要求所有被審計的項目方嚴格改進代碼移除這兩類風險,并會在所羅列的這兩類風險后面備注項目方的改進方案和結果,項目方不消除這兩類風險,我們是不會出具報告的。
但是我們發現很多讀者在讀這樣描述的報告時會產生兩個問題:
一是用戶往往不注意看項目方對致命風險和高危風險的處理,誤認為項目方的合約對存在的問題置之不理,由此判斷項目為高風險。
二是當用戶拿到這份冗長的報告時,沒有耐心看完,如果不仔細讀,看不出哪些問題是已經處理,哪些問題是待處理的,從而導致對項目產生更大的疑惑。
根據讀者的上述反饋,我們逐步改進了報告的撰寫方式如下:
一是對致命風險及高危風險不解決的項目,我們不出具報告;對中度風險和低風險無知悉、不反饋的項目我們不出具報告。
二是如果Fairyproof Tech出具審計報告,只在報告中羅列中度風險和低風險,并且項目方要對這兩類風險有所反饋和改進計劃。
我們這么處理主要的原因就是希望簡化報告內容、突出報告重點,讓用戶一目了然,直擊要害。
所以在后期Fairyproof Tech出具的審計報告中,讀者通常只會看到中度風險和低風險的羅列而看不到致命風險和高危風險。
這并不表明合約從來沒有致命風險和高危風險,而是表明即便有,項目方也在Fairyproof Tech地督促和建議下修改去除了這兩類不能出現在合約中的風險。
作者:
Fairyproof TechCEO 譚粵飛
美國弗吉尼亞理工大學(Virginia Tech, Blacksburg, VA, USA) 工業工程(Industrial Engineering) 碩士(Master)。曾任美國硅谷半導體公司 AIBT Inc(San Jose, CA, USA) 軟件工程師,負責底層控制系統的開發、設備制程的程序實現、算法的設計,并負責與臺積電的全面技術對接和交流。自2011至今,從事嵌入式,互聯網及區塊鏈技術的研究,深圳大學創業學院《區塊鏈概論》課程教師,中山大學區塊鏈與智能中心客座研究員,廣東省金融創新研究會常務理事 。個人擁有4項區塊鏈相關專利、3本出版著作。
關于Fairyproof Tech:
Fairyproof Tech科技有限公司是一家專注區塊鏈生態安全的公司。Fairyproof Tech科技主要通過“代碼風險檢測+邏輯風險檢測“的一體化綜合方案服務了諸多新興知名項目。公司成立于2021年01月,團隊由一支擁有豐富智能合約編程經驗及網絡安全經驗的團隊創建。
團隊成員參與發起并提交了以太坊領域的多項標準草案,包括ERC-1646、ERC-2569、ERC-2794,其中ERC-2569 被以太坊團隊正式收入。?
團隊參與了多項以太坊項目的發起及構建,包括區塊鏈平臺、DAO組織、鏈上數據存儲、去中心化交易所等項目, 并參與了多個項目的安全審計工作,在此基礎上基于團隊豐富的經驗構建了完善的漏洞追蹤及安全防范系統。
1.BM發表EdenOS路線圖建議 能否拯救頹勢中的EOS ?EdenOS旨在使EOS主網成為 "任何區塊鏈中最去中心化、最透明、最民主的治理過程".
1900/1/1 0:00:00原標題:疏緩DeFi系統性風險 我們能從歐美建筑消防史中學到什么?隨著DeFi影響力向越來越廣泛的空間拓展以及可組合性的深化探索,其系統性風險也在逐漸擴張,成為DeFi長期發展的潛在威脅之一.
1900/1/1 0:00:00· 本期嘉賓?· Alex Yang,北大數學系學霸,美國西北大學數學博士,現任VSYS首席執行官 15年前在高頻交易界的耶路撒冷——Jump Trading做量化工程師;后來在野村證券和UBS.
1900/1/1 0:00:00Ethereum是一個新興的數字經濟體并處于繁榮的初期。它現在承載著數以萬計的應用程序,存儲著3500億美元的資產,每年結算2萬億美元的交易,并繼續以驚人的速度增長。具有成為全球經濟基石的潛力.
1900/1/1 0:00:004月5日,礦機廠商億邦國際發布公告,旗下加密貨幣交易所EBONEX正式啟動,合格投資者可以注冊和交易。EBONEX官網顯示,該交易所已支持幣幣交易、杠桿交易和存幣生息三個業務.
1900/1/1 0:00:00文章系金色財經專欄作者牛七的區塊鏈分析記供稿,發表言論僅代表其個人觀點,僅供學習交流!金色盤面不會主動提供任何交易指導,亦不會收取任何費用指導交易,請讀者仔細甄別,謹防上當.
1900/1/1 0:00:00