比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads

TEC:獨家 | Fairyproof Tech對風險的細節描述_SHROOM

Author:

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

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

在一篇審計報告中,用戶如果希望詳細了解被審計合約中出現的問題和風險,最需要閱讀的就是對這些風險的詳細描述了。在Fairyproof Tech的審計報告中,這部分內容就是第11章“問題詳述”。

在這一章,我們會按照合約文件的名,羅列每個合約文件中出現的所有風險問題。對每個風險問題,我們會給出問題的標題、該問題的風險等級、問題所在的出處、對問題的詳細描述、Fairyproof Tech對解決問題給出的修改建議、項目方的反饋。?

問題的標題就是我們對一個問題直白、簡介地概述性的總結。

獨家 | 比特幣年化期現價差為6.64% 市場情緒指數為“樂觀”:金色財經報道,據同伴客數據顯示,9月21日(格林威治標準0時)比特幣年化期現價差為6.64%,較前一日下跌0.09%,市場情緒指數為“樂觀”。

指數參考:>20% 極度牛市;10%~20% 牛市;5%~10% 樂觀;2%~5% 謹慎樂觀;0~2% 謹慎;-5%~0 謹慎悲觀;-10%~-5% 悲觀;-20%~-10%熊市;<-20%:極度熊市[2020/9/21]

在標題后,我們著名此問題是致命風險、高危風險、中度風險還是低風險。

接下來我們就會指出這個問題具體出現在某個合約文件的第幾行。如果某些問題普遍、廣泛地存在于合約文件中,我們會明確標出問題的關鍵字,而不具體指出問題所在的行,這樣用戶能用關鍵字在文件中搜索出所有存在此問題的地點。

獨家 | Bakkt期貨合約數據一覽:金色財經報道,Bakkt Volume Bot數據顯示,4月29日,Bakkt比特幣月度期貨合約單日交易額為2488萬美元,環比上升130%,未平倉合約量為851萬美元,環比上升22%。[2020/4/30]

在羅列問題的出處后,我們會對問題進行詳細地描述,這包括問題是由什么原因造成的,它會帶來什么風險,這些風險隱患不解除會造成什么后果。

我們對問題進行詳細描述一是為了讓項目方明晰問題的嚴重性,引起項目方的關注,并促使項目方改進;另一方面也是希望引起讀者的注意:他在使用這個應用或服務時,可能會遭遇什么風險甚至受到什么損失。這和我們平時在進行投資時,金融機構在我們作出最后決定前給我們看風險提示的目的是一樣的。

獨家 | 金色財經2月28日挖礦收益數據播報:金色財經報道,據印比特數據顯示,按照BTC參考價格61600元、電價0.38元/kWh計算,當前在售主流BTC礦機的市場價格及回本周期為:神馬M20S-68T(全新現貨12100元,308天回本)、芯動T3+-57T(全新現貨9500元,367天回本)、阿瓦隆1066-50T(全新現貨5900元,273天回本)、螞蟻S17+-67T(3月份期貨12800元,294天回本)。[2020/2/28]

我們給出問題的細節是指出問題,但更重要的還是解決問題,所以接下來我們就會給出Fairyproof Tech對這個問題所提出的修改建議。我們的修改建議會具體到代碼該怎么改,在哪一行改等這些細節。我們希望用這樣的細節讓項目方第一時間就能迅速、精準地定位問題并解決問題。

獨家 | 匿名貨幣板塊上漲3.93% 42幣種5漲23跌14平:金色財經報道,據非小號數據顯示,今日匿名貨幣板塊下跌8.87%,42幣種5漲23跌14平。漲幅前三分別為:ZCL(+12.67%)、DSR(+4.16%)、XUN(+2.22%);跌幅前三分別為:VDS(-29.50%)、BHC(-20.73%)、TPAY(-13.44%)。[2020/2/26]

我們前面說過,我們希望通過對問題的詳細描述,闡明前因后果,引起項目方的高度重視,最終目的還是希望項目方盡量解決這些問題。所以我們在每個問題描述的最后專門留出一欄,叫做“項目方反饋”。這一欄就是記錄項目方對這個問題的態度及行動的。項目方有沒有對我們發現的問題引起關注、有沒有立刻修改或者即便暫時無法修改后續有沒有修改的計劃等都會被我們記錄在這一欄。

至此,我們對一個問題的詳細描述就結束了。

在這些細節中,我們會特別對三個細節用黑體字高亮標出,它們分別是:問題的標題、問題的風險等級和項目方的反饋。用更通俗的話來說就是:問題是什么?問題嚴重嗎?問題解決了嗎?

我們認為這三點是讀者在閱讀某個風險隱患的描述時需要關注的重中之重。

讀者需要注意的是,在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:TECECHTECHROOPIRATECOINTechshare TokenSHROOM

酷幣下載
FEI:新算法穩定幣Fei Protocol上線在即 這三重風險你必須了解_THEMOON幣

注:原文作者是Fei協議聯合創始人Brianna Montgomery。FEI是一種高度可擴展、去中心化并有儲備支持的穩定幣,它旨在滿足DeFi的需求,而無需依賴中心化的資產抵押品.

1900/1/1 0:00:00
RON:佟掌柜的朋友們·優質海外項目分享 杭州站即將開啟_Grayscale Bitcoin Trust tokenized stock FTX

時間:北京時間 4月12日15:00地點:杭州市上城區延安路WeWork 292號工聯CC7-8F主辦單位:節點咨詢CapitalN聯合主辦: FLLSwap  Saffro.

1900/1/1 0:00:00
BIT:春意盎然 合你有約 幣記Bitget中國行北京站活動圓滿落幕_bitstamp交易平臺盈利需要交稅么

3月27日,由幣記Bitget主辦、渾水公關承辦的春意盎然·合你有約丨幣記中國行活動在北京成功舉辦。本次活動是幣記B計劃·中國行繼成都站之后的第二站現場.

1900/1/1 0:00:00
OPT:Optimism主網推遲上線 它為何備受期待?_Thisoption

3月26日消息,以太坊最受矚目的擴容項目Optimism表示,主網「粗略估計」得到7月才能公開露面。Optimism原本計劃在3月底公布主網,它是以太坊Layer2的解決方案之一.

1900/1/1 0:00:00
FEI:Fei協議“被困” 或許可以從傳統金融中汲取靈感_Jade Protocol

導一個漏洞補丁只讓協議保留了部分功能,但價格仍然存在。周三的加密市場修正給FEI項目帶來了沉重的負擔,FEI項目是一個最新嘗試創建算法的穩定幣,在面對市場動蕩方面將保持穩定.

1900/1/1 0:00:00
IOT:讀懂區塊鏈物聯網設計邏輯:從這 7 個項目開始_加密貨幣

分析7個加密貨幣物聯網項目的結構之后,會發現有明顯的特點和分類方式。物聯網技術與加密貨幣(區塊鏈)技術的融合,承載了很多“互聯網遺留問題”的解決預期。正如數據隱私、可信計算等.

1900/1/1 0:00:00
ads