以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

密碼學技術如何選型?終探量子計算通信的安全模型_ASS:mango幣是什么東西

Author:

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

作者:嚴強

來源:微眾銀行區塊鏈

經典密碼學技術的應用壽命將至?量子計算何以破解現有隱私保護方案?量子通信對隱私保護方案設計有何啟示?如何有效應對量子計算通信技術給隱私保護帶來的挑戰?

這里,我們將進入安全模型分析三部曲的最終章,跳出現有計算和通信能力的局限,著眼未來技術發展對隱私保護技術選型的啟示,剖析量子計算和量子通信技術對經典密碼學技術的影響,以及業務技術選型上的應對之道。

量子計算和量子通信都是基于量子力學的新興技術。不同于經典物理理論,量子力學研究的是物質世界微觀粒子運動規律的物理理論,可用來解釋經典物理理論無法解釋的微觀系統。該理論與相對論一起并稱為現代物理學的兩大基本支柱。

量子力學中,最經典的故事莫過于薛定諤的貓,如果類似故事用主人公小華和好友美麗來演繹,將會是這樣的:

小華初見美麗時,便萌生好感,經過前3論故事的“接觸”,小華對美麗情有獨鐘。一個浪漫的午后,小華鼓起勇氣向美麗告白。美麗心中早已傾慕小華,但矜持的她故意給小華一個小小的挑戰,以此驗證小華的真心——“我倆第一次約會的日期是哪一天?”

這可難住了小華!美麗的小劇場之前一共進行了3期,小華覺得這3個日期都有可能是正確答案。幸好,量子計算幫助小華解決了這個難題。

在傳統計算模型中,小華一次只能將一個日期的結果發送給美麗,如果答案不對,美麗用正確的結果進行驗證后就會出錯,那么小華的表白進程就有點尷尬了。在量子計算過程中,小華的答案則會同時包含這3個日期所有的結果,當美麗用正確的答案進行驗證時,便可順利驗證通過。

新理論聲稱密碼學家Len Sassaman是中本聰:一種新的理論聲稱,加密專家和密碼朋克Len Sassaman可能是匿名的比特幣創建者中本聰。在一篇Medium文章中,名為Leung的作者提出了多個原因。首先,在Sassaman于2011年7月3日去世的兩個月前,中本聰發送了他的最終通訊。根據Leung的說法,Sassaman在加入Network Associates協助開發PGP加密時也曾與Hal Finney合作,而Finney是第一個從中本聰處接收比特幣的人。Leung補充說,Sassaman的隱私立場也與導致比特幣網絡被創建的意識形態相吻合。他還指出,在開發比特幣期間,Sassaman居住在比利時,而據報道,在從事該項目時,中本聰居住在歐洲。(dailyhodl)[2021/3/8 18:23:38]

量子力學中,這種同時包含所有可能答案的狀態就稱之為量子疊加態。一旦結果被美麗接收,即觀測后,對應的量子疊加態就會發生概率性坍塌,答案就會唯一確定為某一個具體值,美麗就可以得到與心里匹配的答案了。

這種概率性的狀態表達,以及觀測事件之間的概率關聯性,是量子力學的核心理論要點。以此構建的量子計算和量子通信,都是利用量子的概率特征來突破現有技術的能力瓶頸。

以下將通過對比的方式,介紹經典計算機技術和量子計算機技術的差異,解析這些差異對基于密碼學的隱私保護技術方案有何影響和啟示。

量子計算機VS馮·諾依曼計算機

1945年,物理學家和數學家JohnvonNeumann提出一種理論計算模型——馮·諾依曼架構,為現代計算機系統設計奠定了理論基礎。

密碼學家Matthew Green:端到端加密面臨著越來越大的阻力:約翰·霍普金斯大學密碼學家、安全技術專家和計算機科學教授Matthew Green表示,試圖整合端到端加密的公司正面臨著一場艱苦的戰斗,因為開發保護私人通信系統的創新者面臨著越來越大的阻力。Green表示:“真正讓我擔心的是,美國和其他政府強烈要求阻止部署新的E2E加密。”去年,美國總檢察長William Barr與來自美國、英國和澳大利亞的國際執法合作伙伴簽署了一封公開信,批評Facebook在其所有消息平臺上實施E2E的計劃,致使對端到端加密(E2E)的反擊受到了很大推動。(The Daily Hodl)[2020/6/6]

馮·諾依曼架構將計算的過程表達為數據存儲過程和程序控制過程,數據和指令都以二進制的形式保存在存儲介質中,并由以CPU為代表的控制器讀取指令流,控制對不同數據的讀寫,以此串行執行程序。

