黎曼猜想被證明 網際網路要裸奔 下

2021-01-12 e籤寶電子合同

上回書咱們說到非對稱加密算法的扛把子RSA。這裡就來翻一翻RSA瓤子裡的東西。這樣各位看官可以了解為啥素數規律和RSA有直接的關聯。

--RSA的一些數論基礎--

1、 互質:如果兩個正整數,除了1以外,沒有其他公因子,我們就稱這兩個數是互質關係(coprime)。比如,15和32沒有公因子,所以它們是互質關係。這說明,不是質數也可以構成互質關係。(質數就是素數,還記得不?)

2、 歐拉函數φ(n):任意給定正整數n,求出在小於等於n的正整數之中,有多少個與n構成互質關係?(比如,在1到8之中,有多少個數與8構成互質關係?)

3、 歐拉定理:a^(φ(m)) 同餘1(mod m) (a與m互質),這個定理是後面RSA公鑰私鑰互為加解密的基礎,但解釋起來很燒腦,還有一堆推論,都是數學遊戲,這裡就不展開了。

--RSA的運算過程--

前面咱有嘮過對稱加密算法和非對稱加密算法的很大不同,就是對稱加密算法對密鑰不講究,而非對稱加密算法的密鑰講究的很。RSA作為一種典型的非對稱加密算法,密鑰不是隨便找的,是要經過一系列燒腦的操作才能整出一對合格的密鑰(公鑰、私鑰),兩者之間有很強的關聯性,所以一旦從數學的角度掌握了素數規律,擁有公鑰很可能就可以用比以前窮舉法更低的成本推算出私鑰。為啥?首先看看RSA密鑰對的生成方法。

第一步,隨機選擇兩個不相等的質數p和q。

比如選擇61和53。(實際應用中,這兩個質數越大,就越難破解。)

第二步,計算p和q的乘積n。

如上:61和53相乘。n = 61×53 = 3233

第三步,計算n的歐拉函數φ(n)。

根據上面偷懶沒細說的一個推論,φ(n) = (p-1)(q-1)=60 x 52 = 3120

第四步,隨機選擇一個整數e,條件是1< e < φ(n),且e與φ(n) 互質。

咱們在1到3120之間,隨機選擇17吧(實際應用中,常常選擇65537,比較安全)

第五步,計算e對於φ(n)的模反元素d。

所謂"模反元素"就是指有一個整數d,可以使得e*d被φ(n)除的餘數為1。

數學表達是

e*d ≡ 1 (mod φ(n))

這個式子等價於

ed - 1 = kφ(n)

於是,找到模反元素d,實質上就是對下面這個二元一次方程求解。

ex + φ(n)y = 1

已知 e=17, φ(n)=3120,

17x + 3120y = 1

這個方程可以用"擴展歐幾裡得算法"求解,咱就不列具體過程了。總之,算出一組整數解為 (x,y)=(2753,-15),即 d=2753。

第六步,將n和e封裝成公鑰,n和d封裝成私鑰。

在上面的例子中,n=3233,e=17,d=2753,所以公鑰就是 (3233,17),私鑰就是(3233, 2753)。對的,非對稱加密算法的密鑰就是長這麼任性!在實際的例子中,公鑰大多是以X.509證書規定的數據結構來存放的:

私鑰通常以PEM文件方式攜帶:

--RSA算法破解分析--

1、能破嗎?怎麼破?

分析一下,有沒有可能在已知RSA密鑰的n和e的情況下,推導出d呢?

所以結論是:如果n可以被因數分解,d就可以算出,也就意味著私鑰被破解。

可以看到,RSA算法的密鑰對是非常關鍵的。由於公鑰是公開的,RSA破解的風險主要在於私鑰的安全性,而安全性又分存儲安全性(要藏好)和算法安全性兩方面(要抗破解)。公鑰、私鑰之間如果n可以被很快的因數分解(每個n只有一種分解可能性),d就可以被很快算出來,也就意味著私鑰被破解了。所以RSA的算法命門在於大數的因數分解。實際上大整數的因數分解是一件非常困難的事情。目前,除了暴力破解,還沒有發現別的有效方法。維基百科是這麼描述的:

