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

獨家 | 審計報告怎么記錄審計文件的存證? 又該如何去審讀_數字貨幣

Author:

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

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

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

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

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

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

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

獨家 | Compound鎖倉金額跌破6億美元 SNX位列DeFi Token總市值第二位:據DappBirds DeFi Data專題數據顯示,Compound鎖倉金額跌破6億美元,SNX持續強勢上漲,位列DeFi Token總市值第二位,DeFi中鎖定資產總價值達33.75億美元,較昨日下降1.03%,其中Maker,Compound,Synthetix,Aave,Curve分別以6.26億美元,5.79億美元,4.39億美元,4.28億美元,2.65億美元位列前五名;DeFi Token總市值98.31億美元,較昨日上漲1.74%。[2020/7/21]

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

獨家 | OKEx Research首席研究員:全球市場恐慌加劇導致比特幣暴跌:OKEx Research首席研究員William在接受金色財經獨家采訪時表示,比特幣從來不是避險資產,至少目前為止,它仍然是一個高波動的風險資產,其波動幅度冠絕全球。從宏觀的角度來看,在過去的十年間,受美聯儲量化寬松政策影響,美國聯邦基金利率在很長一段時間內處于接近零利率的位置,而歐洲甚至出現負利率的局面,全球流動性泛濫,這造成大量資金開始尋找高風險資產以獲取更高的收益。比特幣也因此受益,大量資金涌入其中,推高了比特幣價格。?

一般而言,傳統資本市場的漲跌不會影響數字貨幣市場,一是因為數字貨幣市場太小,更重要的是數字貨幣尚未納入全球機構投資者的資產配置池中。然而在今年,受疫情等黑天鵝沖擊,資本市場出現暴跌,隨著世界衛生組織宣布新冠“大流行”,美國政府宣布禁飛歐洲,市場恐慌加劇,投資者都變成了風險厭惡者,信奉現金為王,開始將手中的風險資產置換為短期流動性資產,市場流動性出現不足。流動性極具緊缺,即使在3月13日凌晨紐約聯儲釋放5000億美元的流動性,依然未能阻止市場殺跌。

在流動性緊缺異常嚴重的當下,比特幣作為波動率冠絕全球的高風險另類投資資產,資金自然會從中抽走以尋求更安全、流動性更好的資產,價格即出現暴跌。[2020/3/13]

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

獨家 | OK戰略副總裁徐坤:央行數字貨幣是對現有支付體系的補充:今日,金色財經獨家采訪OK戰略副總裁徐坤對于央行數字貨幣的看法,徐坤表示:支付體系是商業網絡的基石,牽一發而動全身。央行數字貨幣需要平衡的方面有很多,既要滿足高效、安全、穩定,還要注重易用性,這必然要求引入市場力量,通過競爭來優選出最可行的實施方案。

支付的基礎是賬戶體系與媒介,央行數字貨幣是對現有支付體系的補充,從賬戶互通、媒介流通的層面上,央行數字貨幣的運營離不開當前正在承擔支付清算功能的機構,包括商業銀行、支付企業等等,具體哪些機構會參與其中、參與的深度如何,一是看技術研發能力,二是看用戶運營能力。[2019/8/28]

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

獨家 | 陳九:以太坊價格縮水會造成項目無法正常推進:針對近期以太坊價格跳水的現象,金色財經就此事獨家采訪到陳九金服創始人兼CEO、Block VC創始合伙人陳九,他表示:“當下對于以太坊發行token和計劃在以太坊落地應用的團隊來說,無疑一塊是由于項目啟動和運營資金縮水嚴重,導致部分團隊項目無法正常向前推進,項目對主鏈性能如果要求比較高,也會受到很大影響。在投資方面,目前很多幣圈機構同仁最近都不投任何項目了”[2018/8/23]

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

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

獨家 | 亞洲區塊鏈中心創始人:歐盟各國間高協同度有助于產生優質區塊鏈項目:今日,在吉隆坡舉辦的歐亞區塊鏈中心論壇上,金色財經獨家專訪亞洲區塊鏈中心創始人Rex Yeap。他表示,之所以要進一步促進優質項目走向歐洲,是因為歐盟內各國協同合作程度較高,因此監管政策可以實現更大程度的多國協同,實現更加安全的監管。相對于其他地區較為獨立的行業環境,歐洲區塊鏈的特點是團隊、投資呈現多國化的“混合團隊”和“混合投資”,長久看有助于技術進步和更多優質項目的產生。[2018/7/21]

所以我們在審計報告中除了羅列被審計合約的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區塊鏈數字貨幣upbithoa金融資產交易所hub幣可靠嗎區塊鏈域名的用途數字貨幣交易app下載官網

fil幣價格今日行情
瑞波案最新進展:法官批準瑞波的取證動議申請_XRP

周二,法官批準了瑞波的一項取證動議申請,該申請要求SEC出示有關比特幣和以太坊的內部文件,這標志著瑞波方面的有利進展.

1900/1/1 0:00:00
ARK女股神:比特幣是16世紀以來第一個新的資產類別_WOO

資產管理公司ArkInvestment的首席執行官CathieWood根據比特幣供應量有限的特點和其需求增加的現狀,對比特幣的前景表示了看好.

1900/1/1 0:00:00
Eth2進展更新:信標鏈、測試網、會議、活動等_以太坊

首推 以太坊基金會發布針對信標鏈安全性和測試的提案請求(RFP)。 社論 DannyRyan希望不再使用eth1和eth2這兩個詞.

1900/1/1 0:00:00
NFT造夢師Gharegozlou:Dapper Labs背后的男人_SHO

RohamGharegozlou是DapperLabs的CEO,他于2018年組建了DapperLabs。 NBATopShot不是Gharegozlou首次嘗試NFT業務.

1900/1/1 0:00:00
Filecoin FIP-0014提案將于4月13日實施 FIL流通量將大幅增加?_FILE

據官方消息,Filecoin關于允許V1證明扇區最多擴展到540天的改進提案FIP-0014已獲得通過,將于4月13日6:00實施.

1900/1/1 0:00:00
觀點 | 原始無序MEV時代到來_ETH

設想一種情形:用戶在AMM類型的DEX上做交易,無論設置什么滑點,最終都會在你能接受的最差價格上成交。這可能是個對用戶來說很可怕的場景.

1900/1/1 0:00:00
ads