盡管多核多線程CPU早已普及,但其核心執行流程依舊是在馮·諾依曼架構下的串行執行,對應的軟件實現和算法設計,都是在串行執行程序的前提下進行的。

相比之下,量子計算機由于量子疊加態帶來的概率不確定性,天生自帶并行屬性。

根據量子力學中的波粒二象性,每一個量子可以表達成符合一定概率分布的波。對應到計算機系統設計中的二進制格式,就是單獨一個量子可以同時表達0和1的值,并能夠同時以0和1的值與另一個量子進行交互,完成并行計算。

這樣的一個量子通常被稱之為qubit,由于量子態內在的不穩定性,表達一個可讀取的邏輯qubit,通常需要維持多個物理qubit來實現系統容錯。控制這些qubit,需要在接近絕對零度的超導環境中進行,非常具有挑戰性,目前對應的工程實現尚屬早期。

聲音 | 中科院院士王小云:密碼學為區塊鏈提供了安全保障技術:據經濟參考報消息,中國科學院院士王小云介紹了格密碼理論的最新發展,并深入探析了區塊鏈的技術發展過程。王小云認為,密碼學為區塊鏈提供了交易信息防篡改、可追溯、私密性以及匿名性保護等安全保障技術,下一步,區塊鏈安全需要從算法安全、協議安全、實現安全、私鑰安全等四個方面著手展開研究。[2020/1/2]

Google在2019年的論文中披露,已經可以一定程度上控制53個邏輯qubit的量子計算機,在3分20秒內完成對一個隨機數序列是否由一個隨機數生成器來生成的證明,同樣的證明在現有馮·諾依曼架構下的超級計算機上執行,需要大約1萬年的時間。

早在2017年,Google的合作公司D-Wave發布了D-Wave2000Q,據稱實現了2000個邏輯qubit的量子計算機,理論上可能已經具備破解當下所有經典密碼學技術方案實現的技術能力。

量子計算機提供了指數級別的計算速度提升,可以打破我們在第3論中提到的計算不對稱性。對于馮·諾依曼計算機,經典的NP問題是一個計算困難性問題,而對于量子計算機,理論上可以輕易實現P=NP,攻擊者可以由此破解對應的經典密碼學算法,提取出對應密鑰和密文中的隱私數據。

根據美國國家標準與技術研究院NIST分析,量子計算機對于非對稱密碼學體系沖擊最大。用來構造公鑰密碼算法的經典計算困難性問題,如大數分解困難問題、離散對數困難問題、橢圓曲線上的離散對數困難問題,在量子計算機上均有有效的破解算法——Shor算法及其變體。這些攻擊會具體影響到現在的公鑰加密、數字簽名、數字證書、密鑰交換等的安全性。

相比非對稱密碼學體系,量子計算機對稱密碼學體系沖擊相對較小。只要適度增加密鑰的長度,就能限制目前最有效的Grover算法攻擊,但不排除將來會有更高效的量子破解算法面世。這些攻擊會具體影響到對稱加密、哈希,以及基于哈希的派生算法。

動態 | The Block分析師評論“美國國家安全局致力于開發抗量子加密貨幣”:準確說是抗量子密碼學:The Block分析師針對cointelegraph的“美國國家安全局正致力于開發抗量子加密貨幣”的報道表示,”quantum-resistant crypto”意味著抗量子密碼學,不是抗量子加密貨幣。[2019/9/5]

量子計算機對于經典密碼學算法的影響,不僅作用于軟件層面,對硬件層面也有很大沖擊。

目前,以IntelSGX為代表的硬件可信執行環境,其內部實現的密碼學算法都是不抗量子計算的。部分對性能要求高的模塊,如SGX的內存加密模塊,是以不能升級的硬件方式實現的。一旦量子計算機得到有效應用,相比遠程替換算法軟件,物理替換可信硬件可能會帶來更大的代價。

為了應對量子計算對經典密碼學算法的威脅,我們需要構造新的計算困難性問題。考慮到量子計算安全模型,即允許攻擊者使用量子計算機的安全假設下,構造安全的密碼學算法充滿很多不確定性,目前尚無相關國際或國家標準。

NIST已經于2019年開始了第二輪抗量子算法標準的公開評估,預期在2021年會有一定的階段性成果,之后會開展第三輪的公開評估流程,預期在2022年完成標準草案。時任中國科學院信息工程研究所副所長的荊繼武,在2018年的新聞報道中表示,我國或將在2022年前后開展抗量子算法的標準化工作,預期2025年左右實現商業化落地。

在工程上的標準制定完成之前,須謹慎使用現有抗量子算法,即便是源自頂級學術刊物的方案也有出錯的可能性。另一方面,如上一論所言,即便理論上是安全的,工程實現上的疏漏也會導致隱私數據泄露。

