量子コンピュータ実機を用いた離散対数問題の求解実験に成功
2020年12月9日
国立研究開発法人情報通信研究機構(NICT)
ポイント
■ IBM社の超電導量子コンピュータを用いた離散対数問題の求解実験に成功
■ 離散対数問題の多様性のある特性を生かした量子コンピュータ向けプログラミング
■ 現在の暗号への脅威の将来予測、耐量子計算機暗号への移行の第一歩に向けて
国立研究開発法人情報通信研究機構(NICT)、学校法人慶應義塾(慶應大学)、株式会社三菱UFJフィナンシャル・グループ(MUFG)、株式会社みずほフィナンシャルグループ(MHFG)は、IBM Q Hub at Keio Universityのある慶應義塾大学量子コンピューティングセンター(KQCC)において、量子コンピュータ時代における暗号の安全性確保のための第一歩として、クラウドからアクセス可能な量子コンピュータであるIBM Quantumを使用した小規模離散対数問題の求解実験に成功しました。
離散対数問題は、現代の情報社会を支える暗号技術の安全性の根拠の一つとなっている極めて重要な問題であり、量子コンピュータ実機で解くことのできる離散対数問題の規模を知ることが重要な課題です。また、離散対数問題は、実験可能な量子プログラムの選択の幅が広く、暗号への脅威の将来予測のための量子コンピュータ実験に適しているのではないかという事前検討を踏まえ、実験を行いました。
本成果は、今後、量子コンピュータによる現代暗号の危殆化時期の予測検討に利用される予定です。
背景
現代の情報社会を支える暗号技術の安全性を保障する数学的な問題の一つに、離散対数問題があります。離散対数問題は、一定の性能を有する量子コンピュータを用いることで、高速に解かれてしまうことが理論的には証明されているため、量子コンピュータの性能向上により、暗号技術が危殆化することが懸念されています。対策として、一定の性能を持つ量子コンピュータの出現後も暗号の安全性を担保できると期待されている耐量子計算機暗号への移行に向けた検討が、米国国立標準技術研究所(NIST)を中心に世界的に進められています。その移行が必要となる時期を予測するため、現在利用可能な量子コンピュータを用いて、どの程度の規模の離散対数問題が解けてしまうのかを把握することが重要です。
今回の成果
今回、NICTら4者のグループは、量子コンピュータ時代における暗号の安全性確保に向け、離散対数問題によって安全性が保障される暗号方式の危殆化時期評価に関する活動を開始しました。その活動の第一歩として、ショアのアルゴリズムを離散対数問題用にプログラミングし、量子コンピュータ実機による離散対数問題の求解実験に世界で初めて成功しました。
【画像:https://kyodonewsprwire.jp/img/202012098314-O4-34bMHc9u】
今回の実験は、NICTが実験用の量子プログラムを設計した後、慶應大学、MUFG、MHFGにより超電導量子コンピュータIBM Quantumに合わせた効率化を行い、IBM Quantumの実デバイス上で実験を行いました。その出力結果の検討を4者で行ったところ、問題が解けているとの結論に至りました。
今回の成果は、まだ初歩的段階であるため、現在使われている暗号技術の安全性に脅威を与えることはありませんが、暗号技術の危殆化時期を予測する上で重要かつ貴重な一歩になったと考えています。
今回の実験と結果の概要
ショアのアルゴリズムは、素因数分解問題や離散対数問題を含む様々な問題に適用可能なため、それらの問題を安全性の根拠とする暗号技術への脅威となる可能性があることから、様々な研究が行われています。特に、RSA暗号の安全性の根拠として利用されている素因数分解問題については、量子コンピュータを用いた様々な実験が行われてきました。一方、離散対数問題については、実験に成功したという報告はありませんでした。
暗号がいつ解かれてしまうのかを予測するために、その暗号の安全性の根拠となる問題がどの程度解かれてしまうのかを調べることは重要です。今回、ショアのアルゴリズムの暗号への影響を調査するため、両問題の実験について検討を行いました。その結果、離散対数問題の小規模なサンプル問題であれば、プログラミングを工夫することで、求解実験が成功する可能性があることが分かりました。
今回の実験のため、離散対数問題のいくつかのサンプル問題に対して量子コンピュータ向けのプログラミングを行い、そのプログラムの規模がどの程度までであれば、量子コンピュータ実機によって解くことが可能なのかを調べました。図2は、実験を行ったプログラムを規模の順に並べ、量子コンピュータ実機で実験を行った結果をまとめたものです。今回実験を行った中で最も小さい規模の量子プログラム①の実行では、量子コンピュータ実機が十分に良い結果を出力しましたが、より大きな規模のプログラム②及び③では良い結果が出力されませんでした。
そのため、現在の技術により解くことのできる量子プログラムの規模は、図中①と②の間であるという結論を得ました。これは、離散対数問題を量子コンピュータ実機で解いた初めての成果となります。また、プログラム②の出力を検証したところ、プログラムの規模をより小さく改良することができれば、解ける可能性が残されているという結論に至りました。
【画像:https://kyodonewsprwire.jp/img/202012098314-O2-lG2pR8Gm】
今後の展望
今後も、量子コンピュータの性能の向上に合わせて定期的な実験報告を行うことで、現在用いられている暗号技術の危殆化時期をできる限り正確に見積もり、暗号技術の安全性評価の活動へとつなげていきます。
本研究成果について、2020年12月10日(木)、11日(金)にオンライン開催される第43回量子情報技術研究会(QIT43)にて発表する予定です。
発表情報
名称: 第43回量子情報技術研究会(QIT43)
日時: 2020年12月11日(金)
タイトル: 超電導量子回路を用いた離散対数問題の求解実験
ヒロミ「グラビアから出る人の第1号」23歳で急逝の堀江しのぶさん紹介VTRに当時を回顧
市副議長、豪州・ダボ市長の娘に不適切行為 岐阜・美濃加茂
「妙高応援割キャンペーン」5月7日開始 妙高旅行が最大5千円お得に
【阪神】岡田監督「ボールばっかり振ってるバッターやから」外角見逃し三振佐藤輝明に/一問一答
【西武】中村剛也10m超え逆風の中、歴代10位タイ通算476号「風と関係なく入るからすごい」監督
【広島】新井監督、4番小園は「得点圏で強い」末包昇格へ「田村と入れ替えて」/一問一答
38歳ママタレ、自身の“美人化”話題に「前までどんなふうに見てたの?」夫は47歳ピン芸人
三田佳子、唐十郎さんとの50年を振り返り「公私ともにありがとうございました」次男の後見人も
【巨人】門脇誠、チーム20イニングぶり得点となる決勝打「負けないぞと」気持ちで打った一打
【日本ハム】2度目のサヨナラ負けで首位ソフトバンクと4・5差 カード初戦から2連敗は今季初
何があった!?「エアコン」が想定外の壊れ具合!投稿者に話を聞いた
岡本夏生(56)、1600日ぶりにブログを更新した現在が衝撃
42歳ママタレ20年ぶり水着披露「レベチ」「マジ天使」「最高」55歳夫のピン芸人と2児
ユーチューバーもこう氏、元彼女・成海瑠奈について赤裸々告白
ガーシー、またも綾野剛の暴露写真でネット歓喜「この写真見て笑っちゃう」
今田美緒(23)ブレイク前の恥ずかしい映像が流出、けしからんと話題に
ガーシー、佐野ひなこの暴露を示唆でネット騒然「ファンだったのに」
完全にダマされた! 『ラヴィット!』あのちゃん“事故レベル”大暴走は『水ダウ』遠隔操作のしわざだった ネットも納得
玉置浩二の妻、青田典子(53)の現在がとんでもない事になっていると話題に
蟹江敬三さん長男が子役・若山耀人容疑者の逮捕に嘆息「ここまでの転落人生は稀に見る悪例」
何があった!?「エアコン」が想定外の壊れ具合!投稿者に話を聞いた
深夜のファミリーマート徘徊、必ず入っている「フエラムネのミニチュアおもちゃ付」を探し求めた結果……
岡本夏生(56)、1600日ぶりにブログを更新した現在が衝撃
完全にダマされた! 『ラヴィット!』あのちゃん“事故レベル”大暴走は『水ダウ』遠隔操作のしわざだった ネットも納得
ガーシー、またも綾野剛の暴露写真でネット歓喜「この写真見て笑っちゃう」
ユーチューバーもこう氏、元彼女・成海瑠奈について赤裸々告白
小澤征悦と再婚した桑子真帆アナ(34)黒い過去が流出、衝撃の過去にネット騒然
玉置浩二の妻、青田典子(53)の現在がとんでもない事になっていると話題に
ガーシー、佐野ひなこの暴露を示唆でネット騒然「ファンだったのに」
ガーシーが綾野剛のLINE公開でネット騒然「ショック」「すごいエンタメ」
ヒロミ「グラビアから出る人の第1号」23歳で急逝の堀江しのぶさん紹介VTRに当時を回顧
市副議長、豪州・ダボ市長の娘に不適切行為 岐阜・美濃加茂
「妙高応援割キャンペーン」5月7日開始 妙高旅行が最大5千円お得に
【阪神】岡田監督「ボールばっかり振ってるバッターやから」外角見逃し三振佐藤輝明に/一問一答
【西武】中村剛也10m超え逆風の中、歴代10位タイ通算476号「風と関係なく入るからすごい」監督
【広島】新井監督、4番小園は「得点圏で強い」末包昇格へ「田村と入れ替えて」/一問一答
38歳ママタレ、自身の“美人化”話題に「前までどんなふうに見てたの?」夫は47歳ピン芸人
三田佳子、唐十郎さんとの50年を振り返り「公私ともにありがとうございました」次男の後見人も
【巨人】門脇誠、チーム20イニングぶり得点となる決勝打「負けないぞと」気持ちで打った一打
【日本ハム】2度目のサヨナラ負けで首位ソフトバンクと4・5差 カード初戦から2連敗は今季初