比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > BTC > Info

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

Author:

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

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

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

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

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

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

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

獨家 | 鏈上交易量較前日上升99.49%:據歐科云鏈OKLink數據顯示,BTC 24h鏈上活躍地址數總計839329,較前日上升3.85%;鏈上交易量總計836150.32BTC,較前日上升99.49%;鏈上交易筆數總計271271,較前日上升26.45%;BTC鏈上活躍度上升。

截至上午10時,全網算力約為91.33EH/s,較前日上升0.15EH/s,全網算力呈上升趨勢。[2020/5/26]

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

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

獨家 | 業內人士:路邊礦池可能由多個大礦工共同組建:金色財經報道,針對路邊礦池挺近算力排名前十而此前排名前十礦池算力均出現不同程度下滑現象,蜘蛛礦池對金色財經分析表示:“減半后每個礦池算力都有所減少,但昨天的全網算力卻沒有下降太多。btc.com數據顯示路邊礦池上周才開始爆塊。所以把分散的算力集中回路邊,導致其他礦池算力下降,但全網算力波動很小。”

針對路邊礦池的來源,F2Pool魚池的全球業務總監Thomas Heller?在推特進一步指出,這似乎是位于中國的礦池。Anicca Research推特回應Thomas Heller稱,估計是幾個大礦工聯手拿了年初的大機器訂單,先做私池,順手就開放了。

Dovey指出:路邊礦池空降,比特幣礦池算力前十,自帶6E算力。然后區塊簽名是“Buffett” 巴菲特,這真的是黑的太有水平了。全網算力沒有大漲,大概率是幾個手上算力很多的礦工自己聯合起來做的公池?

OKLink相關人士表示,私池的形式可能比較大,這么大算力有可能是礦機商自己的算力,路邊礦池實際是因為有人發現了較多的報快沒有播報方,追蹤coinbase后發現的,然后在GitHub上提了issue給BTC.com。lubian之前在coinbase上打的標簽是buffet,在區塊高度 629,755 之后改名為?Lubian.com。[2020/5/13]

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

獨家 | BTC全網合約賬戶占比最新統計:空頭占優:金色財經報道,據AICoin全網合約賬戶占比統計顯示,目前行情空頭占優,其中多頭占比為48.08%,空頭占比為51.92%。 主流合約交易所中,Huobi的多頭占比為48.10%,空頭占比為51.90%;OKEx的多頭占比為49.66%,空頭占比為50.34%;BitMex的多頭占比為46.34%,空頭占比為53.66%。[2020/2/16]

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

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

獨家 | 庫神錢包CEO袁大偉:減半行情可能還會再持續四個月:在今日的由庫神主辦,金色財經獨家直播的減半行情分享會上,對于“ZEC、DASH、BCH、BSV等幣最近瘋狂上漲,后面還會持續嗎?估計持續多久?支撐他們瘋漲的基礎(邏輯)是什么?”問題,庫神錢包CEO袁大偉表示關于減半行情,今年兩個多月的時間很多幣都已經漲了好幾倍,可以說非常的瘋狂。通過經驗來看,短期沖高之后,應該會有一個回調,回調之后,行情應該還會持續下去,主要是目前這個賺錢效應比較明顯,從走勢來看,估計可能還會再持續四個月的時間。目前漲的較多的概念幣,從上漲時間和上漲的方式來看,應該是有大的資金在進行運作。而且他們進行了這個充分的吸籌,然后借助減半的利好進行暴力拉升。目前沒有必要去追高這些幣,這些幣就算買了也需要等回調之后才能夠介入。所以這個上漲的基礎,還是比較強勁,主要是前期。主力的成本比較低,他們有比較大運作空間。[2020/2/14]

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

獨家 | 8家核查企業中 多家涉嫌代幣發行:金色財經獨家報道,今日,深圳市地方金融監督管理局發布《關于召開虛擬貨幣非法活動專項整治會議的通知》文件。金色財經查詢后發現,8家摸排核查的企業中,有多家涉及代幣發行。詳情如下:

深圳數字奇點科技有限公司:開設OTC業務,文件顯示該企業涉嫌開展虛擬貨幣交易所。

深圳開拍網科技有限公司:發行藝人券,可買賣交易,文件顯示該企業涉嫌開展代幣融資活動。

深圳行云數字網絡科技有限公司:發行MCC代幣(中文:行云幣)已上線交易所,文件顯示該企業涉嫌開展代幣融資活動。

深圳市愛譜軟件有限公司:發行UPB代幣,已上線交易所,文件顯示該企業涉嫌開展代幣融資活動。

深圳市互聯在線信息技術有限公司:成立公云互鏈,并在國外建立大型礦廠,文件顯示該企業涉嫌開展代幣融資活動。

深圳市無線微商技術有限公司:發行HOB(中文:和鉆),文件顯示該企業涉嫌開展代幣融資活動。

深圳市華商時代網絡科技有限公司:合作發行BST(中文:象鏈),已上線交易所,文件顯示該企業涉嫌開展代幣融資活動。

深圳市脈果兒網絡科技有限責任公司:收購VSC運營權,已上線交易所,文件顯示該企業涉嫌開展虛擬貨幣交易所。[2019/12/18]

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

除了放在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:HUBITH區塊鏈SHAHUBS幣mith幣最新消息區塊鏈最新應用YASHA幣

BTC
研報 | DEX的進擊之路——成長邏輯和未來推演_DEX

本報告由火幣區塊鏈研究院出品作者:盧軍、胥彤、許妙言、李慧、袁煜明 摘要: DEX已經崛起為DeFi世界最重要的基礎設施,自動做市商模式興起實現了DEX交易量爆發式增長.

1900/1/1 0:00:00
1年200倍、空降Top10 THETA究竟是什么來路?_THE

說起近期表現突出的那些“黑馬Token”,Theta可以算是其中一個。今年3月2日,ThetaNetwork官方曾在推特上宣布Theta主網3.0將于4月21日發布.

1900/1/1 0:00:00
教程 | 如何在NFT交易平臺Mintable上創建NFT?_NFT

日前,由NBA達拉斯獨行俠隊老板、億萬富翁馬克·庫班投資的NFT交易平臺Mintable宣布與以太坊Layer2解決方案ImmutableX達成合作,將推出完全不需要Gas費的NFT鑄造方式.

1900/1/1 0:00:00
超11萬個地址認領寵物蛋,Polkamon NFT火了_POL

近年來動漫藝術已取得了空前的增長,鑒于這種流行與增長,動漫收藏品從物理的形式過渡到交互式NFT動漫收藏品似乎是自然的.

1900/1/1 0:00:00
循環借貸:放大收益的DeFi“套娃”玩法_BTC

DeFi一路發展到現在,生態越來越健全,金融產品和玩法也是越來越豐富,不少人開始在規則內,挖掘一些新的套利方式。只有想不到,沒有大家玩不出的花樣.

1900/1/1 0:00:00
春意盎然 合你有約 幣記Bitget中國行北京站活動圓滿落幕_BITG

3月27日,由幣記Bitget主辦、渾水公關承辦的春意盎然·合你有約丨幣記中國行活動在北京成功舉辦。本次活動是幣記B計劃·中國行繼成都站之后的第二站現場.

1900/1/1 0:00:00
ads