比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

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

Author:

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

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

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

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

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

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

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

獨家 | 孔劍平:云算力可能是用戶通向分布式計算世界的平臺:2020年5月23日,在由百團大戰、節點咨詢、金色財經主辦,萊比特、算力360聯合主辦的百團大戰礦業峰會·豐水期之戰上,嘉楠科技聯席董事長孔劍平發言指出:礦業現在還是處于紅利期,更合規的電力資源,更高性能的計算設備依然是發展趨勢。未來云算力會有很大的發展前景,當下他降低了普通用戶進入挖礦行業的成本,未來云算力可能是用戶通向分布式計算世界的平臺,因為那個時候的挖礦形態會更多,除了現有計算數字貨幣,還會有分布式算力共享,存儲共享等,結合未來的人工智能時代,新的數字社會形態下,機會也會更多,當然過程也許也會很漫長![2020/5/26]

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

獨家 | 加密貨幣市值前十幣種全線上漲 XTZ領漲:金色財經數據顯示,截止當前,加密貨幣市值前十幣種全線上漲。近24小時漲跌情況分別為:BTC(10132.47美元,+4.83%)、ETH(280.49美元,+5.87%)、XRP(0.2972美元,+4.25%)、BCH(417.39美元,+2.69%)、BSV(308.86美元,+0.84%)、LTC(76.84美元,+5.29%)、USDT(1.00美元,+0.23%)、EOS(4.57美元,+5.20%)、BNB(23.99美元,+3.08%)、XTZ(3.42美元,+9.82%)。[2020/2/19]

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

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

獨家 | 極豆資本合伙人王秦:以太坊仍在市場需求上占最高位:針對近期以太坊價格跳水的現象,金色財經就此事獨家采訪到極豆資本合伙人王秦,在關于“以太坊暴跌是否會影響其通證地位”這一問題上,他表示:從項目募資角度來講,以太坊近期的波動肯定會影響整體的估值,所以硅谷的項目以及其他優質項目都會選擇用比特幣或者USDT。從技術角度分析,目前火熱的幣改依然是用以太坊技術來做區塊鏈的發展。所以在市場的需求上,以太坊還是占位最高的。[2018/8/22]

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

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

獨家 | 陳云峰:美國后續或將出臺加密貨幣相應的監管指引:最近,Coinbase表示,金融業監管局已經批準Coinbase收購Keystone Capital、Venovate Marketlpace和Digital Wealth LLC。這些收購動作將使Coinbase提供被視為證券的加密貨幣,并將其業務置于聯邦政府的監管之下。對此,中倫文德律師事務所高級合伙人陳云峰指出:Coinbase收購的三家企業都是有資質的持牌機構,收購之后,Coinbase就可以受到SEC的監管,另外,本次收購也是Coinbase與SEC充分溝通的結果。但對于缺乏監管環境的地區,這樣的事情可能行不通,另外,欲效仿者本身也要在調研之后再決定這樣的舉動是否符合自身商業布局。

美國對于加密貨幣的監管態度比較開放,SEC后續同意證券性質加密貨幣的做法首先是在全球加密貨幣及區塊鏈行業中的戰略布局;其次是出于加密貨幣對于全球經濟的影響正逐漸顯現的因素考慮。

目前,大多數的國家對于加密貨幣交易仍無明確監管政策,而美國率先將加密貨幣納入證券監管領域,表明其對于加密貨幣的監管立場,后續或將同時出臺相應的監管指引。[2018/7/19]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

謝謝

------------------------------------------------------------------

作者:

靈蹤安全CEO譚粵飛

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

關于靈蹤安全:

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

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

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

Tags:ITHHUB區塊鏈以太坊LITHO價格Hubble Protocol區塊鏈存證流程圖以太坊官網公告

幣安app官方下載最新版
關于Hotcoin(熱幣)開放SAND充值交易的公告_SAND

尊敬的用戶:Hotcoin將于(GMT8)2021年3月30日18:00開放SAND/USDT交易,3月31日18:00開放SAND提現業務,現已開放充值.

1900/1/1 0:00:00
Gate.io投票上幣空投福利第102期—OVR (OVR)已開啟_OVR

3月29日12:00—4月5日12:00我們將開啟OVR(OVR)超級空投福利,投票活動今日開始,$15,000美元OVR等你來拿!新用戶請點擊注冊Gate.io并參與活動.

1900/1/1 0:00:00
谷燕西:對波卡測試環境插槽競拍勝出項目的思考_KILT

在千呼萬喚始出來之后,波卡的插槽競拍終于開始了。現在剛剛開始的是它的測試環境Rococo。這只是一個進行測試的競拍環境,而不是采用真金白銀進行競拍.

1900/1/1 0:00:00
以史為鑒 美國政府會否頒布比特幣禁令?_加密貨幣

3月15日,印度擬提出一項法律禁止加密貨幣,部分市場人士猜測,美國政府會不會效仿印度政府頒布對比特幣等加密貨幣的禁令;橋水基金創始人瑞·達利歐表示,比特幣可能被宣布非法.

1900/1/1 0:00:00
Gate.io 將上線 Berry Data(BRY) 交易的公告_GATE

Gate.io將于2021年3月31日14:00上線BerryData(BRY)交易。BerryData是BSC上一個透明的,經過社區驗證的價格預告片.

1900/1/1 0:00:00
Gate.io 將上線 Axie Infinity(AXS) 交易的公告_Gate.io

Gate.io將于2021年3月30日13:00上線AxieInfinity(AXS)交易。AxieInfinityShards是將所有Axie社區成員綁定在一起的粘合劑.

1900/1/1 0:00:00
ads