聲音 | 迅雷張驍:區塊鏈發展與密碼學的提升密不可分:據洞察網消息,迅雷鏈底層研發工程師張驍表示,區塊鏈之所以能夠解決人與人之間的信任問題,就是因為它的不可篡改性,而這種特性本質上又是基于密碼學算法來實現的。因此密碼學在區塊鏈中的地位很關鍵,區塊鏈作為信任的基石,密碼學則是區塊鏈的基石。

他相信,未來區塊鏈的發展與密碼學在安全領域上的提升是密不可分的,所以迅雷鏈也會緊密地去關注密碼學未來的發展。[2018/12/24]

所以,使用經過一定時間檢驗的抗量子算法工程標準,是確保最終隱私保護方案有效性的必要條件。

量子通信VS經典通信

經典通信中的信息傳遞,由發送方通過傳輸介質向接收方發送各類信號載體的方式進行,其傳輸的速度受限于傳輸介質的傳導性和信號載體的能量衰減率,根據相對論,其最高傳輸速度不超過光速。

相比之下,量子通信是基于量子糾纏原理,理論上在設備初始化之后,并不需要由發送方向接收方發送任何信號載體,有實現超光速瞬時通信的可能性。

關于量子糾纏理論的解釋,我們繼續以小華和美麗的故事來呈現:

承接上面的故事,小華基于量子計算有驚無險地通過了美麗的考驗,成功牽手美麗,并與之確定戀人關系。

陽光明媚的一天,兩人相約在游樂場共度一個溫馨的午后。臨別時,美麗預感會有驚喜發生。一轉身,小華正拿著自己最中意的玩偶緩緩靠近,恍惚間,美麗仿若偶像劇女主角,臉上漫開了幸福。

兩人的心電感應,就類似于量子之間的糾纏態。對處于糾纏狀態的量子對中的一個量子進行觀測,會導致量子對中另一個量子的狀態做出相應改變,這一改變與之前的觀測結果有100%的關聯性。小華充滿愛意的心做出變化,與之對應地,美麗的內心就會有所感應。

盡管量子糾纏的特性可以無視物理距離進行信息傳遞,但由于目前的量子密碼通信協議設計,如經典BB84協議和Ekert91協議,依舊需要配合經典通信信道來實現信息的加密傳輸,所以,量子密碼通信實現依舊不能達到超光速傳遞信息。

關于量子密碼通信的安全性,一個常見的觀點認為它是信息論安全的,即無論攻擊者擁有多少計算資源,例如量子計算機,也無法破解其安全性。對應的解釋是,其安全性不是由計算困難性理論來保障,而是由物理學法則中的

測不準原理來保障。

測不準原理由物理學家海森堡在1927年正式提出。作為量子力學的基本原理之一,該原理規定,對于一個量子,不可能同時知道它的位置和速度,每一次對量子的觀測都會改變量子的狀態。由此可以進一步推出不可克隆原理,即攻擊者無法完美地復制一個量子的所有狀態。

對于量子通信而言,即便攻擊者有能力截獲一個處于糾纏狀態的量子,也不能完美地復制它。

攻擊者無法在接受者不知情的前提下,將復制的量子轉發給接受者,以此實現對于敏感數據的竊聽。一旦竊聽發生,必然會改變被竊聽的通信雙方的量子狀態,由此暴露攻擊者的存在。

這里需要注意的是,盡管量子密碼通信協議能夠有效檢測出直接進行竊聽的攻擊者存在,但依舊可能受到其他協議層面攻擊的影響。

例如,經典的中間人攻擊,攻擊者作為中間人在通信雙方之間轉發消息,對于發送方使用一對糾纏狀態的量子,對于接收方使用另一對糾纏狀態的量子,此時如果沒有其他可信的信道連接通信雙方,他們將無法感知攻擊者的存在。

在工程實現方面,目前我國處于國際領先水平。2016年,墨子號量子科學實驗衛星率先實現了千公里級星地雙向量子糾纏密鑰分發,有效帶寬約為每秒千比特。

但量子通信距離民用還有相當的距離,主要受限于量子信道的不穩定性。在強干擾環境中,如日光環境、城市密集地帶,長距離傳輸處于糾纏狀態的光量子,依舊是一個巨大的挑戰。

量子通信的現世,對密碼學協議以及上層隱私保護方案的構造來說,無疑添加了一把利器。作為一個可信信道,量子通信可以有效簡化密碼學協議設計,并提高隱私保護方案的有效性,一定程度上抵抗量子計算機帶來的威脅。

同時,對當下基于傳輸時間的物理限制而設計隱私保護方案來說,量子通信的出現會影響其有效性。

