以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads

獨家 | 審計報告怎么記錄審計文件的存證? 又該如何去審讀_ITH

Author:

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

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

 一份審計報告是對一套智能合約的“質量檢測報告”,那報告就要告訴用戶所審計的對象是誰。

 和普通的有形商品不同,智能合約這種特殊的商品是摸不著的,那怎么才能讓用戶知道它呢?

 區塊鏈領域的絕大多數項目包括鼎鼎大名的比特幣和以太坊都有一個共同的特點:它們的源代碼都是”開源”的。所謂的“開源”就是它們的代碼都是公開的,放在某個公開、所有人都可以訪問的網站上,任何人都可以看到它的內容。

 我們所審計的智能合約絕大多數也是這樣,它們都是開源的,放在一些知名的、供所有人存放文件的網站比如github等。

 如果我們所審計的智能合約是開源并且放在了github上,我們要讓用戶知道它、看到它的源代碼,就會在審計報告中列出合約所存放的github的網址。這就好比一件商品存進了一個大倉庫,存在倉庫中的某個庫房,我們要讓用戶能找到這件商品就要告訴用戶倉庫的地址和庫房的門牌號碼。存放合約的github網址就等于倉庫地址+門牌號碼。

獨家 | Curve流動性挖礦正式開始:據DappBirds DeFi Data專題數據顯示,Curve流動性挖礦正式開始,DeFi中鎖定資產總價值達60.14億美元,較昨日下降0.14%,其中Maker,Compound,Synthetix,Aave,InstaDApp分別以15.30億美元,9.12億美元,6.67億美元,5.30億美元,3.10億美元位列前五名[2020/8/14]

可是如果合約的編寫者(通常我們稱為項目方)在給審計機構審計時用的是放在github上的一套合約,但審計后尤其是項目上線后,用戶又修改了它的智能合約,我們怎么知道放在github上的合約就是審計時看到的合約而不是后來修改過或者其它“魚目混珠”的合約呢?

這就涉及到github這個倉庫的一個特性了。

當項目方往github中存放代碼時,github會給這次存放動作產生一個版本號。這就好比我們在比特幣、以太坊中申請一個新錢包時,這個錢包會有一個獨一無二的地址一樣,這個版本號也是唯一的。

獨家 | Bakkt期貨合約數據一覽:金色財經報道,Bakkt Volume Bot數據顯示,7月20日,Bakkt比特幣月度期貨合約日交易額為1561萬美元,同比上升55%,未平倉合約量為667萬美元,同比上升17%。[2020/7/21]

當項目方之后對任何文件有了任何改動:小到一個字的修改,大到文件的刪除、添加等,當把這些改動提交到github中,github又會給這次動作產生一個新的版本號。

所以github中的版本號就是對所存放的文件的一份唯一存證,它保證了這個版本號所對應的文件就是某時某刻放進倉庫中的文件,而不是之前或之后放進去的文件。

所以我們在審計報告中除了羅列被審計合約的github網址,還要羅列被審計合約在github中的版本號。

這兩個要素就保證了讀者看我們報告時能準確知道我們所審計的內容。

獨家 | 夏豐:礦機就是BTC的期權:在今晚由算力互聯主辦,金色財經獨家支持直播的2020礦業新勢力AMA上,針對“在你作為一名老礦工的角度看,怎么理解或者認知挖礦這個投資行為?”的問題,Spark Capital創始合伙人夏豐表示,對于挖礦這個行業,總所周知,礦機就是BTC的期權,無論什么樣的礦機型號,挖礦或者買幣本質上都是單方面的做多BTC,在成熟傳統金融市場里,任何單方面的多與空都是存在著無限風險的,況且當時行業并不成熟,所以對早期行業里的真正扎根在挖礦這件事情上的人,一定是存在著一些信仰的成分。[2020/2/26]

除了放在github上,還有的項目方在審計時已經把合約部署在區塊鏈網絡上了。由于智能合約一旦部署到區塊鏈網絡上,它就是無法篡改和撤銷的,因此智能合約所部署的區塊鏈地址也可以作為合約的存證地址。

獨家 | BTC24小時資金凈流出1.37億元:據AICoin數據顯示,24小時資金凈流入排名中ETH排名第一, 24小時凈流入3.57億元人民幣;LTC24小時資金凈流入排名第二,24小時凈流入1.85億元人民幣;SEELE24小時金凈流入排名第三,24小時凈流入1.63億元人民幣。ROAD 24小時資金凈流入排名第四,24小時資金凈流入1.63億元人民幣;PAX24小時資金凈流入排名第五,24小時資金凈流入1.54億元人民幣。BTC24小時資金凈流出1.37億元。[2020/2/10]

對這樣的合約,我們通常也會記錄下它在區塊鏈上的地址作為唯一存證。

我們前面說絕大多數項目的智能合約是開源的,這也就意味著還有一些項目的合約在審計時是未開源的,在這種情況下,我們怎么記錄這份合約的存證呢?