舉例而言,你可以對3233進行因數分解(61×53),但是你沒法對下面這個整數進行因數分解:

它等於這樣兩個質數(素數)的乘積:

之所以舉這個例子,因為這大概是人類成功分解過的最大整數(232個十進位位,768個二進位位)。比它更大的因數分解,還沒有被報導過的案例。而目前主流的RSA密鑰長度是2048,被認為以當今世界上最先進的計算機也是無法在合理的時間內暴力破解的(以後量子計算機成熟後就說不好了)。

另外,大夥可能會覺得奇怪:這都講到密鑰了,怎麼不順著往下說RSA的加密、解密過程呢?其實RSA的加解密算法比較直觀,本身是公開的。所以算法層面沒什麼好保護的,加密算法的保護主要在密鑰保護上面。

而密鑰的保護除了密鑰本身的傳遞、保存的保護之外,最重要的是防止破解。這就呼應到上面的黎曼猜想的證明了。之所以黎曼猜想被證實有這麼大的影響,最主要的也是因為證明的過程中可能會引發數學基礎的大地震,導致RSA的基礎:素數分布的規律被找到,這令大數(值很大的數)的因數分解變得比原來成本更低,從而使黑客獲取公鑰後比以前更快速的破解私鑰。

2、算法破了怎麼用?

RSA算法的長期廣泛使用導致整個信息產業對其依賴性特別強。算法如果可以被以能接受的成本破解(數學家叫多項式時間複雜性),那影響的範圍實在太廣了。黑客可以攻入銀行的安全系統,盜取以RSA保護的信息,篡改或製造籤名保護的信息… 舉個簡單的例子,一個SSL網站的數字證書(含公鑰)是公開可獲取的。黑客可以獲取數字證書後進行算法破解,獲取私鑰。之後便用私鑰解密基於HTTPS通信的數據,如果這個網站涉及巨額交易,之後的事情就很可能很大條了…還有更危險的事情就是用非對稱加密算法保護的數據,一旦被破解,這些業務系統恐怕就要裸奔了!

--黎曼猜想被證明導致的RSA密碼體系風險有多大--

其實從目前的情況看起來,我們還不能完全確認阿蒂亞對黎曼猜想的證明是完全嚴謹的,而且他展示的證明論文也非常龐雜,目前還處於同僚論證的階段。業內已經有多位磚家對老先生的論文表示質疑。先不說這位麥可·阿蒂亞爵士是否真正攻破了這個曠世難題(老人家年齡大了,最近已有過幾次失手,所以有人質疑他這次又在吹牛皮),假設成功的證明了黎曼猜想,則大概率能夠給素數分布提供很多啟示,甚至直接的規律,比方說我們可以用黎曼猜想來估計了素數定理的誤差項,估計相鄰素數之間的間隙等等,但是我們要知道RSA2048位的密鑰長度是2048個二進位位,換算成十進位的話密鑰是超過10的幾百次方的超級大數。有學者計算過,即便在素數有規律可循的情況下,暴力破解RSA2048位的成本依然是天文數字。

即使我們可以通過黎曼猜想來獲取到某個素數公式,我們也很難用它來快速破解RSA算法。為了破解RSA2048算法,我們需要的不是素數公式,我們需要分解質因數,而有了素數公式只能讓分解因數這個本身耗費巨量算力的事情變得成本低了一些。現在業界常用的RSA算法的加密密鑰的大小是2048位,根據素數定理,這個大小範圍內素數大約佔了所有整數的幾千分之一。我們或許可以用給定區間內的所有素數來給破解RSA的算法提速數以萬倍,但是本身成本仍然是天文數字(就好比成本從十億年降到一億年沒啥區別)。如果有一天這個破解成本結合計算機運算速度的提升變得可以接受,卻很容易就被RSA密鑰長度的翻倍(提高到4096位)搞定,因為當從密鑰長度2048增加到從4096位,暴力破解的碰撞成本會被提高數百億倍。

