本文由“靈蹤安全”原創,授權“金色財經”獨家首發,轉載請注明出處。
?一份審計報告是對一套智能合約的“質量檢測報告”,那報告就要告訴用戶所審計的對象是誰。
?和普通的有形商品不同,智能合約這種特殊的商品是摸不著的,那怎么才能讓用戶知道它呢?
?區塊鏈領域的絕大多數項目包括鼎鼎大名的比特幣和以太坊都有一個共同的特點:它們的源代碼都是”開源”的。所謂的“開源”就是它們的代碼都是公開的,放在某個公開、所有人都可以訪問的網站上,任何人都可以看到它的內容。
?我們所審計的智能合約絕大多數也是這樣,它們都是開源的,放在一些知名的、供所有人存放文件的網站比如github等。
?如果我們所審計的智能合約是開源并且放在了github上,我們要讓用戶知道它、看到它的源代碼,就會在審計報告中列出合約所存放的github的網址。這就好比一件商品存進了一個大倉庫,存在倉庫中的某個庫房,我們要讓用戶能找到這件商品就要告訴用戶倉庫的地址和庫房的門牌號碼。存放合約的github網址就等于倉庫地址+門牌號碼。
獨家 | Bakkt期貨合約數據一覽:金色財經報道,Bakkt Volume Bot數據顯示,4月8日,Bakkt比特幣月度期貨合約單日交易額為1360萬美元,環比下降18%,未平倉合約量為637萬美元,環比上升4%。[2020/4/9]
可是如果合約的編寫者在給審計機構審計時用的是放在github上的一套合約,但審計后尤其是項目上線后,用戶又修改了它的智能合約,我們怎么知道放在github上的合約就是審計時看到的合約而不是后來修改過或者其它“魚目混珠”的合約呢?
這就涉及到github這個倉庫的一個特性了。
當項目方往github中存放代碼時,github會給這次存放動作產生一個版本號。這就好比我們在比特幣、以太坊中申請一個新錢包時,這個錢包會有一個獨一無二的地址一樣,這個版本號也是唯一的。
獨家 | 三星發布區塊鏈平臺SDK 目前僅支持ETH:金色財經現場報道,三星10月29日在圣何塞舉行的2019開發者大會上正式發布了三星區塊鏈平臺SDK(Sumsung Blockchain Platform SDK),通過API提供了賬戶、錢包、交易管理功能,提供簡單的支付界面,并集成Dapp瀏覽器Cucumber,開發者無需再了解技術實現細節,只需通過API調用需要的功能,極大方便Dapp開發。在開發演示現場,金色財經記者在三星技術人員指導下短時間內就建立一個用測試網ETH購買Galaxy手機的電商Dapp。同時金色財經了解到,三星區塊鏈平臺SDK目前僅支持ETH。[2019/10/31]
當項目方之后對任何文件有了任何改動:小到一個字的修改,大到文件的刪除、添加等,當把這些改動提交到github中,github又會給這次動作產生一個新的版本號。
獨家 | 類F3D合約再次出現 已吸引資金盤3000ETH:第三方大數據評級機構RatingToken最新數據顯示,2018年8月17日全球共新增1593個合約地址,其中216個為代幣型智能合約。
RatingToken安全審計團隊發現,類FOMO3D資金盤合約再次出現。但這個名為ArbitrageETHStaking的合約采取的是與FOMO3相反的規則,它只會將加入者投入ETH的2%分配進獎池,其余ETH可以隨時取出,而投入獎池的2% ETH會按比例分給先進入游戲的用戶。截至目前,此資金盤游戲已吸引到3000ETH。
此外,昨日新增合約風險榜TOP10包括BLACKPEARL(BLACKPEARL)、POOHMO(POOHMO)、WTAGameRun V0.5、Vote Game(VG)、imfomo Long Official(imfomo)、Crowdsale with Discounts&Bonus、myt(mytime)、Shine(SSS)和teac(teac)。[2018/8/19]
所以github中的版本號就是對所存放的文件的一份唯一存證,它保證了這個版本號所對應的文件就是某時某刻放進倉庫中的文件,而不是之前或之后放進去的文件。
獨家 | 全球新增合約地址數持續爬升一周至1978個:第三方大數據評級機構RatingToken最新數據顯示,2018年8月14日全球共新增1978個合約地址,其中293個為代幣型智能合約。據RatingToken團隊發布的“新增代幣型智能合約風險榜”顯示,Innercore(CORES)、FOMO Fast(FAST)和FomoDD(Chives)風險最高,檢測得分分別為1.82、2.00和2.00。其他登上該風險榜TOP10的還包括FoMo3D Long Official(F3D)、Must Be Hit 4D(MBT4D)、NTE 3D Official(NTE3D)、FDTB(FDTB)、 百姓鏈ESM( 百姓鏈ESM)、mschain(mschain)和Claim Everything(CETH)。如需查看更多智能合約檢測結果,請查看原文鏈接。[2018/8/15]
所以我們在審計報告中除了羅列被審計合約的github網址,還要羅列被審計合約在github中的版本號。
金色獨家 比特幣中國聯合創始人戴慶祝:中心化交易所不夠安全 但比特幣足夠安全:金色財經獨家專訪,目前交易所的安全問題頻發,對此比特幣中國聯合創始人戴慶祝認為,對中心化交易所來說,安全性問題始終是懸在頭上的一把利劍。歷史上,相當一部分的交易所倒閉都是由于安全問題。
中心化交易所無法徹底杜絕安全問題,換句話說,中心化交易所是不夠安全的,但是比特幣本身是足夠安全的。
在沒有監管的情況下,投資者應當盡量把幣存在錢包中。去中介化的商業,是區塊鏈行業的愿景,也一直是區塊鏈行業從業者的夢想。然而,在實現去中介化的漫長道路上,我們依然要經歷行業生態中的中心化之痛,所有的美好和光鮮,都源自丑陋和不堪,這是成長的代價,不過終將會改變,也正在改變。[2018/6/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組織、鏈上數據存儲、去中心化交易所等項目,并參與了多個項目的安全審計工作,在此基礎上基于團隊豐富的經驗構建了完善的漏洞追蹤及安全防范系統。
據TheBlock4月1日報道,區塊鏈開發公司Enjin已籌集了1890萬美元,用于建立基于波卡的區塊鏈網絡,特別是用于非同質化代幣.
1900/1/1 0:00:00這份實用指南提供了你預測加密貨幣價格飛速上漲所需的基礎知識。十五年前,我開始探索數字貨幣的世界,并為一個只使用短信的點對點移動貨幣平臺做了原型.
1900/1/1 0:00:00洗錢犯罪又現新手段。近日,最高人民檢察院、中國人民銀行聯合發布6起懲治洗錢犯罪典型案例。其中一起利用比特幣跨境洗錢案,更是引起業內廣泛關注.
1900/1/1 0:00:00來源:區塊鏈前哨 作者:KarenWeintraub、ElizabethWeise 譯者:核子可樂 “無論是IBM還是Abbott都能開發出實際應用.
1900/1/1 0:00:00Fei在4月1日凌晨3點開啟了創世啟動,開啟第一天,Fei斬獲了8.6萬個ETH,算下來1.68億美元,更夸張的是有5.2萬個ETH去兌換了治理代幣TRIBE.
1900/1/1 0:00:00保險協議是DeFi不可或缺的樂高DeFi被攻擊的事件已經累見不鮮了,未來還會繼續發生,這一點無需贅述。保險會是DeFi領域的持續存在的重要需求.
1900/1/1 0:00:00