基于格密码的算法研究
Q1:傳統公鑰密碼面臨的挑戰
(1)安全性挑戰:Shor量子分解算法利用量子計算的并行性,對任意大的整數進行快速因子分解,大大降低目前普遍使用的RSA算法的破解時間。隨后又出現了針對基于離散對數問題的量子求解算法。這些量子算法的提出意味著只要出現實際的量子計算機,現有的以傳統公鑰密碼為基石建立的安全系統將喪失所有的安全性。
(2)效率挑戰:傳統公鑰密碼算法的密鑰長度一直在增加,使得傳統密碼算法碼效率很低。通過尋找具有更簡單運算的數學難題,來降低加解密操作的復雜性,有代表性的是基于格的密碼系統,其基本運算為矢量的加法和乘法。和RSA相比,橢圓曲線算法盡管密鑰和密文較短,但在橢圓曲線加法群上所進行的操作還是十分復雜,效率改善不大。
Q2格密碼的定義
格是n維線性空間中離散點的集合,格中的每個元素都是一個向量。在n維線性空間中m(m≤n)個線性無關的向量(b1,b2,…,bm)所生成的向量集合稱為格。向量組(b1,b2,…,bm)稱為格的一組基;格的基中的向量個數稱為格的維數;同一個格可以有多組不同的基,但是基的維數相同。
上圖中的格密碼以v1與v2為基,空間中所有的點都可以用v1,v2線性表示出來。(真實空間中的點是無窮的)
Q3:格上的困難問題
格密碼的主要數學基礎是格中的兩個困難問題:
(1)格的最短矢量問題(SVP):對于給定的一組基,找出其所生成的格中歐氏距離(兩點之間的距離)最小的非零向量。
即在格上找到一個非零向量v,滿足對格上的任意非零向量u,均有||v||≤||u||。
(2)格的最近矢量問題(CVP):對于給定的格及任一向量,找出格中與該向量距離最近的向量。
即在格上找到一個向量v,滿足對格上的任意非零向量u,均有||v-y||≤||u-y||。
格上的困難問題在代數上是很好解決的,但在幾何上是困難的
Q4:格密碼的優勢
基于格的密碼系統是后量子計算時代的密碼候選方案之一。
(一)由于格的最短矢量問題(SVP)和格的最近矢量問題(CVP)被證明在隨機歸約下均屬于NP-hard類問題。即某一類格中一些問題的平均難度等價于格上一類NP問題的難度。因此,在這些格問題基礎上構建的公鑰密碼體制,其任意一個實例的安全性與其最難實例的安全性相同;
(二)由于格是一種線性結構,格上的運算大多是線性運算,因此利用格難題所構建的新型公鑰密碼體質比現有方案運算速度更快;
(三)目前還不存在解決某些格困難問題的多項式量子算法,因此,基于格難題所設計的新型公鑰密碼體質可以抵御量子攻擊。
Q5:LWE算法
LWE算法與最壞情況下的格問題一樣難,而最壞情況下的格問題被認為是指數級難(即使面對的是量子計算機)。
這里的圖可以轉化為符號表示:
As+e=b;根據圖上所示A與b是已知的,e是很小的數(相當于噪聲),s是秘鑰。
如果沒有隨機產生的噪聲e,就是一個簡單的線性問題,求出秘鑰很簡單,但是增加了e,問題就變成了NP問題。
LWE問題(Learning With Errors)是一個格上的平均性困難問題,可以被歸約到格的SVP等困難問題,也是抗量子的。目前主流的格上加密方案都是構建在LWE之上。
Q6:LWE算法的基本思想
1)取一個隨機向量為秘鑰s;
2)矩陣A,向量b已知,e為很小的分布且e的模遠小于q;
3)通過b=As+e%q 最后計算s的值。
Q7:計算s的方法
NP-hard問題(NP是指非確定性多項式(non-deterministic polynomial,縮寫NP)。所謂的非確定性是指,可用一定數量的運算去解決多項式時間內可解決的問題。):任意NP問題都可以在多項式時間內歸約為該問題,但該問題本身不一定是NP問題。歸約的意思是為了解決問題A,先將問題A歸約為另一個問題B,解決問題B同時也間接解決了問題A.
1)現給定一個b與A已知,目的為求s;
2)選擇一個確定的值r,使得b’=Ar+b(此式子中所有參數都已知)
3)把b=As+e帶入上式
4)b’=A(r+s)+e(mod q)
5)s’=r+s---->b’=As’+e
6)解出s’后即可解出s
Q8:LWE的加密過程
Q9:傳統的秘鑰交換算法(DH算法)
傳統密鑰交換算法(DH算法):基于有限域上的離散對數難題,通過DH算法進行密鑰分配,使得消息的收發雙方可以安全地交換一個密鑰,再通過這個密鑰對數據進行加密和解密處理。
Q10:基于格的密鑰交換方案
基于LWE問題構造的被動安全密鑰交換協議:與傳統DH協議類似,稱為LDH協議,執行流程如下:
用戶A作為發送者,用戶B作為接受者。
協議執行之后,雙方會完成交換一個會話密鑰。
LDH協議正確性:
Q11:實例
基于格的統計零知識證明的一個案例過程:
1)首先rs與re是隨機的,前者相當于秘鑰,后者相當于噪聲。
2)t,a屬于已知且整個過程不發生變化
3)從V方傳來的c的作用相當于一個隨機變量,是不確定的。其目的是即如果P方證明成功,則不管V方傳來什么參數,等式都應該是成立的;
總結
以上是生活随笔為你收集整理的基于格密码的算法研究的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 英语教学计划软件测试,八年级下册英语教学
- 下一篇: 2019年研究生数学建模竞赛优秀论文汇总