--多說幾句--

是不是有種看了場100分鐘的球賽0比0的感覺?!當然,話又說回來,RSA算法樹大招風。有多少黑客、學者、各路英雄都盯著RSA。無論是誰,只要能以可以接受的成本攻破RSA,即可在世界範圍內揚名立萬。當年山東大學王小雲教授通過碰撞法攻破了SHA1和MD5算法就受到了廣泛的關注,更何況是RSA呢!從另一個角度說,萬一真的RSA算法被攻破,曾經籤署過的電子合同也存在被篡改的可能性,現存的數字證書也不再安全。

從這個角度說,我們電子籤名的從業者應該高度關注相關的新聞,密切注意業內的動態,並隨時做好升級密鑰、切換算法的準備。同時,也應在某些特定的場合中應積極的推薦客戶採用基於橢圓曲線算法的國密系列算法來替代RSA,以規避潛在的算法破解風險。

重點來了!e籤寶作為從業十六年的行業鼻祖,一路見證電子籤名行業的演進和技術發展。無論是對於國際主流技術或者國密技術都有著最敏銳的嗅覺和判斷,e籤寶是目前唯一一家支持國產SM系列加密算法的網際網路電子籤名平臺,同時可以將SM2系列算法植入到PDF和OFD兩種版式文件格式中,以支持政府、金融領域對自主可控的安全要求,是浙江省「最多跑一次」指定唯一的電子籤合同供應商。正是基於持續的技術投入和前沿跟蹤,我們才能一直以最安全可靠的技術體系來保障客戶的信任體系。一句話:籤合同,用e籤寶

