比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads
首頁 > FTT > Info

區塊鏈:首發 | 智能合約的審計報告有什么內容?又該如何去審讀_APP

Author:

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

本文由“靈蹤安全”原創,授權“金色財經”獨家首發,轉載請注明出處。

一個數字貨幣、去中心化應用或服務和所有的商品一樣都有它的用戶,因此用戶對它也有一個最基本、最底線的要求----那就是質量要過關。和傳統商品一樣,數字貨幣、DAPP的質量如何不能自說自話,還需要用戶或第三方機構對其進行檢測。但和普通商品不同的是,這個商品一旦被用了,發現質量不行退貨都沒用,因為它可能已經對用戶造成了經濟上的損失。所以在區塊鏈領域,對DAPP質量的檢測就必須交給第三方審計機構在產品正式上線前先嚴格把關。而這個嚴格把關的檢測過程最后所形成的結果就是我們常說的智能合約的審計報告。

動態 | 可信教育數字身份在廣州白云區首發 采用區塊鏈等技術:12月25日,可信教育數字身份(教育卡)廣東省應用試點首發儀式與應用研討在廣州市白云區舉行。

據介紹,可信教育數字身份融合采用國產密碼、區塊鏈等核心技術,創新簽發“云計算、邊緣計算、移動計算”網絡環境下的一體化數字身份,實現一體化密鑰管理,構建“可信教育身份鏈”。(中國新聞網)[2019/12/25]

一份智能合約的審計報告對審計機構來說相當于一本書的讀后感,這本“書”是一套智能合約的源代碼;而對讀者尤其是合約的使用者來說又相當于一份“質量檢測報告”。

審計報告的這種雙重角色決定了它的作用就像是用戶和DAPP之間的一個橋梁,這個橋梁的制造者就是審計公司。這個橋造得好不好一方面決定了用戶能不能很好、很準確地把握這個DAPP的質量,放心地使用它;另一方面也決定了這個DAPP能不能走向更廣大的用戶,達到它的理想市場狀況。

首發 | 劉堯:百度區塊鏈推出天鏈平臺賦能鏈上業務:12月20日,由CSDN主辦的“2019中國區塊鏈開發者大會”12月20日在北京舉行。百度智能云區塊鏈產品負責人劉堯以《企業區塊鏈賦能產業創新落地》為主題進行了演講,他指出:2020年將是區塊鏈企業落地的元年,為了支持中國區塊鏈的產業落地,百度將區塊鏈進行平臺化戰略升級,依托百度智能云推出天鏈平臺,就是要賦能360行的鏈上業務創新落地。[2019/12/20]

所以一份審計報告一定要極盡所能的客觀公正,如實反映審計機構看到的合約的真實“質量”,并羅列出所有的問題。

審計公司除了要把被審計合約的“讀后感”完整、真實地展現出來,還要想想怎么能讓讀者尤其是絕大多數非專業領域的讀者更容易地讀懂這份報告、很準確地把握這份報告的精髓和精華。

首發 | 螞蟻礦機S17性能曝光 采用全新散熱技術及全局優化定制方案:金色財經訊,日前,比特大陸即將發布的螞蟻礦機S17性能曝光。據螞蟻礦機S17產品經理朋友圈稱,新品將采用新一代散熱技術及全局優化定制方案。據了解,該散熱技術可能是指芯片的封裝技術,也有可能是機器的散熱結構設計。至于S17產品“全局優化定制”方案未有細節透露。有聲音評價,這或許是為決戰豐水期做出的準備。[2019/3/22]

所以一份審計報告還要盡可能地讓讀者讀得懂、抓到重點、讀到精華。

既然一份報告既要客觀公正、準確詳實,又要通俗易懂、清晰明了,所以我們在寫一份審計報告時采取了提綱挈領、層層展開的方式。

所謂的提綱挈領就是用最簡單最概括性的語言把讀者最關注的重點和痛點首先寫出來,讓讀者直接從這部分內容看到整篇報告最重要、最精華的部分。所謂的層層展開就是讓讀者在讀完這部分內容后,如果還想更進一步了解審計機構的審計詳情以及被審計合約的詳細細節則可以隨著后續的章節一步步展開,進一步閱讀,進一步深入。

