〈研之有物〉量子電腦到底有多霸氣 即將引爆終極密碼戰?

量子電腦與密碼學

2019 年 10 月 Google 宣布實現「量子霸權」,全世界都驚呆了!量子電腦已經無所不能了嗎?其實量子霸權的意義在於:人類已經讓量子電腦做到一件古典電腦很難達成的事。不過,量子電腦的進度條的確正快速更新,未來可能帶給人類巨大的福祉,但也會顛覆現今保護我們隱私的加密系統。中研院資訊科學研究所鐘楷閔副研究員,形容密碼學就像一場好人與壞人的戰爭,站在量子密碼學研究前緣的他,將為研之有物的讀者揭密這場沒有煙硝的資安保衛戰。

欸…… 什麼是量子電腦?

量子電腦和傳統電腦的不同,在於它利用了各種神奇的量子特性,也就是當我們以微觀的角度觀察這個世界時,那些與巨觀世界不同的特性,像是讓薛丁格的貓介於死和沒死之間的「疊加態」,或是兩個量子即使相距很遠,仍舊會依據對方狀態而決定自己當下狀態的「纏結效應」。( 有關量子效應可參考「研之有物」相關文章 量子電子元件 hen 夯,但如何掌握像情人心難測的量子位元?) 當電腦擁用這些比科幻還科幻的量子特性,將克服古典電腦無法解決的難題。

不過,鐘楷閔立刻猛劃重點強調:

量子電腦不是無所不能,或是每秒鐘能做的事情比較多,它只在某些「特定 (但很重要) 問題」上,有比古典電腦更快的解法,只需要更少的空間和步驟。

舉例來說,未來量子電腦可能用於模擬細菌的固氮作用,將大大提升農業上製造氮肥的效率。因為細菌進行固氮作用時,有些關鍵步驟具有量子效應,模擬這些效應的複雜度將超越了古典電腦的極限。而量子電腦「剛剛好」是以量子效應運作,當然較有希望成功。

不幸的是,量子電腦可攻克的「特定問題」,也包括時刻保護我們交易安全和隱私的加密系統……

堅不可摧的加密系統

登入網購平台,輸入帳號密碼,選好商品放入購物車(又剁了好幾根手指) 之後,再填好地址及電話,按下結帳,輸入信用卡卡號,接下來只要等商品來到家門口,啊,多美好的日常…… 等等,你算過在剛剛那五分鐘裡,親手傳出多少個人資訊嗎?這個問題細思極恐,事實上不必太擔心,因為密碼學正默默保護著我們。

早在兩千年前凱撒大帝打仗時,就懂得使用「暗號」來保護軍事書信。只有知道暗號的人可以「解讀」信件內容,對於不知道暗號的敵人來說,就算拿到書信也只是一堆亂碼。

但這套方式有個致命傷,那就是「如何一開始讓所有合法的使用者拿到一樣的暗號,又不會讓暗號外洩呢?」當代的密碼學家想出一套稱為「非對稱加密 」的方式,利用成對的公鑰和私鑰來加密暗號,公鑰就像是一個蓋上就鎖住的盒子,私鑰是可以打開這個盒子的鑰匙。如此一來,就能讓素昧平生的合法使用者,先利用比較安全的非對稱加密傳遞暗號,接下來就能靠暗號祕密通訊了。當你登入網購平台買東西,你的電腦和平台之間的通訊,就是透過類似的方式保護你的個資。

舉例來說,當顧客登入網路書店,申請刷卡購買「研之有物」的新書。網路書店會立刻製造一對公鑰和私鑰,把公鑰傳給客戶的電腦。客戶端的電腦再將自己的暗號,以公鑰加密後傳回網路書店。壞人沒有私鑰,就算中途攔截了信息也無法破解。最後,網路書店用私鑰解密,得到客戶的暗號,接下來就可以靠暗號傳送信用卡卡號等個資了。

當然,網路上並不是真的有一個盒子在傳輸!目前的加密系統能如此安全,關鍵是它的核心有一個難以解開的數學難題,需要公鑰加上私鑰才能解開。所以即使壞人拿到加了密的訊息,沒有私鑰還是解不了密碼。

