加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads
首頁 > 火幣APP > Info

首發 | 智能合約的審計報告有什么內容?又該如何去審讀_區塊鏈:區塊鏈幣在中國合法嗎

Author:

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

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

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

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

百度Apollo首發 “Apollo 001”系列紀念數字藏品:金色財經報道,據百度Apollo智能駕駛官方公眾號,百度Apollo全網首發首款 “Apollo 001”系列紀念數字藏品,以百度汽車機器人為主體形象,每款對應一個百度Apollo自動駕駛重要里程碑事件。據悉,該數字藏品將于2022年7月8日 09:55發布汽車機器人家族全家福空投款。[2022/7/7 1:58:19]

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

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

LBANK藍貝殼于3月22日18:00首發 DORA,開放USDT交易:據官方公告,3月22日18:00,LBANK藍貝殼首發DORA(Dora Factory),開放USDT交易,現已開放充值。

資料顯示,Dora Factory 是基于波卡的 DAO 即服務基礎設施,基于 Substrate 的開放、可編程的鏈上治理協議平臺,為新一代去中心化組織和開發者提供二次方投票、曲線拍賣、Bounty 激勵、跨鏈資產管理等可插拔的治理功能。同時,開發者可以向這個 DAO 即服務平臺提交新的治理模塊,并獲得持續的激勵。[2021/3/22 19:07:06]

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

首發 | imKey正式支持Filecoin,成為首批Filecoin硬件錢包:12月1日,隨著imToken2.7.2版本上線,imKey同步支持Filecoin,成為業內首批正式支持FIL的硬件錢包。Filecoin作為imKey多鏈支持的優先級項目之一,成為繼BTC、ETH、EOS和COSMOS四條公鏈后的第五條公鏈。

據悉,imKey團隊已在Q4全面啟動多鏈支持計劃,計劃實現imToken已經支持的所有公鏈項目,本次imKey升級更新,無需更換硬件,不涉及固件升級,通過應用(Applet)自動升級,即可實現imKey對Filecoin的支持及FIL的代幣管理。[2020/12/2 22:52:32]

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

首發 | 區塊鏈技術及軟件安全實戰基地正式成立:金色財經報道,今日,中軟協區塊鏈分會、人民大學、菏澤市局相關部門聯合共建的區塊鏈技術及軟件安全實戰基地正式成立。同時聘任中軟協區塊鏈分會副秘書長宋愛陸為區塊鏈技術及軟件安全實戰基地特別專家。

區塊鏈技術及軟件安全實戰基地主要涉及領域為:非法數字貨幣交易與洗錢、區塊鏈傳銷與電信詐騙、網絡賭博、四方支付、冒用商標注冊等,聯合社會治理、城市安全、前沿技術領域的行業專家,進行警協合作。

據公開報道,近期菏澤市下屬機關剛破獲一起特大電信網絡詐騙案,打掉多個涉嫌以網貸和投資“比特幣”為名的詐騙團伙,抓獲犯罪嫌疑人83名,扣押凍結涉案資金2700萬元。[2020/7/21]

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

首發 | 百度推動246家博物館線上藏品上鏈:金色財經訊,近日,百度超級鏈聯合百度百科,基于區塊鏈技術創建 “文博藝術鏈”,推動百科博物館計劃中的246家博物館線上藏品上鏈。基于“文博藝術鏈”,百度將與博物館共同推動線上藏品版權的確權與維護,同時探索線上藏品版權數字化交易方式,為合作的博物館提供更全面的服務和更多的權益。據介紹,此項目將分階段進行,一期將完成線上藏品的入鏈確權,為每一件藏品生產專屬的版權存證證書。讓每一名用戶可以在百度百科博物館計劃的PC端和WAP端的藏品頁查看證書。后續,百度還將推動AI與區塊鏈技術在文博領域的結合應用,用來保障上鏈數據與藏品相匹配,為后續進行藏品圖像版權數字化交易奠定基礎。[2019/1/30]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

作者:

靈蹤安全CEO?譚粵飛

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

關于靈蹤安全:

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

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

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

Tags:區塊鏈FILAPOLLOPOLL區塊鏈幣在中國合法嗎filecoin幣最新消息ApollosAPOLLO價格

火幣APP
“埃隆效應”是什么,它能讓比特幣早期投資者減少拋售嗎?_比特幣:加密貨幣未來前景分析

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

1900/1/1 0:00:00
灰度云礦日報 | 03-30 全球比特幣ATM達17299臺_比特幣:以太坊

2021年3月30日星期二 一、灰度持倉 二、全網算力趨勢 三、礦業動態 1.以太坊2.0合約余額新增3872ETH數據顯示,截至上午10時,以太坊2.0存款合約地址已收到360.78萬ETH.

1900/1/1 0:00:00
虎符將于3月30日10:00正式上線GFX(GamyFi),10,000 USDT等你來領

尊敬的虎符用戶, 虎符將于2021年03月30日10:30(UTC8)重磅上線GFX/USDT交易對。充值已開啟,提現將于2021年03月31日10:00(UTC8)開啟.

1900/1/1 0:00:00
NFT交易平臺ShardingDAO將于明日啟動第二階段挖礦合約升級_NFT:SPUNK Vault (NFTX)

3月30日消息,集NFT、AMM和DAO于一體的NFT交易平臺ShardingDAO發推稱,明天將啟動第二階段挖礦的合約升級,這不會對用戶的前端頁面產生任何影響.

1900/1/1 0:00:00
Gate.io 將上線 Syntropy(NOIA) 交易的公告_GAT:HTT

Gate.io將于2021年3月30日14:00上線Syntropy(NOIA)交易。Syntropy將公共Internet轉變為安全的,以用戶為中心的Internet,其中內置了加密和優化的性.

1900/1/1 0:00:00
老李解幣:3.30日午間多單策略再次完美止盈穩健操作持續獲利_比特幣:ETH

專業獨立客觀審慎,參與實戰交易,具有豐富臨盤經驗。團隊長期專注指導以太坊、比特幣,擅長趨勢交易,對資金規劃、倉位管理及風險控制有豐富經驗,準確率長期穩定在80%,歡迎免費實時跟單體驗,不額外收取.

1900/1/1 0:00:00
ads