獨家 | 極豆資本合伙人李泳:礦機市場是算力的博弈 所有企業都不敢懈怠:針對目前礦機三大巨頭企業謀求上市一事,金色財經獨家采訪到極豆資本合伙人李泳,在關于“三大礦機企業集體謀求上市,您有何看法?”這一問題上,他表示:“即使三家企業上市,市場選擇還是會以礦機算力為主,像瑪雅、阿瓦隆、芯動、GMO等新的礦機企業新出的礦機算力很高,也備受關注。礦機制造業的戰場,就是一場算力的博弈,所有礦機企業都不敢有絲毫懈怠,一旦落后于時代的礦機和芯片技術的高速更新迭代,迎來的就是淘汰。任何一個行業都不是一成不變的,雖然比特大陸、嘉楠耘智與億邦國際目前壟斷了全球市場,但隨著幣價變化,礦機市場會涌現更多競爭者。它們在嘗試上一個臺階,但后來者也在全力沖刺,只要有市場需要,優質的礦機就一定能出線。”[2018/9/11]

我們會用SHA-256的值來標記合約文件的存證。

有些讀者尤其是數字貨幣的玩家看到“SHA-256”這個詞會覺得很眼熟:這不是數字貨幣加密算法中常用的一個技術嗎?

確實是這樣,更準確的說,它是一種經過“哈希函數”運算得出的值,這個值也被稱為“哈希值”,它有256位(bit)。

所謂的哈希函數又稱散列函數(英語:Hash Function),是一種從任何一種數據中創建小的數字“指紋”的方法。哈希函數把消息或數據壓縮成摘要,使數據量變小,將數據的格式固定下來。該函數將原有的數據打亂混合,重新創建一個結果叫做哈希值(hash value、hash code、hash sum或hash)。

我們為什么要用這個值來記錄合約文件的存證呢?因為一個SHA-256的值所對應的文件內容是唯一的。這就和上面我們用github中的版本號來保證github中的文件是唯一的一樣。

那我們怎么用這個值來記錄合約文件的存證呢?

我們自己編寫了一套這樣的工具,對所審計的每個合約文件的內容都用這個工具進行一次運算,所得到的值就是一個SHA-256的值。這個值就代表了我們所審計的文件內容的唯一。

我們會羅列每個文件及其所對應的SHA-256值,這就記錄了文件的存證。

當用戶或讀者要檢測他看到的合約文件是否是我們所審計的合約時,將他看到的文件用我們的工具計算一下,將所得出的SHA-256值與我們所得到的值進行比較,如果一樣就證明是,如果不一樣就證明不是。

所以總結起來說,我們會用github網址+版本號、區塊鏈地址或SHA-256值這三種方式中的一種或幾種來記錄文件的存證。

作者:

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:ITHHUB區塊鏈SHA秘銀幣mith還能起來嗎CryptHub區塊鏈幣圈是什么意思StarSharks

火必下載
對V神所提「正統性」一詞的探討_區塊鏈

Vitalik?在《正統性是最重要的稀缺資源》一文中提出了Legitimacy(正統性、合法性、認受性)這個概念,隨著對該概念的探討,我發現從現象入手來認識正統性是一條便捷的道路.

1900/1/1 0:00:00
解析降低以太坊 Gas 費的實踐及優劣勢_GAS

最近以太坊網絡經常擁堵,用戶為了盡快達成交易,會上調 Gas 費希望能優先被礦工打包,尤其是在交易有利可圖的時候.

1900/1/1 0:00:00
當你的BTC交易被“卡住”時 在發生什么?該怎么辦?_FTX

你有沒有經歷過比特幣轉賬卡在等待狀態,無法得到確認而束手無策?當被卡在內存池時(mempool),如何驗證被卡住的BTC交易?跟著我們往下看,一起了解交易被卡住的原因和解決方案.

1900/1/1 0:00:00
NFT技術棧:也許只有想象力才能束縛NFT?_NFT

一文詳解NFT技術棧及應用案例?在之前的文章中,我們闡述了NFT的概念及分類。在本文中,我們將進一步深入介紹NFT技術棧以及在這幾個月中發展不錯的一些應用案例.

1900/1/1 0:00:00
首發 | 隱私計算所帶來的與你我相關的科技變革_BOSON

本文LatticeX原創,授權金色財經首發。自2016年隱私計算(Privacy-preserving Computation)概念被提出以來,歷經五年的發展,在各國對數據隱私保護的相關法律法規.

1900/1/1 0:00:00
獨家 | Fairyproof Tech對風險的細節描述_TEC

本文由“Fairyproof Tech”原創,授權“金色財經”獨家首發,轉載請著名出處。在一篇審計報告中,用戶如果希望詳細了解被審計合約中出現的問題和風險,最需要閱讀的就是對這些風險的詳細描述了.

1900/1/1 0:00:00
ads