這類數學難題很多,像是超大數字的質因數分解。隨機找兩個很大的質數相乘 ,比如 97 乘上 113,就會得到一個超大數字 10961,很簡單吧?但是,如果一開始給你 10961,你算得出它是哪兩個質數相乘嗎?

這不是國小老師偷懶沒教,而是人類還沒找到有效率的方法 (多項式時間的演算法) 來計算質因數分解這類問題。所以理論上,只要數字夠大,即使是全世界性能最強大的超級電腦,也可能花費上萬年才能破解。

簡言之,加密系統核心的數學難題愈困難,古典電腦就需要花愈長的時間破解,加密系統也就愈安全。

破解古典密碼,量子電腦 hen 會

然而,現今密碼學看似堅不可破的數學難題,在量子電腦的面前變得不堪一擊。因為這些問題的答案都可以轉化成週期性的結構,剛好量子電腦擅長破解。(哭哭)

什麼是週期性結構?再以質因數分解問題舉例:想要找出 N 這個數字是由哪兩個質數( P 與 Q )相乘所得,可以先任意選擇一個數字 A ,用 A 去除 N,得到一個餘數 a1 ,接下來依序用 A2 、 A3 、 A4 …… 不斷的除 N ,就會得到餘數 a1 、 a2 、 a3 、 a4 …… 最後某一次的操作,餘數會回到 a1 ,形成週期性的結構。一旦能找到週期,就能「比較有效率」的分解 N。

不過,對於古典電腦來說,當數字相當巨大時,尋找餘數的週期仍是十分困難的任務,但對於具有疊加作用的量子電腦,卻是小事一樁。

總之,目前我們所仰賴的加密系統,在量子電腦出現之後將變得不再安全…… 可是 IBM 、 Google 不斷更新量子電腦發展的進度條,我們已經暴露在資訊外洩的風險之下了嗎?

別擔心!小亞瑟還沒長成惡魔小丑

其實,量子電腦目前還只是個嬰孩階段。以 Google 用來實現量子霸權的量子電腦來說,只有 53 個位元。

相較古典電腦,早在 1970 年即已發布 Intel 1103 ,為容量 1kb (1024 位元) 的記憶體。「古典電腦如果只有 53 個位元的記憶體,連程式都沒辦法寫,英文字母只能存 7 個,可以想像現在的量子電腦 Size 有多迷你。」鐘楷閔笑著繼續解釋:「而且如果把 Google 做的事情畫成一個量子電路,這台電腦能執行的電路深度最多只有 20 層。」翻譯成大白話,意思是:每個位元只能運算 20 次!

「20 次?!這麼少?」你發現重點了!量子位元操作時很容易受到環境影響而壞掉, 20 次的操作已是目前的極限。

不只如此, Google 這次霸氣外漏的宣告,他們讓量子電腦做的事情,其實是…… 模擬量子電腦自己!「哈哈,這題目有點作弊嫌疑啦!不過,這依然是一個很重要的結果,證明了即使現在量子電腦這麼小,已經可以做到一件古典電腦做不到的事了。」鐘楷閔笑著解釋。

這個任務有多難?如果古典電腦試圖模擬同樣的量子系統,必須先將量子態用 0 與 1 記錄下來,再計算這些 0 與 1 經過 20 次量子運算會有什麼改變,最後才能得到結果。可是古典電腦光是要把這 53 個量子位元的狀態寫下來,就需要 2 的 53 次方個位元的空間,更別提運算和模擬了! 根據 Google 論文宣稱,古典電腦要完成這件事得花一萬年,但這臺小小的量子電腦只需花 200 秒。

Google 實驗的意義在於:我們已經可以控制 53 個量子位元完成 20 次的操作,這是一件目前古典電腦做不到的事。

但是,這距離真正「有用」的量子電腦還有很遠的路!拿量子電腦模擬細菌固氮效應來說,量子電腦得擁有 100 個左右的量子位元,並且可以運算操作 10  的 14 次方次……。 想想,Google 的量子電腦只有 53 個位元不說,而且只能操作 20 次,簡直天壤之別!至於量子電腦破解現在的加密系統,根據專家預測,嗯, 至少還要 30 年的時間。