比較典型的例子是,結合硬件安全模塊和物理距離檢測的遠程代碼驗證協議。在該協議的驗證過程中,誠實的驗證者會直接調用本地的硬件安全模塊來完成服務器認證,只需要一次交互,有效延時能控制在較短的時間之內。如果攻擊者試圖對該協議進行攻擊,必須要通過代理服務器對數據進行轉發,在只考慮經典通信的前提下,額外的轉發延時則需要較長的時間。

因此,即便攻擊者控制了另一個硬件安全模塊,將遠程代碼驗證請求轉發到被控制的硬件安全模塊,讓其代為計算,攻擊者實際消耗的總時間,也會比沒有轉發時,直接在本地使用未被攻克的硬件安全模塊計算耗時顯著地長,由此可以檢測出攻擊者的存在。

以上信息傳遞需要一定時間的安全假設,在量子通信的距離無關瞬時通信能力面前不再成立。原本攻擊者使用代理服務器轉發的時間,可能會由1s急劇縮小到接近0s。這一變化顯著降低這類依賴信息傳輸時間限制而構造的遠程代碼驗證協議的有效性,使其面臨整體失效的風險。

總體而言,量子通信的出現將為信息傳輸過程帶來了新的基本特性,基于經典通信特性設計的隱私保護方案需要適時進行再評估,核實其在量子通信安全模型下的有效性。

正是:密碼經典功高無敵手,量子新秀刃利待出鞘!

量子計算和量子通信是信息技術發展過程中,一個重要的里程碑式突破,勢必會對現有的技術體系產生沖擊,影響現有隱私保護技術方案的有效性,但同時這些新理論和工具也將推動相關技術的革新,促使更高效、更安全的隱私保護技術方案的出現。

目前兩者的工程實現距離商用還有不小的距離,加之工程技術標準化尚在逐步推動中,企業在技術選型時,應充分考慮其帶來的風險,對使用經典密碼學算法和硬件安全模塊的系統提供可拔插設計,對不同保密級別的隱私數據提供必要的備選方案,以此控制特定量子計算通信技術突然實用化帶來的沖擊。

密碼學技術選型相關的重點理論科普到此暫告一段落,下一論開始,我們將具體展開對密碼學算法核心組件的技術剖析,欲知詳情,敬請關注下文分解。

Tags:區塊鏈MANASSQUBaia幣區塊鏈mango幣是什么東西Stellar ClassicQUB價格

比特幣交易
比特幣三月經歷最嚴重暴跌,加密貨幣泡沫將裂?_CLU:BCH

據彭博社報道,新冠病大流行給全球經濟蒙上了濃厚的陰影,投資者紛紛拋售高風險資產,金融市場的動蕩對比特幣造成了嚴重破壞,3月份是加密貨幣有史以來最糟糕的月份之一.

1900/1/1 0:00:00
區塊鏈行業周報 | 減產來臨,機遇還是挑戰?_BTC:區塊鏈

導讀 2020年是數字通證發展史上重要的減產年,以BTC為代表的多個主流通證將迎來減產。 摘要 專題:減產來臨,機遇還是挑戰?2020年,ETC、BCH、BSV、BTC、DASH、XZC、ZEC.

1900/1/1 0:00:00
金融模型如何解釋比特幣減半后的價格走勢?_比特幣:revo幣團隊

比特幣每四年減半一次,目前礦工的獎勵是每塊12.5比特幣,屆時礦工獲得的區塊獎勵將減半。下一次減半將很快在2020年5月發生。2012年11月第一次減半后恰逢比特幣大漲.

1900/1/1 0:00:00
一周回顧 | BCH、BSV減半后,市場對比特幣減半還有信心么?_加密貨幣:NEO

本周,比特幣現金和BitcoinSV兩大比特幣分叉幣先后減半,然而減半后的價格走勢并不理想,這對一個月后的比特幣區塊鏈獎勵減半意味著什么? 宏觀形勢與加密市場 本周全球新冠疫情仍然嚴峻.

1900/1/1 0:00:00
人民幣海外移動支付增長,談DCEP解決交易“雙花問題”之道_數字貨幣:IPS

上周,中國人民銀行發布了有關支付處理的詳細信息,該數據顯示了移動支付的大幅增長,其中交易數量增長了68%,人民幣金額增長了25.13%.

1900/1/1 0:00:00
年薪比肩高盛,隔屏發起搶人大戰,首屆區塊鏈云聘會燃爆“金三銀四”_DOR:COURSE

“有法律相關崗位么?”,“有招運營么?”,“有招市場么?”,“招客服么?“,“開發招么?”,“成都有哪些崗位啊?”,“求海南海口或者三亞區塊鏈崗位”,“面向2021屆畢業生招聘實習生么?”.

1900/1/1 0:00:00
ads