本文由“Fairyproof Tech”原創,授權“金色財經”獨家首發,轉載請注明出處。
一份審計報告是對一套智能合約的“質量檢測報告”,那報告就要告訴用戶所審計的對象是誰。
和普通的有形商品不同,智能合約這種特殊的商品是摸不著的,那怎么才能讓用戶知道它呢?
區塊鏈領域的絕大多數項目包括鼎鼎大名的比特幣和以太坊都有一個共同的特點:它們的源代碼都是”開源”的。所謂的“開源”就是它們的代碼都是公開的,放在某個公開、所有人都可以訪問的網站上,任何人都可以看到它的內容。
我們所審計的智能合約絕大多數也是這樣,它們都是開源的,放在一些知名的、供所有人存放文件的網站比如github等。
如果我們所審計的智能合約是開源并且放在了github上,我們要讓用戶知道它、看到它的源代碼,就會在審計報告中列出合約所存放的github的網址。這就好比一件商品存進了一個大倉庫,存在倉庫中的某個庫房,我們要讓用戶能找到這件商品就要告訴用戶倉庫的地址和庫房的門牌號碼。存放合約的github網址就等于倉庫地址+門牌號碼。
獨家 | Maker總鎖倉量超過8億美元?:據DappBirds DeFi Data專題數據顯示,Maker總鎖倉量超過8億美元,DeFi中鎖定資產總價值達43.06億美元,較昨日上漲2.40%,其中Maker,Compound,Aave,Synthetix,Curve分別以8.14億美元,5.84億美元,5.58億美元,4.78億美元,3.35億美元位列前五名[2020/7/25]
可是如果合約的編寫者(通常我們稱為項目方)在給審計機構審計時用的是放在github上的一套合約,但審計后尤其是項目上線后,用戶又修改了它的智能合約,我們怎么知道放在github上的合約就是審計時看到的合約而不是后來修改過或者其它“魚目混珠”的合約呢?
這就涉及到github這個倉庫的一個特性了。
當項目方往github中存放代碼時,github會給這次存放動作產生一個版本號。這就好比我們在比特幣、以太坊中申請一個新錢包時,這個錢包會有一個獨一無二的地址一樣,這個版本號也是唯一的。
獨家 | 減產幣全部下跌 7幣種跌幅超過10%:金色財經報道,2020年10個將要減產的加密貨幣今日全部下跌。近24小時下跌情況分別為:BTC(-1.94%)、BCH(-11.84%)、BSV(-14.30%)、ETC(-12.12%)、DASH(-12.64%)、ZEC(11.94%)、BCD(-12.85%)、ZEN(-7.89%)、XZC(-12.21%)、SERO(-0.53%)。[2020/2/17]
當項目方之后對任何文件有了任何改動:小到一個字的修改,大到文件的刪除、添加等,當把這些改動提交到github中,github又會給這次動作產生一個新的版本號。
所以github中的版本號就是對所存放的文件的一份唯一存證,它保證了這個版本號所對應的文件就是某時某刻放進倉庫中的文件,而不是之前或之后放進去的文件。
獨家 | 庫神錢包CEO袁大偉:減半行情可能還會再持續四個月:在今日的由庫神主辦,金色財經獨家直播的減半行情分享會上,對于“ZEC、DASH、BCH、BSV等幣最近瘋狂上漲,后面還會持續嗎?估計持續多久?支撐他們瘋漲的基礎(邏輯)是什么?”問題,庫神錢包CEO袁大偉表示關于減半行情,今年兩個多月的時間很多幣都已經漲了好幾倍,可以說非常的瘋狂。通過經驗來看,短期沖高之后,應該會有一個回調,回調之后,行情應該還會持續下去,主要是目前這個賺錢效應比較明顯,從走勢來看,估計可能還會再持續四個月的時間。目前漲的較多的概念幣,從上漲時間和上漲的方式來看,應該是有大的資金在進行運作。而且他們進行了這個充分的吸籌,然后借助減半的利好進行暴力拉升。目前沒有必要去追高這些幣,這些幣就算買了也需要等回調之后才能夠介入。所以這個上漲的基礎,還是比較強勁,主要是前期。主力的成本比較低,他們有比較大運作空間。[2020/2/14]
所以我們在審計報告中除了羅列被審計合約的github網址,還要羅列被審計合約在github中的版本號。
獨家 | DAppReview CEO牛鳳軒:Just.Game未開源仿盤難以模仿:針對Just.Game的安全性問題,DAppReview CEO牛鳳軒在接受金色財經采訪時指出:“Just.Game目前沒有開源,在此前的AMA也說過不會開源,這樣一方面仿盤難以模仿,另一方面要發現合約代碼的漏洞也相對比較難。任何合約,只要有漏洞都能被攻破,但是現在無法評價其代碼實際情況。”
?此外,牛鳳軒提示指出,從安全的角度來說,一個開源且審計過的合約肯定是對用戶更加安全的。但對于大部分普通用戶來說,投機的心態會更重一些,也沒有能力去辨別智能合約是否有問題,基本都會跟隨其他人進行投機。理論上,任何不開源的合約都可以作惡,甚至開源的合約在不經過嚴密檢查的情況下可能會出現問題。[2019/12/23]
這兩個要素就保證了讀者看我們報告時能準確知道我們所審計的內容。
獨家 | HNB戰略投資人李侃:僅憑一份白皮書就可完成募資的現象不會再有:針對于區塊鏈發展或者ICO模式的演化的問題,金色財經獨家采訪到HNB的戰略投資人李侃,他表示,“ICO演化的下一個階段,項目信息要充分披露,并且可查和可驗證,包括項目團隊和項目取得的實質性進展。僅憑著一份白皮書就完成募資是ICO的初級階段,今后應該不會再有了。市場將會密切關注項目取得的實質性進展,包括:Github上的代碼、系統的運行性能、應用的落地、和社區生態的發展等情況。同時市場將會自發的對項目團隊的成員做全景的調查,以對項目成員的信用和能力做到充分的了解。并以此來幫助投資人做出盡可能正確的決策。并且還可能會發展出一種事后監督的機制來,如果項目在ICO之后,出現了項目團隊違背當初承諾的情況,該機制將給予項目團隊成員以相應的懲罰,以減少投資人的損失和增加項目團隊成員的違約成本。”[2018/9/6]
除了放在github上,還有的項目方在審計時已經把合約部署在區塊鏈網絡上了。由于智能合約一旦部署到區塊鏈網絡上,它就是無法篡改和撤銷的,因此智能合約所部署的區塊鏈地址也可以作為合約的存證地址。
對這樣的合約,我們通常也會記錄下它在區塊鏈上的地址作為唯一存證。
我們前面說絕大多數項目的智能合約是開源的,這也就意味著還有一些項目的合約在審計時是未開源的,在這種情況下,我們怎么記錄這份合約的存證呢?
我們會用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:HUBITH區塊鏈SHAKISHUBABYFriends With Benefits Pro區塊鏈的未來發展前景作者是誰shaun幣最新消息
原標題:深度分析區塊鏈是如何改變世界的從銀行業務和安全通信到醫療保健和共享出行,區塊鏈將對我們的未來產生巨大影響。當然,要明白區塊鏈如何改變世界,首先需要了解其工作原理.
1900/1/1 0:00:00一文詳解NFT技術棧及應用案例?在之前的文章中,我們闡述了NFT的概念及分類。在本文中,我們將進一步深入介紹NFT技術棧以及在這幾個月中發展不錯的一些應用案例.
1900/1/1 0:00:00NFT,也就是非同質化代幣,儼然已成為當前加密經濟里最引人關注的新趨勢——與以往各種加密貨幣市場熱點不同,NFT進入主流市場的速度似乎很快,甚至快過比特幣.
1900/1/1 0:00:00狂人本著負責,專注,誠懇的態度用心寫每一篇分析文章,特點鮮明,不做作,不浮夸!本內容中的信息及數據來源于公開可獲得資料,力求準確可靠,但對信息的準確性及完整性不做任何保證,本內容不構成投資建議.
1900/1/1 0:00:00知名鏈上分析師Willy Woo表示,2021年是比特幣“瘋狂看漲”的一年,因為當前的價格上漲進入到了最后的爆發階段.
1900/1/1 0:00:00文章系金色財經專欄作者幣圈北冥供稿,發表言論僅代表其個人觀點,僅供學習交流!金色盤面不會主動提供任何交易指導,亦不會收取任何費用指導交易,請讀者仔細甄別防上當.
1900/1/1 0:00:00