本文由“Fairyproof Tech”原創,授權“金色財經”獨家首發,轉載請著名出處。
審計機構在審計合約風險時,通常會對發現的每個風險進行評級,評級的目的是為了讓項目方對風險引起重視并對需要處理的風險及時采取行動;讓讀者尤其是用戶對項目的風險有所了解,以便對投資進行客觀地評估和決策。?
Fairyproof Tech在審計報告中通常根據風險的危險程度和需要解決的緊急程度將風險分為四級,分別為:致命風險、高危風險、中度風險和低風險。
致命風險是所有風險中等級最高的、最危險的,它需要項目方即刻解決,不能拖延。
高危風險在危險程度上僅次于致命風險,它極有可能給項目帶來嚴重問題,也需要項目方解決。
獨家 | FTX創始人SBF:流動性挖礦并非完全可持續:金色財經現場報道,9月20日,由金色財經主辦,水橋區塊鏈總冠名的“共為·創業者大會”在廈門舉辦。金色財經CEO安鑫鑫大會現場視頻連線FTX創始人SBF。連線過程中SBF表示,對于流動性挖礦,我認為這并非完全可持續,因為它的價值從發行起到現在在不斷地下降,這個價值下降會導致管理的缺失,我們需要再等一等,目前不能給出很確切的回答。[2020/9/20]
中度風險相較于高危風險等級又次一級,它有可能給項目帶來潛在問題,最終還是要項目方解決。
低風險是所有風險中級別最低的,通常它表現為一些細節問題、警告信息等,暫時來說這個等級的問題可以不用解決,但項目方最后在未來某個新版本中解決這類問題。
Fairyproof Tech在審計合約的過程中,對上述四個等級的風險都會進行嚴格的排查并密切和項目方合作,重點督促并要求項目方必須解決致命風險和高危風險,并對中度風險和低風險給出詳實地反饋和改進計劃,不過我們在審計報告中關于如何描述上述四個等級的風險經歷了一個演變過程。
獨家 | Bakkt期貨合約數據一覽:金色財經報道,Bakkt Volume Bot數據顯示,6月8日,Bakkt比特幣月度期貨合約日交易額為1165萬美元,同比下跌17%,未平倉合約量為1326萬美元,同比持平。[2020/6/9]
之所以我們在報告描述中有這個演變過程是和Fairyproof Tech的審計方法及流程密切相關的。Fairyproof Tech的審計過程不僅是我們的工程師自己審閱代碼的過程,更是我們工程師與項目方深度交流,密切合作的過程。
Fairyproof Tech會和每個合約項目方進行多個來回的交流及互動。每一次我們審完代碼都會給項目方羅列所有的風險并給出整改建議。當項目方拿到我們的建議后需要對我們的建議給出反饋及修改結果。然后我們再對項目方修改過的合約進行重新審計。
獨家 | 李煉炫:規范儲備資產的經營管理 更利于Libra發展:針對“Libra白皮書刪除將利息用于分紅給初期投資者的內容”一事,金色財經對OKEx研究部高級研究員李煉炫進行了專訪。李煉炫指出:(1)Libra刪除關于分紅內容我認為是好事,眾所周知,Libra的發行和兌換制度本質上是貨幣局制度,要求有儲備資產作為基礎,對于儲備資產的第一目標應該是保值和安全,而非通過儲備資產投資獲利;刪除分紅內容有利于Libra正確處理儲備資產的投資管理問題。
(2)刪除分紅內容,從我個人的觀點看,原因有兩點:一是減輕監管審查壓力,眾所周知,目前Libra面臨監管審查的壓力很大;關于分紅的描述,可能會讓監管機構認為,Libra項目的真實目的是假借Libra發行之名集資,隨后投資獲利,刪除分紅內容有利于消除監管機構關于此方面的憂慮; 二是有利于規范儲備資產的管理,因為在前面提過,儲備資產的首要目標是安全、保值,分紅意味著要進行高風險投資,影響Libra的穩定;
(3)這確實是一積極行為,不過可能會減少初始投資者的投資熱情,但從長期來看,規范了儲備資產的經營管理范圍,更有利于Libra的未來發展。[2019/12/13]
通過這樣遞進、深入、多次地審計,最終我們才出具一份完整的報告。
獨家 | 以太坊硬分叉負責人Afri:“寧靜”預計將于明年第一季度到來 ?:以太坊君士坦丁堡硬分叉負責人Afri 5chdn在接受金色財經采訪時表示:“在君士坦丁堡硬分叉過后,預計將于今年10月份左右進行下一步的伊斯坦布爾硬分叉,其中可能加入ProgPoW以及State Rent等機制,‘寧靜’信標鏈及PoS機制(不包括Sharding)預計將于2020年第一季度實現,并在接下來的幾個月內產生第一批測試網絡。”[2019/1/10]
在這個過程中,我們實際上審閱了項目方一路修訂過程中的所有合約版本,并且會記錄所有這些版本中出現的所有風險。
對此,在我們早期的報告中,我們會將審計過程中所有記錄的風險無一例外地羅列,這其中就包括致命風險和高危風險。我們會要求所有被審計的項目方嚴格改進代碼移除這兩類風險,并會在所羅列的這兩類風險后面備注項目方的改進方案和結果,項目方不消除這兩類風險,我們是不會出具報告的。
但是我們發現很多讀者在讀這樣描述的報告時會產生兩個問題:
一是用戶往往不注意看項目方對致命風險和高危風險的處理,誤認為項目方的合約對存在的問題置之不理,由此判斷項目為高風險。
二是當用戶拿到這份冗長的報告時,沒有耐心看完,如果不仔細讀,看不出哪些問題是已經處理,哪些問題是待處理的,從而導致對項目產生更大的疑惑。
根據讀者的上述反饋,我們逐步改進了報告的撰寫方式如下:
一是對致命風險及高危風險不解決的項目,我們不出具報告;對中度風險和低風險無知悉、不反饋的項目我們不出具報告。
二是如果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組織、鏈上數據存儲、去中心化交易所等項目, 并參與了多個項目的安全審計工作,在此基礎上基于團隊豐富的經驗構建了完善的漏洞追蹤及安全防范系統。
Tags:PROTECHECHTECTransmute ProtocolTycoonFintechhallechainblockchaintechnology
本文由歐易OKEX出品,授權金色財經首發。 百度Apollo首發 “Apollo 001”系列紀念數字藏品:金色財經報道,據百度Apollo智能駕駛官方公眾號,百度Apollo全網首發首款 “A.
1900/1/1 0:00:00DeFi數據 1.DeFi總市值:880億美元 市值前十幣種排名數據來源DeFiboxDeFi總市值數據來源:Coingecko2.過去24小時去中心化交易所的交易量:25.
1900/1/1 0:00:003月19日,美國合規加密貨幣交易所巨頭Coinbase與CFTC(美國商品期貨交易委員會)就不當報告交易量和“自我交易”的指控達成和解,被罰款650萬美元。同時,公司宣布將推遲到4月份上市.
1900/1/1 0:00:004月6日,開放性網絡 NEAR Protocol宣布以太坊跨鏈彩虹橋已正式上線,所有 ERC 20 代幣都可以在 NEAR 和以太坊之間實現無縫轉移.
1900/1/1 0:00:00從比特幣誕生的那一天起,區塊鏈這個詞就和“顛覆性”“革命性”“新的生產方式”“空中樓閣”“騙局”等相互間截然相反的評價聯系在一起.
1900/1/1 0:00:00前兩天與?個 MakerDAO 早期?持者喝酒,?佬解答了我?個?直沒想明?的問題,?融機構的能?應該是創造信?,優化資?配置,但像 MakerDAO 這種超額質押,更接近于典當鋪的形式.
1900/1/1 0:00:00