金色首發 EOS超級節點競選投票率達6.49%:金色財經數據播報,截止北京時間6月13日15:50,EOS投票率達6.49%。EOS引力區和EOS佳能作為兩個來自中國的超級節點競選團隊暫居第五和第六名。其中EOS引力區的得票總數為903萬,占比2.96%;EOS佳能的得票總數為877萬,占比2.87%。此前異軍突起的EOSflytomars暫居第17位,得票總數為630萬,占比2.07%。目前躋身前30名的超級節點競選團隊中,有八個團隊來自中國。[2018/6/13]

基于這個思路,我們對一份審計報告的內容布局就有了如下的安排:

我們的審計報告通常包含12章內容。

我們首先就會在第一章介紹所審計的合約文件,包括文件名、文件所能被公開查詢、訪問的位置、對文件內容的存證標識、審計機構的審計方式及流程、審計機構審計時所依賴的客觀材料及這些材料的出處、本審計報告的責任聲明、本次審計的最終結論。

IMEOS首發 EOS Go公布新增兩條復選條件 :據金色財經合作伙伴IMEOS報道:今日,EOS Go在 steemit上公布新增的兩條復選條件為:

1. 保證安全的計劃:候選節點是否在steemit上發布文章介紹該節點的安全方法和計劃,“安全方法”標準是向EOS選民展示安全最佳實踐知識和組織實施計劃的機會;

2. 立場:描述該節點分享通脹獎勵和/或向EOS代幣持有人派發股息的立場(候選節點在steemit發布)。主要闡述以下兩個問題:

該組織是否會出于任何原因向EOS令牌選民提供支付,包括BP選舉和社區建議?

該組織是否有書面的無票付款政策?如果是這樣,請提供一個鏈接。[2018/4/27]

對于絕大多數讀者而言,當他只關注被審計合約的最終質量和風險評估時,他可以只看這一章內容,而略掉后續章節。這一章也可以說是我們審計報告的精華和重點。

接下來的章節則主要就是對審計過程和更多審計細節的披露和展開。

我們會在第二章介紹我們的公司、官網、背景、業務范圍等。

第三章介紹被審計項目的應用及服務。

第四章介紹本審計報告所審計的合約的主要功能。

第四章和第三章是相輔相成缺一不可的。對于第三章很多讀者能夠理解它的存在必要,但對第四章,有些讀者不理解。實際上在我們所審計的一些項目中,存在這樣的問題:項目方所開發的項目是個龐大的應用,它涉及諸多功能,而項目方給我們所審計的合約僅僅只是這諸多功能中的一個或幾個。

舉個例子:通常一個去中心化交易所,它有通證交易的功能、提供流動性的功能、發行治理代幣及分發治理代幣的功能等。而則個交易所的項目方可能只給審計機構審查了提供流動性的功能和發行治理代幣的的功能。

所以第四章是對第三章的進一步說明和對審計范圍的進一步細化。

第五章介紹了審計機構在本次審計過程中具體做了什么工作。

第六章介紹了審計機構在審計過程中可能涉及審查的風險種類。

第七章介紹了審計機構對每一個羅列的風險進行的等級評定。這些等級通常分為:致命風險、高危風險、中度風險和低風險。

第八章介紹了審計機構在全面閱讀了項目代碼后根據項目的應用場景和功能特別關注的可能產生風險的領域和功能。

第九章羅列了根據風險等級,每個等級中審計機構所發現的風險數量。

第十章羅列了根據合約文件,每個文件中審計機構所發現的風險數量。

第十一章是第十章的細化,在第十章的基礎上對每個風險,詳細描述了這個風險的名稱、等級、產生的位置、風險描述、審計機構給出的修改建議以及項目方對此風險的回應。

第十二章是在第十一章的基礎上對項目方的進一步建議。這一章所羅列的不是風險,也不是項目方必須修改的問題,而是為了讓代碼有更好的可維護性、可讀性、可擴展性、抗風險性等特點審計機構額外提出的一些完善建議和質量提升建議。對此,項目方可采納也可不采納。

