編者按:本文來自
以太坊愛好者
,作者:RaulJordan,翻譯&校對:閔敏&阿劍,Odaily星球日報經授權轉載。
哈希值和哈希函數的概念是初次入門區塊鏈的人常聽到的兩個關鍵詞,而且似乎對安全性來說特別關鍵。對于像比特幣和以太坊這樣由成千上萬的節點通過P2P方法組成的去中心化網絡來說,“免信任性”和驗證效率無疑是關鍵。也就是說,這些系統需要找到方法把信息編碼成緊湊的形式,同時讓參與者能夠安全快速地進行驗證。
比特幣和以太坊網絡所處理的主要內容叫做“區塊”,指的是由交易、時間戳和其他重要元數據所組成的數據結構。比特幣和以太坊網絡的安全性的關鍵一環是:它能將表達網絡全局狀態的大塊信息壓縮成一個簡短的消息。在有需要之時,我們可以高效地驗證這個消息的真實性。這個過程就是用哈希函數來完成的,而得到的結果就是哈希值。
-即使只更改輸入中的一個字符,最后得出的哈希值也會完全不同-
密碼學哈希廣泛應用于口令存儲和文件驗證系統。簡單來說,密碼學哈希函數是一種確定性的算法,不論輸入什么值,都能得到一個固定長度的字符串。也就是說,同一個輸入值始終對應同一個輸出值。
IMF今日發布的加密貨幣科普視頻實為兩年前舊聞,且存在諸多疏漏:國際貨幣基金組織IMF今日在推特上發布了一條關于加密貨幣的科普視頻,這段時長兩分鐘的視頻最初發布于2018年6月。該視頻稱加密貨幣是“貨幣進化的下一步”,但沒有特別提到DLT、區塊鏈,甚至是代幣名稱等術語。BTC、XRP和ETH只出現在說明加密交易的圖形中。盡管這段視頻到目前為止已經獲得了超過13.7萬的點擊量和2900個贊,但來自加密社區的許多反應都是批評的,他們指出了信息中的漏洞和似乎具有誤導性的措辭。
Reddit用戶nanooverbtc稱:“他們犯了很多錯誤,比如把私鑰稱為密碼。”該視頻也沒有討論挖礦或加密貨幣供應。Kraken策略師Pierre Rochard等知名人士表示:“可證明的稀缺性是比特幣有趣的原因,你忘了提這一點。”(Cointelegraph)[2020/8/24]
對哈希函數來說,重要的不僅是確定性:即使只更改輸入中的一個比特位,也會導致最終得到的哈希值截然不同。
哈希算法有一個無可回避的問題叫碰撞可能性。因為哈希值是固定長度的字符串,同一個哈希有可能對應多個輸入。碰撞會造成很嚴重的后果。如果有人能夠按需要發起碰撞攻擊,他就可以用恰當的哈希值將惡意文件或數據偽裝成合法的、能夠通過驗證的文件。好的哈希函數的設計目標是讓攻擊者極難找到方法來找出對應同一個哈希的不同輸入。
動態 | 新浪財經:官媒針對區塊鏈的報道從科普宣傳轉向打假監管:據新浪財經今日消息,“1025新政”滿月,一個月間,官媒對區塊鏈的態度風向已轉。據11月初的一項統計,七家黨媒在新政一周內發布了65篇直接相關報道,當時文章中的關鍵詞是數據、產業、安全、創新等,大量文章偏向于科普區塊鏈的概念以及應用介紹,提醒警惕虛擬貨幣炒作的僅有3篇。近期,官媒的批評焦點則紛紛指向借區塊鏈之名進行的虛擬貨幣發行和炒作行為。據統計,新華網、人民網收錄轉載的,以打擊虛擬貨幣或揭露假借區塊鏈行騙為主題的文章,自10月25日到11月25日午間,共28篇;其中,11月19日至11月25日的一周內就高達15篇。這些文章主要圍繞三個觀點展開:厘清區塊鏈和虛擬貨幣的關系,說明二者概念不等;打擊偽“區塊鏈”騙局,或是虛擬貨幣騙局揭露;提醒民眾,區塊鏈不能成為炒作的噱頭,更不是行騙的招牌,需警惕此類活動,理性投資。[2019/11/26]
哈希計算的效率不應過高,以免讓攻擊者可以更簡單地人為計算出碰撞。哈希算法必須能夠抵御“原像攻擊”。也就是說,對于特定哈希值,攻擊者很難通過確定性計算步驟倒推出輸入值。
假設s=hash(x),倒推x應該是近乎不可能的。
聲音 | 浪潮集團云南分公司總經理:云南區塊鏈產業發展需從“科普”到“專精”不斷深化:據昆明日報消息,浪潮集團云南分公司總經理鄭昕表示,云南區塊鏈產業發展需從“科普”到“專精”不斷深化。下一步,浪潮將繼續加大云南農業產業高質量發展體系建設力度,重點以普洱茶等云南優勢產業為切入點,打造云南“綠色、有機農產品高地”的品牌形象,并在此基礎上,開展基于區塊鏈的供應鏈金融服務,解決中小企業貸款難、貸款貴問題。[2019/11/11]
總的來說,“好的”哈希算法需要具備以下3個特性:
更改輸入中的一個比特位會產生雪崩效應,導致最后得出的哈希值截然不同
出現哈希碰撞的概率非常低
在無需犧牲抗碰撞性的前提下計算效率過得去
破解哈希算法
哈希算法的初始標準之一是MD5哈希。MD5哈希廣泛應用于文件完整性驗證,以及在網絡應用數據庫中存儲經過哈希計算的賬號口令。MD5的功能非常簡單,因為它會將每個輸入轉換成一個固定的128位字符串輸出,并通過多輪簡單的單向操作來計算確定性輸出。由于輸出值長度較短,操作又較為簡單,MD5很容易被破解,一種常見的攻擊方法叫生日攻擊。
聲音 | CNBC主持人:加密貨幣最大的缺點之一就是難以向外行快速科普:CNBC主持人Ran NeuNer近期發推稱,加密貨幣最大的缺點之一就是很難向外行快速解釋。當人們要求我向他們解釋比特幣時,我知道他們至少需要一個小時才能真正理解。[2019/9/10]
“生日攻擊”是啥玩意?
你有沒有聽說過這樣一個事實?如果你將23個人放到一個房間里,其中兩個人生日相同的概率為50%。如果將70個人放到一個房間里,其中兩個人生日相同的概率高達99.9%。這就是我們所說的鴿籠原理,即,將100只鴿子裝進99個鴿籠,必然有兩只鴿子分享同一個鴿籠。也就是說,固定長度的輸出意味著所有輸入輸出組合中一定存在碰撞。
-籠子不夠時,鴿子就會湊對-
事實上,MD5的抗碰撞性太差,以至于一臺家用2.4GHz奔騰處理器都能在幾秒內計算出哈希碰撞。此外,由于MD5在互聯網早期階段得到了廣泛應用,網絡上有大量MD5原像遭到泄漏,通過谷歌搜索它們的哈希值就能找到。
哈希算法的多樣性發展
源起:SHA1和SHA2
NSA是哈希算法標準的先驅。安全哈希算法是最早提出的標準,將輸出值的長度固定在160位。遺憾的是,SHA1只是在MD5的基礎上增加了輸出值長度、單向操作的次數和復雜度,但是并沒有作出能夠抵御更強大機器攻擊的根本性改進。
聲音 | 中科院姚建銓:要加快推進區塊鏈與物聯網融合的科普 培訓:據新華網消息,日前,在區塊鏈與物聯網融合發展峰會上,中國科學院院士姚建銓說,關注區塊鏈技術里面的大數據,跟區塊鏈技術結合起來進行測量和檢測,能更好地提升激光清洗技術。姚建銓建議,無錫今后要加快推進區塊鏈與物聯網融合的科普、培訓,正確引導廣大人民群眾對技術的認知;同時,建立專業、權威,但又普適、成套的理論體系和標準,以此切入區塊鏈的實際應用。[2018/9/18]
我們如何才能做得更好?
SHA3興起
在2006年,美國國家標準技術研究所舉辦了一場競賽,旨在找到一個本質上不同于SHA2的替代標準。因此,SHA3應運而生,它是KECCAK哈希算法的一種方案。
雖然SHA3在名稱上與SHA1和SHA2一脈相承,但是在本質上差異很大,因為它采用了一種名為海綿結構的機制。該機制使用隨機排列來吸收并輸出數據,同時為將來用于哈希算法的輸入值提供隨機性。
-KECCAK256海綿結構是如何進行輸入操作的-
SHA3的內部狀態相較于輸出值擁有更多信息,突破了以往算法的局限性。NIST于2015年正式認可了SHA3標準。
哈希計算和工作量證明
就整合進區塊鏈協議的哈希算法而言,比較早的比特幣選擇了SHA256,而以太坊采用了改進后的SHA3作為工作量證明算法。對于采用工作量證明的區塊鏈來說,選擇哈希函數的一大重要標準是哈希運算效率。
使用一類名為專用集成電路的硬件,我們可以大幅提高比特幣SHA256算法的哈希運算的效率。有很多文章已經闡述了礦池是如何利用ASIC的,以及ASIC是如何讓協議趨向于計算中心化的。也就是說,工作量證明會激勵計算效率較高的機器聚集成礦池,從而形成較大的哈希算力。
以太坊選擇的是改進后的SHA3算法。此外,以太坊的工作量證明算法Dagger-Hashimoto被設計成了內存密集型模式,計算硬件需要加大內存才能提高計算效率。
為什么比特幣采用雙重SHA256?
有趣的是,比特幣協議需要重復運行兩遍SHA256算法。請注意,這不是為了抵御生日攻擊,畢竟在hash(x)=hash(y)的情況下,hash(hash(x))=hash(hash(y))。雙重SHA256旨在抵御長度擴展攻擊。
從本質上來說,所謂的長度擴展攻擊,指的是如果惡意攻擊者知道了某個哈希輸入的長度,就可以在哈希值上添加一個秘密的字符串、欺騙哈希函數從其內部狀態的一個特定部分開始計算。作為SHA2算法家族的一員,SHA256也存在這一缺陷。因此,比特幣采取執行兩遍哈希計算的方式來解決這一缺陷。
Ethereum2.0和BLAKE
SHA3并非哈希算法競賽取得的唯一突破。雖然最終勝出的是SHA3,但是BLAKE算法緊隨其后,位居第二。對于以太坊2.0的分片實現來說,更高效的哈希算法可以說是一項功能性要求,研究團隊對此非常重視。BLAKE2b哈希算法是BLAKE算法的高度升級版本。與KECCAK256相比,BLAKE2b哈希算法在保持高度安全性的同時,在提升效率方面也進行了深入探索。
使用一臺現代CPU計算BLAKE2b的速度比計算KECCAK快了3倍。
哈希算法的前景展望
這么看來,無論我們做了什么,無非就是增加內部哈希操作的復雜度,或者增加哈希輸出值的長度,讓攻擊者的計算機無法足夠快地有效計算出碰撞。
我們依靠單向操作的原像模糊性來保護網絡的安全性。也就是說,哈希算法的安全性目標是在有無限多可能的沖突的情況下,讓找出哈希碰撞的難度盡可能高。
如果量子計算時代到來,哈希算法依然安全嗎?
就目前來看,答案是肯定的,哈希算法將經受時間的考驗,抵御量子計算。量子計算能夠解決的是那些嚴格按照某些小技巧或RSA加密理論打造底層結構的數學問題。另一方面,哈希算法的內部構造沒那么形式化。
量子計算機確實能夠提高哈希等非結構化問題的計算速度,但它們最終還是會像如今的計算機一樣采取暴力破解手段。
無論我們為協議選擇了哪種算法,我們顯然都在邁向計算高效化的未來。為此,我們必須慎重選擇最合適的工具,使之經受住時間的檢驗。
參考文獻
:
https:\u002F\u002Fbitcoin.stackexchange.com\u002F
:
https:\u002F\u002Fen.wikibooks.org\u002F
:
https:\u002F\u002Flearncryptography.com\u002F
:
https:\u002F\u002Fgithub.com\u002Fzcash\u002Fzcash\u002Fissues\u002F2233
:
https:\u002F\u002Fcrypto.stackexchange.com\u002F
:
https:\u002F\u002Fen.wikipedia.org\u002F
:
https:\u002F\u002Fkeccak.team\u002F
:
https:\u002F\u002Fen.wikipedia.org\u002F
:
https:\u002F\u002Fcrypto.stackexchange.com\u002F
編者按:本文來自DeepChain深鏈,作者:石巖,Odaily星球日報經授權轉載。在趣步、火牛視頻等傳銷、資金盤漸漸消失后,DeepChain深鏈發現,一款同樣打著區塊鏈旗號的,名為“秘樂”的.
1900/1/1 0:00:00今年,有6項區塊鏈項目躋身世界經濟論壇“2020技術先鋒”行列,數量占比為6%,上榜數量為歷來之最.
1900/1/1 0:00:00編者按:本文來自Deribit德瑞的交易課,星球日報經授權發布。本播報由Deribit和Greeks.live聯合推出.
1900/1/1 0:00:00編者按:本文來自鏈聞ChainNews,撰文:AndrewSteinwold,加密貨幣投資基金PolynexusCapital合伙人,NFT播客ZimaRed創始人,編譯:PerryWang.
1900/1/1 0:00:00最近有一檔名叫《乘風破浪的姐姐》的綜藝節目非常火,參加節目的姐姐們大都已功成名就,卻選擇到自己并不擅長但很火的女團舞臺“重新出道”.
1900/1/1 0:00:00編者按:本文來自小吒閑談,Odaily星球日報經授權轉載。DeFi,已成為以太坊網絡應用的核心驅動因素之一.
1900/1/1 0:00:00