撰文:李畫、安比實驗室創始人郭宇
校正:郭宇
來源:鏈聞
每次有量子計算的新聞出現時,人們都要擔心一次比特幣。原因很簡單,比特幣是基于密碼學的,而密碼學之所以能夠成立,是基于某種計算上的不可能性。如果量子計算把原本不可能或難以實現的計算變成可以計算,那么這種密碼學的方法就會失效。
但這種擔心是多余的。原因同樣簡單:我們只要有量子計算也無法完成的計算,不就可以嗎?以這種計算為基礎構建的密碼學方法,量子計算也就無法破解,然后把比特幣升級到該密碼學方法之下即可。
「格困難問題」就是典型的代表,即便對于量子計算,它也保持著計算上的不可能性。基于人類的「無知」,我們很大程度上總可以找到方法生活在密碼學的保護之下。
比特幣中的密碼算法
我們知道比特幣錢包地址對應一個公鑰和一個私鑰,只有擁有私鑰才能動用該錢包中的比特幣,但私鑰是安全的,它無法通過錢包地址或公鑰被計算出來。
這是如何實現的?讓我們從臺球廳開始。
你去臺球廳打臺球,把一個球放在臺球桌底邊的一個位置上,就叫它A點,然后你把這個球打出去,假設你擊球的力氣超級大,那么球從A點出發,總會撞到臺球桌某條邊上的一個點,然后又會從該點彈到臺球桌另一條邊上的另一個點……它可能這樣彈了B次,最后停在了臺球桌某條邊的一個點上,就叫它C點。
Chainlink CEO:銀行如果建立自己的區塊鏈將為加密領域帶來巨大價值:金色財經報道,Chainlink首席執行官Sergey Nazarov有一個大膽的愿景,即銀行將建立自己的區塊鏈,并可能采用其新推出的CCIP協議來連接它們。他預計這將為加密領域帶來很多價值。
就在幾天前,Chainlink推出了它的跨鏈互操作性協議,希望能讓區塊鏈之間的匯款變得更容易。Sergey Nazarov預計,銀行和金融機構將推出自己的區塊鏈,可能在某種程度上受到控制或許可,并且在某種程度上,監管環境將允許它們連接到像以太坊這樣的公共區塊鏈。[2023/7/20 11:07:25]
這時候你的朋友來了,他能看見臺球在C點的位置,你告訴他這個球最初的位置A點和擊球的角度,問他這個球中間彈了多少次,也就是B是多少?你的朋友應該一時回答不上來。
這就是一個簡單的公、私鑰生成算法,C是公鑰,B是私鑰。在我們知道A點和B次彈跳的情況下,是能得到C點的;但如果我們只知道A點和C點,是很難算出彈跳次數B的。
在真正的密碼學中,臺球桌的邊被換成了橢圓曲線,A是橢圓曲線上一個固定的點,它擊打自己,球在橢圓群里撞來撞去撞了B次,最后落在了橢圓群的一個點上,還要對該點再做一次映射,有了橢圓群上的一個點C。C是公鑰,B是私鑰。
SEC主席:如果加密代幣具有真正的價值,SEC隨時準備與加密行業合作以實現合規性:6月6日消息,美國 SEC 主席 Gary Gensler 接受 CNBC 采訪時表示,如果加密代幣具有真正的價值,那么 SEC 合規性將建立信任。SEC 隨時準備與加密行業合作以實現合規性。[2023/6/6 21:19:47]
這就是著名的橢圓曲線算法,被用于生成公鑰、私鑰,是比特幣系統中的第一個密碼學方法。
橢圓曲線算法難以被破解,但并非不能被破解,足夠強大的量子計算可以找到多項式算法,通過A和C計算出B,也就是可以通過公鑰算出私鑰。所以,如果真的進入到量子計算時代,橢圓曲線算法是需要被新的抗量子計算的算法替換的。
量子計算與橢圓曲線算法
比特幣采用的橢圓曲線數字簽名算法的安全性是2^128。這是個天文數字。
在量子計算的情況下,使用PeterShor提出的Shor算法,它攻擊橢圓曲線的復雜度大概是O(log(N)^3),對于比特幣而言,理論上的計算量級是128^3次。
相關論文研究顯示,構造一個攻擊secp256-k1曲線的量子計算機,假設該計算機能把比特錯誤率降低到10^-4,那么有希望在使用170萬個量子比特的情況下,在7天之內完成計算。
美國SEC專員:美國如果試圖禁止主流加密貨幣,可能付出沉重的代價:美國證券交易委員會(SEC)專員海斯特·皮爾斯(Hester Peirce)表示,美國政府禁止比特幣將是愚蠢的事情,她不認為美國政府會采取行動禁止使用和交易加密貨幣。她認為,如果美國試圖禁止主流加密貨幣,美國可能會付出沉重的代價。海斯特·皮爾斯建議,美國應制定對加密貨幣友好的法規,以跟上對區塊鏈和加密貨幣行業更加友好立場的國家。[2021/4/10 20:06:19]
在比特幣系統中,還有另一個密碼學方法,哈希函數SHA-256,它被用于生成與公鑰對應的錢包地址。該算法很好理解,就是把一個輸入以一種不可逆的方式轉換成一個輸出,它有非常強的單向性,想通過輸出來計算輸入是不可能的。
因此,哈希函數只能通過暴力的方式破解,也就是變換輸入值一次次去試,直到可以用某個輸入值算出目標輸出值。
相較于經典計算機,量子計算機在暴力搜索上具有可觀的優勢,不過仍然是一種多項式級別的性能優化,我們可以通過加倍安全位數,比如采用SHA-512來維持安全性。
比特幣錢包地址是公鑰經過兩次哈希計算得到的,一次是?SHA-256,一次是RIPEMD-160,量子計算很難攻破兩道哈希關口,通過錢包地址「撞」出公鑰。量子計算與SHA-256目前在量子算法里可以加速計算SHA-256的是LovGrover在1996年提出來的Grover算法,它可以將暴力搜索的性能提高到平方倍。假設我們要在一個N×N的巨大方格里尋找一根針,經典計算機需要逐一搜索每一個方格,最壞情況下需要搜索N×N次;但Grover算法即使是在最壞的情況下也只需要搜索N次。總結一下:比特幣中有兩種基礎密碼算法,一是橢圓曲線算法,一是哈希函數SHA-256。目前能夠找到前者的高效量子計算方法,實現破解;但并沒有找到后者的高效量子計算方法。當然,破解的前提是量子計算真的發展到足夠強大,要知道,谷歌最新的量子芯片只有54個量子比特。
聲音 | 分析師:如果BTC價格沒有飆升 在減半前或后賣出沒有區別:加密分析師JosephYoung發推稱,比特幣在減半之前而不是減半之后下跌難道不更有意義嗎?減半后,礦工生產的BTC更少。最好在BTC減半之前賣出,理財操作12個月以上,而不是賭BTC價格會飆升至盈虧平衡的價格。加密分析師CeterisParibus評論稱,如果價格沒有飆升,而是保持不變,那么在減半之前還是減半之后賣出也沒有什么區別。這并不是一場關于價格飆升的賭博。也有一些方法可以對沖一些下行風險。[2020/2/23]
我們的比特幣安全嗎?
如果進入到量子計算時代,我們只需要用抗量子計算的密碼學算法生成公鑰、私鑰、錢包地址即可。但假如用戶未能升級公鑰私鑰,他們錢包中的比特幣是否就一定會被竊取?答案是否定的。
大致有如下幾種情況:
1.如果錢包地址中的比特幣從未被使用過,那么該地址的公鑰是不被人知曉的,其他人所知道的只有錢包地址。如前文所述,SHA-256是難以被量子計算破解的,這意味著其他人是無法通過錢包地址算出公鑰的。所以,即使可以通過公鑰算出私鑰,那些沒有暴露過公鑰的錢包地址也是安全的。
2.如果有好的比特幣使用習慣,一個錢包地址只使用一次,那么同理,新地址的公鑰也是不被人知曉的,新地址中的比特幣是安全的。
聲音 | IMI副研究員:如果政策上允許可能近期就會推出數字貨幣 央行在技術上已經做好了儲備:IMI副研究員、清華博士研究生曹勝熙在接受《國際金融報》記者采訪時表示,很難預計中國央行發行數字貨幣的具體時間,但人民銀行已經準備了很久,如果政策上允許的話,可能近期就會推出數字貨幣,他們在技術上已經做好了儲備。未來數字貨幣在大部分時候或能起到替代現金的作用。央行數字貨幣具有現金交易的可靠性和匿名性,這也是其底層設計邏輯之一。中國央行發行的數字貨幣是法定數字貨幣,它是具有無限法償性,等同于人民幣現金,所以對持有者而言基本上沒什么風險。另外,中國央行數字貨幣的技術底層也已經過多次測試。央行制定法定數字貨幣方案一個需要注意的點是,在設計方案時,對隱私的保護能不能以法律的形式規定,這對數字貨幣的走向影響不小。盡管央行發行數字貨幣在央行層面沒有采用區塊鏈的技術,不過央行的技術是開放的,未來如果商業銀行想要用區塊鏈發行數字貨幣,央行的底層技術允許這樣的方案。,現在各國搶占數字貨幣先機,其實或多或少受到了商業世界像Libra的刺激和促進,因為如果不發行自己的法定數字貨幣的話,這一部分權利可能就會被一個超越自己國家貨幣政策主權的商業聯合體占據,這可能是各國現在都比原來更著急的一個原因。[2019/11/18]
3.如果用戶重復使用一個錢包地址,那么該地址對應的公鑰就處于暴露狀態;如果量子計算破解了橢圓曲線算法,那么該地址中的比特幣就面臨被竊取的危險。
據統計截止到當前,有將近500萬個比特幣是存放于公鑰暴露的地址中的,此外還有將近177萬個比特幣使用的是P2PK地址,這是最早期的比特幣賬戶格式,公鑰是公開的,其中就包括被認為是中本聰的賬戶。如果這些比特幣不更換地址,它們是在量子計算攻擊范圍內的。
除了錢包地址,在比特幣系統中還有一個重要的地方使用到了SHA-256,那就是挖礦。挖礦就是暴力破解哈希函數的過程,通過調整輸入值「撞」出落在目標區間的輸出值。
如前文所述,從理論上講,量子計算機芯片在暴力搜索時是可以「碾壓」經典計算機芯片的,但我們同樣需要考慮到它的技術發展水平和芯片制作工藝。此外,芯片本就是隨著技術的發展不斷升級的,量子計算對挖礦的影響更多的是芯片升級的經濟問題,而不是安全問題。
量子計算下的安全:格密碼
在量子計算發展的同時,量子安全密碼學也在飛速發展,這其中最具代表性的是「格密碼」,它是基于格的密碼體制。
「格」是一個系數為整數的向量空間,可以把它理解成一個高維度空間,它有兩個基本的「格困難問題」,一是最短向量問題,一是最近向量問題,求解這類問題需要指數時間的復雜度,那么如果因子為多項式,這類問題就不存在多項式時間算法,對于量子計算也是一種計算上的不可能性。
這聽起來有些抽象,也許可以這么去理解:用筆在一張A4紙上畫出很多黑色的點,然后換支筆在紙上畫下一個紅色的點,我們需要做的是找到距離紅點最近的黑點,這很容易;現在從A4紙這個二維空間到一個三維空間,想象一下空間里漂浮著很多黑色的點,這時放一個紅色的點進去,同樣是去找距離紅點最近的黑點,這并不算很難,但相對于二維空間,其困難度已經不在一個級別了。
現在,我們把三維空間變成一個三百維的空間,給定一個紅點去找距離它最近的黑點,這個黑點一定存在,但想想看,找出它是不是幾乎不可能?這就是格困難問題。
格空間與橢圓曲線是相似的。在橢圓曲線上,可以有數學公式把公鑰和私鑰放在一個等式的兩頭,在格空間里,也有數學公式可以把類似黑點和紅點的東西放在一個等式的兩頭,那么我們就可以利用這類公式來生成公鑰和私鑰。
在橢圓曲線算法中,因為「離散對數困難問題」,傳統計算機無法通過公鑰計算出私鑰;在格密碼的算法中,因為「格困難問題」,量子計算機也無法通過公鑰算出私鑰。
格密碼發展很快,基于格我們不僅有抗量子計算的公鑰和私鑰,還有抗量子計算的對應于經典密碼概念的一系列密碼學算法或協議,它們可以被用于數字簽名、密鑰交換、零知識證明等等應用領域。
宇宙相信加密。加密容易,解密難。」
在可以預見的未來,依然如此。所以,不用擔心,對于比特幣是這樣,對于區塊鏈也是。參考資料
Arute,Frank,KunalArya,RyanBabbush,DaveBacon,JosephC.Bardin,RamiBarends,RupakBiswasetal."Quantumsupremacyusingaprogrammablesuperconductingprocessor."?Nature?574,no.7779(2019):505-510.
AndreasM.Antonopoulos答疑量子計算問題:www.youtube.com/watch?v=eo7mwcsUbdo;www.youtube.com/watch?v=wlzJyp3Qm7s
Gentry,Craig."Fullyhomomorphicencryptionusingideallattices."In?Stoc,vol.9,no.2009,pp.169-178.2009.
Aggarwal,Divesh,GavinK.Brennen,TroyLee,MiklosSantha,andMarcoTomamichel."QuantumattacksonBitcoin,andhowtoprotectagainstthem."?arXivpreprintarXiv:1710.10377?(2017).
Stewart,I.,D.Ilie,AlexeiZamyatin,SamWerner,M.F.Torshizi,andWilliamJ.Knottenbelt."Committingtoquantumresistance:aslowdefenceforBitcoinagainstafastquantumcomputingattack."?RoyalSocietyopenscience?5,no.6(2018):180410.
Regev,Oded."Lattice-basedcryptography."InAnnualInternationalCryptologyConference,pp.131-141.Springer,Berlin,Heidelberg,2006.
文:互鏈脈搏·金走車 來源:互鏈脈搏 2019年10月各國對區塊鏈的政策,或成為全球區塊鏈發展走向的分水嶺.
1900/1/1 0:00:00比特幣現金區塊鏈的出塊分配正在發生巨大變化,在所有發現新區塊的實體中,一家未知實體顯然已經控制住挖礦難度調整。 昨天,BCH網絡在三個小時內未發現任何新區塊,這在統計上被認為是極不可能的.
1900/1/1 0:00:00除了比特幣明年減半之外,比特幣現金也要減半,而且要比比特幣更早來臨,目前距離減半到來還有大約161天.
1900/1/1 0:00:00自從比特幣6月份沖高回落以來,經歷了4個月的回調。比特幣作為區塊鏈技術最成功的應用,從上游的挖礦芯片、礦場、礦池、到下游的交易所、錢包,以及周邊的媒體資訊、數據分析等,比特幣誕生十年,已然形成了.
1900/1/1 0:00:002019年10月20日至22日,第六屆世界互聯網大會·互聯網之光博覽會在烏鎮舉行。今年是互聯網誕生50周年,同時也是中國全面接入互聯網的第25個年頭,因此本屆大會的互聯網之光博覽會尤其引人注目.
1900/1/1 0:00:00Current是一家為滿足千禧一代和Z代用戶需求而設計的銀行,剛剛獲得了由GalaxyDigitalEOSVCFund,WellingtonManagementCompany.
1900/1/1 0:00:00