至此,一份審計報告就完成了。

作者:

靈蹤安全CEO?譚粵飛

美國弗吉尼亞理工大學(VirginiaTech,Blacksburg,VA,USA)工業工程碩士(Master)。曾任美國硅谷半導體公司AIBTInc軟件工程師,負責半導體設備程序的開發、負責與公司關鍵客戶---臺積電的全面技術對接和交流。自2011至今,從事嵌入式,互聯網及區塊鏈技術的研究,深圳大學《區塊鏈概論》課程教師,中山大學區塊鏈與智能中心客座研究員,廣東省金融創新研究會常務理事。擁有4項區塊鏈相關專利四項。

關于靈蹤安全:

靈蹤安全科技有限公司是一家專注區塊鏈生態安全的公司。靈蹤安全科技主要通過“代碼風險檢測+邏輯風險檢測“的一體化綜合方案服務了諸多新興知名項目。公司成立于2021年01月,團隊由一支擁有豐富智能合約編程經驗及網絡安全經驗的團隊創建。

團隊成員參與發起并提交了以太坊領域的多項標準草案,包括ERC-1646、ERC-2569、ERC-2794,其中ERC-2569被以太坊團隊正式收入。

團隊參與了多項以太坊項目的發起及構建,包括區塊鏈平臺、DAO組織、鏈上數據存儲、去中心化交易所等項目,并參與了多個項目的安全審計工作,在此基礎上基于團隊豐富的經驗構建了完善的漏洞追蹤及安全防范系統。

Tags:區塊鏈EOSAPPDAPP哪個不是區塊鏈特性EOSevenkraken官網app下載DAPPX價格

FTT
數字人:數字人民幣試點成果:1.5億紅包發放,1000萬人參與,50萬人使用_CBD幣

3月25日,發改委等多部門印發了《加快培育新型消費實施方案》,提出要加快數字人民幣的試點推廣,優先選擇部分新型消費活躍的城市進行試點,著力提高金融運行效率、降低金融交易成本.

1900/1/1 0:00:00
OIN:如何減少Gitcoin資助生態系統中掠奪行為?看看基于網絡科學的“指紋”的效用_COIN

原標題:《深度:社區共謀還是新興市場?——基于網絡科學的“指紋”在Gitcoin資助中的應用》》本文由DaniloLessaBernardineli、MichaelZargham和JeffEmm.

1900/1/1 0:00:00
NFT:律師解讀NFT:重災區?新戰場?_區塊鏈

作者:肖颯 最近,颯姐出圈玩奢侈品鑒定,NFT出圈成為藝術品新寵。颯姐當年讀書的時候,還因為選了著作權法方向而感到懊惱,畢業后創業時被某大佬懟了一句:你的合同文本,敢199塊賣給我,保證當天就全.

1900/1/1 0:00:00
NDR:Jules Urbach :RNDR如何成為引領NFT加密藝術浪潮的GPU計算平臺_RNDR幣

3月29日,在以《RNDR渲染網絡:引領NFT加密藝術浪潮的GPU計算平臺》為主題的AMA中,HuobiGlobalNFT板塊項目RNDRNetwork發起人JulesUrbach表示.

1900/1/1 0:00:00
比特幣:“埃隆效應”是什么,它能讓比特幣早期投資者減少拋售嗎?_加密貨幣市場還有未來嗎現在

自從2月份特斯拉正式進入加密貨幣市場后,埃隆·馬斯克似乎在許多方面影響著比特幣市場。以致于馬斯克的影響力被許多人稱為“埃隆效應”,在市場運作方面也發揮了重要作用.

1900/1/1 0:00:00
DOT:波卡先行網Kusama平行鏈或在幾天內上線,多鏈時代將至?_COCO

4月1日,在Polkadot&Friends北京場上,波卡創始人GavinWood表示,Kusama平行鏈或在幾天內上線.

1900/1/1 0:00:00
ads