終極密碼戰,現在就開打!

雖然如此,但密碼學已深入現代生活的方方面面,不早點找出應對之策,屆時可就來不及了。想想全世界在千禧年危機的手忙腳亂、損失慘重……

從 2017 年起,美國國家標準暨技術研究院(NIST)開始著手「後量子密碼標準化計畫」,募集全世界密碼學家研發、可對抗量子電腦的密碼系統。這些密碼系統的核心同樣有個數學難題,但這個難題無法轉化成量子電腦擅長的週期性問題,中研院資訊所楊柏因研究員團隊也參與這個計畫,並通過第二輪選拔。

「整個過程就像選秀節目一樣,」鍾楷閔笑著形容:「主辦單位先海選出合適的密碼系統,然後經過兩輪篩選,訂定標準化的各項參數,預計在 2022 ~ 2024 年間公布最終標準。」

簡言之,在 3-5 年後,我們很可能就會開始逐步更新密碼系統,正式進入「後量子時代」。

這場密碼學的競賽,就像好人與壞人的戰爭。究竟是壞人會先利用量子電腦破解加密系統,擊潰目前的資訊安全網,還是好人會先做出安全的後量子時代加密系統,築起更安全的防禦牆,關鍵就在這幾十年量子電腦的發展。

科技進步不會停止,在量子電腦發展過程中,密碼學家正努力追趕進度,為人類預先設下資訊安全網。下次在網路上輸入個人資料時,不妨感謝一下在螢幕後頭默默努力著的密碼學家們 (合十)。

原來量子電腦還在嬰兒階段,只能運算 20 次啊…… 想要它的運算次數快速成長,有沒有什麼好辦法?

其實,不太可能期待一個量子態經過多次的運算操作還不會壞掉,所以我們應該換一個概念:當做了一定的計算,量子態開始有一點點壞掉時,立刻修復它。換句話說,如果能成功幫量子位元隨時除錯,那它的計算次數就可以無限多。

為此,科學家正在研發如何替量子位元編碼,變成「邏輯量子位元」。所以有人認為,量子電腦的下一個目標,應該是先實現邏輯量子位元。

另一種有趣的想法是,如果把操作有限的小型量子電腦,配上古典電腦,也許可以相當於大型量子電腦……

小型量子電腦 + 古典電腦 = 大型量子電腦,這個點子感覺有戲!

可惜的是,沒有這麼便宜的事!我的團隊最新的研究,在某個模型下,反駁了英國密碼學家喬茲薩(Richard Jozsa)提出的類似想法「喬茲薩猜想」。

喬茲薩猜想的意思是:所有可以被大型量子電腦解決的問題,運算步驟都可被拆解,然後由小型量子電腦 (只能進行少數次數操作) 搭配上古典電腦解決。如果這樣的猜想為真,意味著不需要強大的量子電腦 (能夠進行很多次操作),只要小型量子電腦和古典電腦合作,也能解決所有大型量子電腦可以做的事。

我的團隊則在密碼學的一個「預言機模型」(oracle model)下提出一個問題,證明量子操作次數不夠多的時候,這個問題無法解開,為這個猜想找到了一個反例。

真可惜…… 除了量子電腦本身,鐘老師對於量子密碼學還在進行什麼研究呢?

我另一項研究重點,與密碼學的安全性證明有關。前面說過,密碼系統的核心是一個數學難題,換句話說,一個密碼系統的安全性必須仰賴這個數學難題是無法被破解。

我們可以用數學來證明這些密碼系統的構造有多安全,但對應的量子版本我們還在研究中。

因為愈好的證明,愈能確保加密系統的安全性。尤其在 NIST 正如火如荼找出後量子時代加密系統的現在,我們能做到多好的證明,也會影響標準化的參數要怎麼設定,才能滿足運算速度夠快,但又非常安全的需求。這是現代密碼學家非常重要的任務。

 

原文連結:

量子電腦到底有多霸氣?即將引爆終極密碼戰?!

延伸閱讀:


延伸閱讀

相關貼文

prev icon
next icon