相關焦點

  • 160年難題,黎曼猜想被他證明了?
    黎曼猜想之所以重要,主要是因為在現代數學中,有很多深入和重要的數學、物理結果都能在它成立的前提下得到證明。如今,大部分的數學家都傾向於相信黎曼猜想是正確的。因此,如果黎曼猜想被證明,大家都鬆了一口氣,我們得到了一項很好的數學工具;但是,如果黎曼猜想被證偽,那很多數學、物理結果都得推翻重來。黎曼猜想最初於 1859 年由德國數學家波恩哈德·黎曼提出。
  • 如果黎曼猜想被證明將會有何意義
    在文章中,黎曼定義了一個函數:黎曼ζ(zeta)函數,並推測,ζ函數會在某些點上取值為零,在這些點中,有些被稱作非平凡零點,這些非平凡零點都分布在一條特殊的直線上,這條直線通過實軸上的點(1/2,0)並和虛軸平行,非平凡零點的實數部分(實部)都是1/2。  這個推測也被稱為黎曼猜想,即一種假說。提出一個假說似乎容易,但證明它卻要花費極大的力氣,這個假說困擾了數學界整整159年。
  • 如何讓全球銀行都破產,你只需要攻克黎曼猜想
    至此之後,數學家們都費勁心思想要找尋質數分布的規律,1859年,黎曼發表了《論小於已知數的質數個數》論文探究質數分布的奧秘,這篇只有短短八頁的論文就是黎曼猜想的「誕生地」。在這篇論文中,黎曼通過研究,發現質數出現的頻率的規律,提出了黎曼Zeta函數,黎曼Zeta函數是一個無窮級數的求和。
  • 有人號稱證明了黎曼猜想
    近日,菲爾茲獎和阿貝爾獎雙料得主、英國皇家學會前主席麥可· 阿提亞爵士宣稱自己證明了黎曼猜想,他將在9月24日的海德堡獲獎者論壇上進行宣講,屆時或將給出黎曼猜想的全部證明過程。
  • 一文讀懂「黎曼猜想」
    在黎曼的時代,質數定理雖然經由高斯(Gauss)和勒讓德(Legendre)提出,但卻是未經證實的猜想。它讓最捉摸不定的質數在陽光下現出了蹤跡。當時最傑出的數學大師也為此傾心,試圖證明質數定理。
  • 困擾數學界159年的黎曼猜想被證明 會有什麼意義
    在文章中,黎曼定義了一個函數:黎曼ζ(zeta)函數,並推測,ζ函數會在某些點上取值為零,在這些點中,有些被稱作是非平凡零點,這些非平凡零點都分布在一條特殊的直線上,這條直線通過實軸上的點(1/2,0)並和虛軸平行,非平凡零點的實數部分(實部)都是1/2。這個推測也被稱為黎曼猜想,即一種假說。提出一個假說似乎容易,但證明它卻要花費極大的力氣,這個假說困擾了數學界整整159年。
  • 英國數學家證明黎曼猜想【更新】
    雷鋒網(公眾號:雷鋒網)消息,數學歷史上最重要的未解決問題之一被解決了,英國退休數學家 Michael Atiyah 周一在德國海德堡 Laureate Forum 論壇的一次演講上宣布證明了黎曼猜想(RH)。Atiyah 用一篇簡潔的 5 頁論文闡述了證明的過程,核心在於一個新的函數 T(s),這是根據他的老師 J.A.Todd 的名字 取名的一個函數。
  • 一張海報背後的「掃地神僧」:82歲北京大學老教授證明黎曼猜想
    在這張關於黎曼猜想的海報中,提到了Reich定理是證明黎曼猜想的關鍵,那麼這個Reich定理又是什麼呢?這個定理與複分析中的擬共形映射有關。什麼是複分析呢?複分析簡單地說就是研究複平面之間的映射,所謂共形映射是其中的一種重要映射,在這種映射下,圖形(局部)的樣子不會改變,但面積會有所改變。共形映射的好處是把圓映射為圓,保持圓的形狀。
  • 證明「黎曼猜想」?再等等
    「用我的方法,『黎曼猜想』已經被證明了。」9月24日,89歲的英國皇家學會前主席麥可·阿蒂亞在2018海德堡獲獎者論壇上展示了他對「黎曼猜想」難題的證明結果。  結果有待商榷  阿蒂亞用「簡單」的5頁紙敘述了他的研究內容。
  • 英國數學家宣布證明黎曼猜想
    英國數學家宣布證明黎曼猜想 雷鋒網消息,數學歷史上最重要的未解決問題之一被解決了,英國退休數學家 Michael Atiyah 周一在德國海德堡 Laureate Forum 論壇的一次演講上宣布證明了黎曼猜想(RH)。
  • 黎曼猜想證明現場怎麼回事?黎曼猜想是什麼解答出來了嗎揭秘
    黎曼猜想是什麼?這個堪稱世紀難題的數學猜想,在昨日再次引起全世界關注,因為有人要直播「解題」。如果黎曼猜想被證明是正確的,那麼它就表明素數沒有什麼突出的規律,也就是說它們幾乎具有均勻的隨機性。如果黎曼猜想得到證明,它可以說是驗證了從1到n中平均有N/ln(N)個素數,因此素數基本上是按照N/ln(N)的均勻分布。注意這裡的N/ln(N)只是代表我們機器學習中常見的數學期望,並不能說確切地等於N/ln(N)個素數。
  • 「黎曼猜想」要摧毀區塊鏈和加密貨幣?
    如果一直找下去,我們該如何知道下一個P是多少呢?這就是黎曼猜想要解決的問題,他想找到素數精確的分布規律。實際上,早在古希臘時代,人們就已經發現了素數,但是直到現在,依然沒有完全揭開素數的神秘面紗。黎曼猜想從被提出到現在,一直懸而未決,困擾世人長達一個半世紀。德國數學家希爾伯特在1900年,將黎曼猜想列為23個著名的數學問題之一。
  • 年近90的數學家要證明「黎曼猜想」?一起來圍觀!
    黎曼猜想由德國數學家波恩哈德·黎曼於1859年提出,很多深入且重要的數學和物理結果都能在它成立的大前提下得到證明。然而,就在今天,被譽為本世紀最偉大數學家之一,菲爾茲獎和阿貝爾獎雙料得主、英國皇家學會前主席、數學家麥可·阿提亞在德國海德堡獲獎者論壇上闡述了其給出的「黎曼猜想」證明過程。
  • 一場天才的證明遊戲:「黎曼猜想」被證明了嗎
    但據此下結論,黎曼猜想已被證明,恐怕為時尚早。「證明太短,直覺告訴我可能不嚴謹。」對於阿蒂亞的證明,中科院院士、中國數學學會理事長袁亞湘說。「網上炒得很厲害,但是按照慣例,我們數學工作者一般以論文在學術期刊上正式發表為準。」袁亞湘在接受科技日報記者採訪時說。
  • 困擾數學界159年的黎曼猜想被證明,會有什麼意義 |新京報專欄
    這個推測也被稱為黎曼猜想,即一種假說。提出一個假說似乎容易,但證明它卻要花費極大的力氣,這個假說困擾了數學界整整159年。現在,被譽為本世紀最偉大數學家之一、也是菲爾茲獎和阿貝爾獎獲得者的英國數學家麥可·阿蒂亞在預印本網站arxiv上公開了他證明黎曼假設(猜想)的預印本,並將在24日的海德堡桂冠論壇上以45分鐘的演講形式展示他的成果。
  • 尷尬的證明:從ABC猜想到黎曼猜想
    在大數學家、89歲高齡的阿蒂亞爵士聲稱解決了黎曼猜想後,另一則重磅新聞,新晉菲爾茲獎得主Peter Scholze和數學家Jakob Stix公開撰文指出,曾經轟動一時的、望月新一的關於ABC猜想的長篇證明論文,存在著嚴重的、難以挽救的致命傷。
  • 證明黎曼猜想的5頁論文來了!
    量子位 綜合自網絡數學家阿蒂亞(Michael Atiyah)剛剛公開了他證明黎曼猜想的論文預印本。黎曼猜想,是德國數學家波恩哈德·黎曼在1985年提出的,也是猜想界皇冠,多年來吸引了許多數學家為之絞盡腦汁。千禧年之際,美國提出7個世紀性的數學難題,並為能解決問題的科學家設置了100萬美元獎金,黎曼猜想就是其中之一。
  • 黎曼猜想將揭謎底 又一個見證歷史的時刻?黎曼猜想是什麼?
    儘管無數一流數學家向證明黎曼猜想發起衝擊,卻無一人能成功,不過也許就在今天,著名數學家、菲爾茲獎和阿貝爾獎雙料得主阿蒂亞爵士或將成為這樣一個劃時代的人物。他表示,自己基於馮⋅諾依曼、希策布魯赫和狄拉克等人的成果,使用一種「簡單而全新」的方法證明了黎曼猜想。這場被安排在德國當地時間9月24號上午9:45-10:30的演講也因此引起全世界數學家們的關注。「黎曼猜想」的證明到底有何重要性?為什麼最接近證明黎曼猜想的人是阿蒂亞爵士?
  • Atiyah證明黎曼猜想的基本思想與價值
    以下是他談Atiyah關於黎曼猜想的證明的文章,觀點專業而且獨到,轉載此文,希望大家能根據此文看到Atiyah證明黎曼猜想的基本思想與價值。 這幾天大家都非常關心Atiyah證明黎曼猜想的事情。作為一名數論工作者,我自然也非常關心,而且反覆閱讀了Atiyah的兩篇論文。
  • 難以證明又無法推翻的黎曼猜想被證明了嗎?
    難以證明又無法推翻的黎曼猜想被證明了嗎? 李倩 發表於 2018-09-25 09:47:07 困擾人類 159 年的最重要數學猜想被證明了?