耐量子計算機暗号の安全性評価で世界記録を達成 ~解読が困難な"多変数公開鍵暗号"の実用化に向けて~
国立研究開発法人情報通信研究機構(NICT)
公立大学法人首都大学東京
耐量子計算機暗号の安全性評価で世界記録を達成
~量子コンピュータを使用しても解読が困難な"多変数公開鍵暗号"の実用化に向けて~
【ポイント】
■ 耐量子計算機暗号の一つとされる多変数公開鍵暗号の安全性評価のコンテストで世界記録達成
■ 従来の解読方法より計算が5倍速く、メモリ使用量を8分の1に削減することに成功
■ 量子コンピュータ時代でも安全かつ高速な暗号技術の実用化に期待
国立研究開発法人情報通信研究機構(NICT、理事長: 徳田 英幸)サイバーセキュリティ研究所と首都大学東京(学長: 上野 淳)の研究グループは共同で、量子コンピュータを使用しても解読が困難な"多変数公開鍵暗号"の安全性の根拠とされている連立二次多変数代数方程式を解くコンテスト(Fukuoka MQ Challenge プロジェクト)において、Type II及びIIIに分類される方程式について、まだ誰にも解かれていない37という多くの変数の方程式を、世界で初めて解くことに成功しました。
多変数公開鍵暗号は効率的な暗号処理方法を持つことから、実用的な耐量子計算機暗号として期待されています。今回の成果は、多変数公開鍵暗号を安全に運用するために必要な変数の個数の算出に利用されます。
【背景】
公開鍵暗号は、現代の情報通信システムの安全性を支える基盤技術であり、具体的には、RSA 暗号及び楕円曲線暗号が広く使用されています。しかし、実用的な量子コンピュータが開発されると、これらの公開鍵暗号の安全性が大きく低下することが懸念されています。そのため、量子コンピュータでも、現在のコンピュータでも、解読が困難な暗号が必要とされており、そのような暗号技術は、耐量子計算機暗号と呼ばれています。
特に近年、世界各国及び国内において耐量子計算機暗号の研究開発及び標準化に向けた準備が進められています。耐量子計算機暗号の有力な候補の一つに多変数公開鍵暗号があり、その安全性の根拠とされる連立二次多変数代数方程式を解く研究が重要な課題として活発に進められています。
【今回の成果】
【画像: https://kyodonewsprwire.jp/img/201906267997-O1-Z9LfoJq9 】
図1 連立二次多変数代数方程式の求解の難しさ
多変数公開鍵暗号を安全に利用するためには、連立二次多変数代数方程式が何変数まで解けるのかを評価する必要があります。
量子コンピュータを使用しても解読が困難な"多変数公開鍵暗号"の安全性の根拠とされている連立二次多変数代数方程式を解くコンテストFukuoka MQ Challengeにおいて、6タイプ(Type I~VI)の方程式が設定されており、各タイプにおいて解かれた最大の変数の個数が報告されています。
NICTサイバーセキュリティ研究所の伊藤琢真研究員、篠原直行主任研究員と首都大学東京大学院理学研究科の内山成憲教授は共同で、Fukuoka MQ Challengeにおいて、Type II及びIIIに分類される連立二次多変数代数方程式に特化したアルゴリズムとプログラムを開発し、従来よりも計算が約5倍速く、メモリ使用量を最良の場合では8分の1に節約することに成功しました。本手法を使用して、まだ誰にも解かれていない37変数の問題に挑戦しました。この37変数の問題を解くためには、MQ Challengeの資料を参考にすると、23変数の問題を解く場合の約15万倍の時間がかかり、汎用ソフトを使用した場合は4~16年はかかると考えられます。
しかし、我々の開発したアルゴリズムとプログラムを汎用サーバ(CPU: Intel® Xeon® CPU E5-4669 v4 (2.20GHz/22Core)×4、メモリ: 1TB)で使うことで、Type IIの37変数については75.7日、Type IIIの37変数については56.1日で解くことに成功し、3年近く更新されていなかった世界記録を更新しました。
【今後の展望】
今後は、多変数公開鍵暗号の実用化に向けて、他のタイプの連立二次多変数代数方程式についても解読アルゴリズムを開発し、安全性の評価を実施していきます。
なお、本研究成果について、2019年8月28日(水)から30日(金)に開催される情報セキュリティに関する国際会議IWSEC2019(The 14th International Workshop on Security)にて発表する予定です。
米国育ちの37歳女性タレントが提唱「エンドレス牛丼」にネット賛同「発想なかった」「いいね」
大久保佳代子が「生」より「瓶」ビールが好きな理由を力説も上田晋也「だまされそうに」指摘入る
水曜日のダウンタウン、マスクマン旅「赤マスク」の正体が話題に……あの人?
【日本ハム】延長12回死闘の末に粘って5度目ドロー 延長10回ピンチも西武長谷川走塁死
【町田】首位キープ 前半から押し込まれる展開続くも粘り強く守り切ってアウェーで勝ち点1
『水曜日のダウンタウン』覆面出演者の正体考察合戦でネット大盛り上がり
河野太郎氏、自民総裁選出馬に意欲 麻生太郎氏に伝達
【阪神】仲良すぎ…両軍チャンス逃し続け1-1終了 ハローキティ「みんななかよくナイター」
【ロッテ】中森俊介6回途中1失点で今季初勝利「ここで満足していたら絶対ダメ」冷静に振り返る
【阪神】延長12回の末ドロー!岡田監督の通算700勝はまたも持ち越し
何があった!?「エアコン」が想定外の壊れ具合!投稿者に話を聞いた
玉置浩二の妻、青田典子(53)の現在がとんでもない事になっていると話題に
霜月るな、松本人志めぐる“新証言”報道に「どうゆう事?その告発で人の人生奪ってるんやで」
22歳・元HKTタレント「最高すぎる」美バストあらわな水着姿披露「君がチャンピオン」と反響
イケメンだから許される!堀北真希と山本耕史の「馴れ初め」が映画化希望するレベル
粗品、“大物ピン芸人”同席の飲み拒否「その先輩おるなら行きません」情報暴露されスタジオ騒然
ユーチューバーもこう氏、元彼女・成海瑠奈について赤裸々告白
【ネタバレ?】史実で見るキングダムの今後の展開まとめ〜中華統一までの全体像
知事選辞退へずまりゅう怒り「俺を舐めるのも大概にしろよ?俺みたいな大物インフルエンサーと」
水沢アキ、6億借金から節約生活「箱根のホテル素泊まり」「24時間スタジオ1人でやっている」
何があった!?「エアコン」が想定外の壊れ具合!投稿者に話を聞いた
玉置浩二の妻、青田典子(53)の現在がとんでもない事になっていると話題に
イケメンだから許される!堀北真希と山本耕史の「馴れ初め」が映画化希望するレベル
都知事選掲示板にヌードポスター ひろゆき氏「世も末」 SNSで批判噴出
ガーシーが綾野剛のLINE公開でネット騒然「ショック」「すごいエンタメ」
ユーチューバーもこう氏、元彼女・成海瑠奈について赤裸々告白
「愛が生まれた日」藤谷美和子(56)の現在がヤバい!?徘徊生活を送っていた過去も明らかに。
柏原崇(45)現在を調べてみた結果、相変わらずかっこよすぎた!
【ネタバレ?】史実で見るキングダムの今後の展開まとめ〜中華統一までの全体像
松本人志飲み会参加セクシー女優「警察に相談しに行きました」報告「さすがにこれは酷すぎる」
![game_banner](/images/banner-game.png)
米国育ちの37歳女性タレントが提唱「エンドレス牛丼」にネット賛同「発想なかった」「いいね」
大久保佳代子が「生」より「瓶」ビールが好きな理由を力説も上田晋也「だまされそうに」指摘入る
水曜日のダウンタウン、マスクマン旅「赤マスク」の正体が話題に……あの人?
【日本ハム】延長12回死闘の末に粘って5度目ドロー 延長10回ピンチも西武長谷川走塁死
【町田】首位キープ 前半から押し込まれる展開続くも粘り強く守り切ってアウェーで勝ち点1
『水曜日のダウンタウン』覆面出演者の正体考察合戦でネット大盛り上がり
【阪神】仲良すぎ…両軍チャンス逃し続け1-1終了 ハローキティ「みんななかよくナイター」
河野太郎氏、自民総裁選出馬に意欲 麻生太郎氏に伝達
【ロッテ】中森俊介6回途中1失点で今季初勝利「ここで満足していたら絶対ダメ」冷静に振り返る
【阪神】延長12回の末ドロー!岡田監督の通算700勝はまたも持ち越し