本文由“Fairyproof Tech”原創,授權“金色財經”獨家首發,轉載請著名出處。
在一篇審計報告中,用戶如果希望詳細了解被審計合約中出現的問題和風險,最需要閱讀的就是對這些風險的詳細描述了。在Fairyproof Tech的審計報告中,這部分內容就是第11章“問題詳述”。
在這一章,我們會按照合約文件的名,羅列每個合約文件中出現的所有風險問題。對每個風險問題,我們會給出問題的標題、該問題的風險等級、問題所在的出處、對問題的詳細描述、Fairyproof Tech對解決問題給出的修改建議、項目方的反饋。?
問題的標題就是我們對一個問題直白、簡介地概述性的總結。
獨家 | 鏈上交易量較前日上升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]
在標題后,我們著名此問題是致命風險、高危風險、中度風險還是低風險。
接下來我們就會指出這個問題具體出現在某個合約文件的第幾行。如果某些問題普遍、廣泛地存在于合約文件中,我們會明確標出問題的關鍵字,而不具體指出問題所在的行,這樣用戶能用關鍵字在文件中搜索出所有存在此問題的地點。
獨家 | RatingToken提示用戶警惕千面合約存在“假充值”漏洞:第三方大數據評級機構RatingToken最新數據顯示,2018年8月1日全球共新增1655個合約地址,其中388個為代幣型智能合約。RatingToken安全審計團隊發現,某以太坊個人地址使用同一份代碼創建了6個智能合約地址,包括SPR、FXS、RKG、STR、SFX和VER,這些合約地址被包裝成6個網站,類型包括社交和貿易合作等,疑似使用相同網站模板創建,且投資方信息無法對應。合約安全檢測得分為3.8分,且發現合約地址存在“假充值”漏洞,如果該類代幣上所交易,攻擊者可以利用漏洞向中心化交易所、錢包等服務平臺發起充值操作,如果服務平臺僅根據“TxReceipt Status ”是否是 “success”來判斷交易是否成功,則會觸發“假充值”行為,該創建者的動機可疑,RatingToken安全審計團隊將持續關注該類合約。如需查看更多智能合約檢測結果,請查看原文鏈接。[2018/8/2]
在羅列問題的出處后,我們會對問題進行詳細地描述,這包括問題是由什么原因造成的,它會帶來什么風險,這些風險隱患不解除會造成什么后果。
獨家 | 袁煜明:比特幣ETF若通過將加速大眾接受加密貨幣:近日,比特幣“小陽春”的到來給市場投資者以牛市的期盼。與此同時,有消息指出此次SEC放行比特幣ETF勝算大增,或將促進比特幣價格在短時間內沖破前高。對此,火幣研究院院長袁煜明在接受金色財經獨家采訪時表示,此前比特幣ETF被拒原因主要應該還是比特幣本身價格波動太大,并且有流動性不足的風險,另外可能也有對操縱市場的擔憂。這一次這些風險還是存在,只不過隨著監管的規范可能風險在減小,但是結果誰也說不準。比特幣ETF若通過批準,首先會降低比特幣交易的門檻,為比特幣交易市場帶來大量的資金;第二個也會加快加密貨幣行業的發展,比如對資產托管有促進作用;第三個,ETF通過相當于告訴大眾官方已經認可了比特幣作為一種合法的資產類別,改變人們對加密貨幣監管風險的整體看法,這將加速大眾接受以比特幣為代表的加密貨幣。[2018/7/22]
我們對問題進行詳細描述一是為了讓項目方明晰問題的嚴重性,引起項目方的關注,并促使項目方改進;另一方面也是希望引起讀者的注意:他在使用這個應用或服務時,可能會遭遇什么風險甚至受到什么損失。這和我們平時在進行投資時,金融機構在我們作出最后決定前給我們看風險提示的目的是一樣的。
獨家 | 高澤龍:穩定、安全、可預測助力馬耳他成為交易所的首選之地:如今加密貨幣交易所幣安、OKEx雙雙落戶馬耳他,而馬耳他也成為交易所“新希望之地”,未來是不是會有更多的交易所進軍馬耳他,對此金色財經獨家采訪了國際區塊鏈與數字貨幣協會副會長高澤龍,他表示:“馬耳他能成為交易所首選之地,有很多原因。馬耳他是議會民主制度的共和國,也是受到國際社會尊重的中立國,馬耳他政府是利商(即親商)型政府,馬耳他擁有出色的信用評級,國際評級機構穆迪給予A3評級。而且其政府的目標就是把這座島國打造成國際性商務平臺,在經濟發展上樹立楷模,始終在歐盟處于前列。這座島國經商環境的穩定性、可預測性和安全性,使之在眾多的全球金融中心之中脫穎而出,成為歐洲一流金融中心。放眼全世界,能集成這么多優勢和利好的主權國家寥寥無幾,所以不難理解為什么幣安和OK都選擇馬耳他。”[2018/7/3]
我們給出問題的細節是指出問題,但更重要的還是解決問題,所以接下來我們就會給出Fairyproof Tech對這個問題所提出的修改建議。我們的修改建議會具體到代碼該怎么改,在哪一行改等這些細節。我們希望用這樣的細節讓項目方第一時間就能迅速、精準地定位問題并解決問題。
我們前面說過,我們希望通過對問題的詳細描述,闡明前因后果,引起項目方的高度重視,最終目的還是希望項目方盡量解決這些問題。所以我們在每個問題描述的最后專門留出一欄,叫做“項目方反饋”。這一欄就是記錄項目方對這個問題的態度及行動的。項目方有沒有對我們發現的問題引起關注、有沒有立刻修改或者即便暫時無法修改后續有沒有修改的計劃等都會被我們記錄在這一欄。
至此,我們對一個問題的詳細描述就結束了。
在這些細節中,我們會特別對三個細節用黑體字高亮標出,它們分別是:問題的標題、問題的風險等級和項目方的反饋。用更通俗的話來說就是:問題是什么?問題嚴重嗎?問題解決了嗎?
我們認為這三點是讀者在閱讀某個風險隱患的描述時需要關注的重中之重。
讀者需要注意的是,在Fairyproof Tech的報告中,除了第11章“問題詳述“之外,還有第12章”增強建議“。
第12章所給出的建議是我們從代碼可維護性、可讀性、抗風險性等諸多方面考察后,綜合給出的建議。項目方如果采納這些建議會整體提高代碼的質量、但如果由于條件限制暫時無法采納,也不會讓項目暴露在即時可能引發的風險中。
需要指出的是,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:比特幣TECECHTECH萊特幣相較于比特幣的優勢有CTECEther Techblockchaintechnology
“這些照片,人人都能復制,你告訴我這有什么價值?”這類話語是我和初識NFT的朋友聊天時,幾乎每次都被問起的。雖然這是一個簡單的問題,但是這么多人問的話,我就單獨寫一篇來解釋吧.
1900/1/1 0:00:00前面我們和大家介紹了Fairyproof Tech對風險等級的劃分,有讀者看了一定會好奇:每種風險分別都是什么樣的呢?在這篇文章里我們就每個等級的風險具體舉出一些案例來說明致命風險、高危風險、中.
1900/1/1 0:00:00新一代的互聯網是什么樣的?如何構建基于區塊鏈的Web3.0?4月7日14:00,金色財經請到FileStar技術負責人Moon做客「區塊鏈·世界志」直播間.
1900/1/1 0:00:00從比特幣誕生的那一天起,區塊鏈這個詞就和“顛覆性”“革命性”“新的生產方式”“空中樓閣”“騙局”等相互間截然相反的評價聯系在一起.
1900/1/1 0:00:00最近一個叫做Fei的穩定幣把以太坊的熱度再次推到了新高度。 自從Ampl誕生,算法穩定幣就成為了市場非常看好的一條賽道。但是由于Ampl的設計模型非常簡單.
1900/1/1 0:00:00NFT的火熱來到了一個十字路口。數字藝術家Beeple的NFT作品《Everydays: The First 5000 Days》以6930萬美元的價格出售,帶動NFT出圈,在減去拍賣收費和稅款.
1900/1/1 0:00:00