本文由“靈蹤安全”原創,授權“金色財經”獨家首發,轉載請著名出處。
在一篇審計報告中,用戶如果希望詳細了解被審計合約中出現的問題和風險,最需要閱讀的就是對這些風險的詳細描述了。在靈蹤安全的審計報告中,這部分內容就是第11章“問題詳述”。
在這一章,我們會按照合約文件的名,羅列每個合約文件中出現的所有風險問題。對每個風險問題,我們會給出問題的標題、該問題的風險等級、問題所在的出處、對問題的詳細描述、靈蹤安全對解決問題給出的修改建議、項目方的反饋。?
問題的標題就是我們對一個問題直白、簡介地概述性的總結。
在標題后,我們著名此問題是致命風險、高危風險、中度風險還是低風險。
獨家 | BTC 24h 鏈上活躍度下降:據歐科云鏈OKLink數據顯示,BTC 24h鏈上活躍地址數總計969305,較前日下降3.67% ;鏈上交易量總計554319.62 BTC,較前日上升0.8% ;鏈上交易筆數總計316502,較前日下降12.22% ;BTC鏈上活躍度下降。
截至上午10時,BTC全網算力約為122.29EH/s,較前日下降2.31EH/s,全網算力呈下降趨勢。[2020/7/16]
接下來我們就會指出這個問題具體出現在某個合約文件的第幾行。如果某些問題普遍、廣泛地存在于合約文件中,我們會明確標出問題的關鍵字,而不具體指出問題所在的行,這樣用戶能用關鍵字在文件中搜索出所有存在此問題的地點。
獨家 | 近30天比特幣搜索指數整體同比上升76%:金色財經報道,百度指數數據顯示,近30天區塊鏈搜索指數整體日均值為3918,整體同比上升25%,移動同比上升24%;近30天比特幣搜索指數整體日均值為24094,整體同比上升77%,移動同比上升93%,近30天以太坊搜索指數整體日均值為4026,整體同比上升17%,移動同比上升24%。[2020/2/26]
在羅列問題的出處后,我們會對問題進行詳細地描述,這包括問題是由什么原因造成的,它會帶來什么風險,這些風險隱患不解除會造成什么后果。
我們對問題進行詳細描述一是為了讓項目方明晰問題的嚴重性,引起項目方的關注,并促使項目方改進;另一方面也是希望引起讀者的注意:他在使用這個應用或服務時,可能會遭遇什么風險甚至受到什么損失。這和我們平時在進行投資時,金融機構在我們作出最后決定前給我們看風險提示的目的是一樣的。
獨家 | Bakkt期貨合約數據一覽:金色財經報道,Bakkt Volume Bot數據顯示,2月25日,Bakkt比特幣月度期貨合約單日交易額為1418萬美元,環比下降27%;未平倉合約量為1171萬美元,環比下降2%。[2020/2/26]
我們給出問題的細節是指出問題,但更重要的還是解決問題,所以接下來我們就會給出靈蹤安全對這個問題所提出的修改建議。我們的修改建議會具體到代碼該怎么改,在哪一行改等這些細節。我們希望用這樣的細節讓項目方第一時間就能迅速、精準地定位問題并解決問題。
我們前面說過,我們希望通過對問題的詳細描述,闡明前因后果,引起項目方的高度重視,最終目的還是希望項目方盡量解決這些問題。所以我們在每個問題描述的最后專門留出一欄,叫做“項目方反饋”。這一欄就是記錄項目方對這個問題的態度及行動的。項目方有沒有對我們發現的問題引起關注、有沒有立刻修改或者即便暫時無法修改后續有沒有修改的計劃等都會被我們記錄在這一欄。
獨家 | 青獅鏈團隊律師:對于項目方來說合規性的要求成為剛需:今日,珠暉破獲一起特大網絡詐騙案,正是去年ICO上線即破發的英雄鏈,涉案金額達3億余元。就此事金色財經采訪了青獅鏈團隊的陳昊東律師和周誓超律師,他們表示,根據目前獲取的最新情況,機關是以涉嫌詐騙罪立案偵查的。
這是一個非常有積極影響的事件。因為涉及虛擬貨幣的詐騙案件相對傳統詐騙案件有一定”創新性”和”復雜性”。對于機關來說,面臨很多難點,比如項目主體設在海外,采用虛擬貨幣募集避開法幣渠道,機關在辦案過程中難以搜集證據等等。本次事件對整個虛擬貨幣市場產生了震懾作用,對采用虛假項目割韭菜的項目敲響了警鐘。
本次事件說明了各監管機構尤其是機關的介入進一步規范虛擬貨幣市場的意愿和決心。對于項目方來說,合規性的要求成為剛需,項目方無論是在項目宣傳、融資還是運作過程中必須嚴格合規,否則容易觸犯法律法規,尤其是刑法。對于投資人來說,是一種良性警示,對虛擬貨幣的參與也會趨于理性,避免盲從。[2019/4/23]
至此,我們對一個問題的詳細描述就結束了。
在這些細節中,我們會特別對三個細節用黑體字高亮標出,它們分別是:問題的標題、問題的風險等級和項目方的反饋。用更通俗的話來說就是:問題是什么?問題嚴重嗎?問題解決了嗎?
我們認為這三點是讀者在閱讀某個風險隱患的描述時需要關注的重中之重。
讀者需要注意的是,在靈蹤安全的報告中,除了第11章“問題詳述“之外,還有第12章”增強建議“。
第12章所給出的建議是我們從代碼可維護性、可讀性、抗風險性等諸多方面考察后,綜合給出的建議。項目方如果采納這些建議會整體提高代碼的質量、但如果由于條件限制暫時無法采納,也不會讓項目暴露在即時可能引發的風險中。
需要指出的是,靈蹤安全對風險等級的分類及描述是按照我們既往的經驗總結的。每個審計機構都會有自己的標準和定義,這些標準和定義很可能不盡相同。但我們認為最重要的還是所找出的問題是否會引發風險、引發的風險是否嚴重以及風險最終是否得到了妥善處理。這才是對問題處理的核心和根本。
作者:
靈蹤安全CEO譚粵飛
美國弗吉尼亞理工大學(VirginiaTech,Blacksburg,VA,USA)工業工程碩士(Master)。曾任美國硅谷半導體公司AIBTInc軟件工程師,負責底層控制系統的開發、設備制程的程序實現、算法的設計,并負責與臺積電的全面技術對接和交流。自2011至今,從事嵌入式,互聯網及區塊鏈技術的研究,深圳大學創業學院《區塊鏈概論》課程教師,中山大學區塊鏈與智能中心客座研究員,廣東省金融創新研究會常務理事。個人擁有4項區塊鏈相關專利、3本出版著作。
關于靈蹤安全:
靈蹤安全科技有限公司是一家專注區塊鏈生態安全的公司。靈蹤安全科技主要通過“代碼風險檢測邏輯風險檢測“的一體化綜合方案服務了諸多新興知名項目。公司成立于2021年01月,團隊由一支擁有豐富智能合約編程經驗及網絡安全經驗的團隊創建。
團隊成員參與發起并提交了以太坊領域的多項標準草案,包括ERC-1646、ERC-2569、ERC-2794,其中ERC-2569被以太坊團隊正式收入。
團隊參與了多項以太坊項目的發起及構建,包括區塊鏈平臺、DAO組織、鏈上數據存儲、去中心化交易所等項目,并參與了多個項目的安全審計工作,在此基礎上基于團隊豐富的經驗構建了完善的漏洞追蹤及安全防范系統。
Tags:區塊鏈BTC以太坊比特幣區塊鏈工程專業學什么課程比較好btc價格今日行情價格op幣價格跟隨以太坊價格走比特幣價格實時行情分析
你有沒有經歷過比特幣轉賬卡在等待狀態,無法得到確認而束手無策?當被卡在內存池時,如何驗證被卡住的BTC交易?跟著我們往下看,一起了解交易被卡住的原因和解決方案.
1900/1/1 0:00:00加入PolkaWorld社區,共建Web3.0!本文整理自波卡官方文檔?PolkadotWiki,主要是對于波卡驗證人和平行鏈相關問題的一些回答。本文由波卡第一中文社區PolkaWorld翻譯.
1900/1/1 0:00:00尊敬的ZT用戶: 為給用戶帶來更好的產品體驗,平臺將于2021年4月7日22:00期間進行紅包產品產品升級。升級期間紅包功能頁面暫時無法訪問或頁面報錯.
1900/1/1 0:00:00按照進化的觀點,排到第三名的應該是去中心化應用。 比特幣以太坊之后是誰? 根據DuneAnalytics的統計,截至3月21日,DeFi的獨立地址數已經達到了167.29萬個,根據DappRad.
1900/1/1 0:00:00據官方公告,互聯網企業第九城市今日宣布,已經完成了于今年3月31日和MaximGroupLLC簽定的股份及股權銷售協議交易.
1900/1/1 0:00:001.關注公眾號:道說區塊鏈2.后臺回復:電子書3.獲取《DeFi實戰投資方法論》電子書這段時間我時不時就會琢磨本輪牛市的后半場會如何發展,正好美國總統近來新出臺的基建計劃給了一點線索.
1900/1/1 0:00:00