Upgrade to Pro — share decks privately, control downloads, hide ads and more …

今こそ知るべき耐量子計算機暗号(PQC)入門 / PQC: What You Need to ...

今こそ知るべき耐量子計算機暗号(PQC)入門 / PQC: What You Need to Know Now

Avatar for mackey0225

mackey0225

January 09, 2026
Tweet

More Decks by mackey0225

Other Decks in Programming

Transcript

  1. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b そもそも、量子計算機とは • 量子の性質を利用して計算を行う計算機 ◦ 量子ビット(qubit)は 0 と 1

    の両方の状態を同時に持 つことができる(量子の重ね合わせ状態) ◦ イオンや中性原子、光子などの量子が量子ビットの候 補として研究されている • ゲート方式とアニーリング方式の2種類に分類される ◦ 今日の話はゲート方式を指す • 量子アルゴリズムを用いて高速かつ並列で処理をする
  2. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b 有名な量子アルゴリズム 従来の計算機にくらべて計算量が小さくなる • Deutsch (1985) 、Deutsch-Jozsa (1992) ◦

    実用性は低いが、量子計算機の特性が現れている • Shor (1994) ◦ 素因数分解を多項式時間で解くことが可能になる • Grover (1996) ◦ 探索問題でO(N)→O (N ^(1/2))になる
  3. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b なぜ PQC への移行が必要なのか? • 大規模で実現可能な量子計算機(CRQC)はまだない ◦ 暗号解読には100万量子ビットが必要と言われている ◦

    現状でも100〜200量子ビット程度(ゲート方式) • 一方、Harvest Now, Decrypt Later攻撃(HNDL攻撃)の可 能性は押さえておく必要がある ◦ 暗号化データを集めて、将来的に解読される
  4. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b PQC への移行についての情勢 • 米国:2035年を目標にPQCへの移行方針を発表 • EU:欧州委員会がPQCへの移行検討を促す勧告を発表 • 国内

    ◦ 国家サイバー統括室 (NCO, 旧 NISC) が政府機関のシス テムにおけるPQCへの移行に関する基本方針を策定 ◦ 金融庁や日本銀行が中心となり、金融機関へのPQCへ の移行対応を求めている
  5. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b NIST FIPS標準について • アメリカ国立標準技術研究所 (NIST) が2016年からPQCの 標準化の検討を開始 ◦

    候補の暗号の公募には69件が集まった ◦ 2024年8月に連邦情報処理標準 (FIPS) として3つが決 まった ◦ 現在も追加の暗号技術 (2つ) の策定中 • 暗号としての強度や安全性だけでなく、計算量やメモリの 使用量といった効率性も加味して決められた
  6. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b NIST FIPS標準について • FIPS 203 ◦ ML-KEM (Module-Lattice-Based

    Key-Encapsulation Mechanism) ◦ 格子暗号の鍵交換アルゴリズムのCRYSTALS-Kyberがベース • FIPS 204 ◦ ML-DSA (Module-Lattice-Based Digital Signature Algorithm) ◦ 格子暗号の電子署名アルゴリズムのCRYSTALS-Dilithiumがベース • FIPS 205 ◦ SLH-DSA (Stateless Hash-Based Digital Signature Algorithm) ◦ ハッシュ関数の電子署名アルゴリズムのSPHINCS+がベース ◦ ML-DSAが脆弱であると判明した場合のバックアップ
  7. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b 符号暗号 • 1970年代後半から提案されている • 誤り訂正符号に関する以下の計算の困難性に依存 ◦ シンドローム復号(Syndrome Decoding:

    SD)問題 ◦ Learning Parity with Noise(LPN)問題 • 先に紹介した標準化予定の HQC は SD 問題をベースに 「準巡回 (QC) 」というデータの構造を追加したもの
  8. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b 格子暗号 • 数学的な対象としての多次元格子に関する暗号技術の総称 • 1990年代後半から提案されている • 格子暗号自体も一つのものではなく、構成方法や安全性の根拠 となる問題によって分類される

    • 以下がその一例となる問題 ◦ LWE 問題:ノイズ項がついた連立一次方程式の解を求める ことの困難性(Learning With Error Problem) ◦ NTRU 問題:多項式の商・剰余からもとの分母・分子の多 項式を復元することの困難性
  9. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b 余談:NTRU の由来 「N-th degree Truncated Polynomial Ring Unit」の略語と

    しているが、元の由来は社名とされている https://web.archive.org/web/20010125192900/http://www.brown.edu/Administration/George_Street_J ournal/vol25/25GSJ01e.html
  10. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b 余談:NTRU の由来 「N-th degree Truncated Polynomial Ring Unit」の略語と

    しているが、元の由来は社名とされている https://web.archive.org/web/20010125192900/http://www.brown.edu/Administration/George_Street_J ournal/vol25/25GSJ01e.html 「NTRU」の意味は「Number Theorists R Us(数論研究者たちです)」と明か した。 「ビジネスマンはこれを面白がらない」と彼は付け加え、社名を「Number Theory Research Unit(数論研究ユニット)」と改め、遊び心を抑えた。
  11. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b 余談:NTRU の由来 「N-th degree Truncated Polynomial Ring Unit」の略語と

    しているが、元の由来は社名とされている https://web.archive.org/web/20010125192900/http://www.brown.edu/Administration/George_Street_J ournal/vol25/25GSJ01e.html 「NTRU」の意味は「Number Theorists R Us(数論研究者たちです)」と明か した。 「ビジネスマンはこれを面白がらない」と彼は付け加え、社名を「Number Theory Research Unit(数論研究ユニット)」と改め、遊び心を抑えた。
  12. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b PQC の適用状況 • プログラミング言語 ◦ Java, Go, Rust

    • ライブラリ・ツール ◦ OpenSSL, Bouncy Castle • クラウドベンダー ◦ AWS
  13. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b Java 2025年3月にリリースされた Java 24 より機能追加 • JEP 496:

    Quantum-Resistant Module-Lattice-Based Key Encapsulation Mechanism ◦ FIPS 203 への対応 • JEP 497: Quantum-Resistant Module-Lattice-Based Digital Signature Algorithm ◦ FIPS 204 への対応
  14. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b Go • 1.23 ◦ crypto/tls TLS通信時のKEMにデフォルトで適用 • 1.24

    ◦ crypto/mlkem FIPS 203 (ML-KEM) の正式サポート • 1.26(ドラフト) ◦ crypto/mlkem メソッドとインタフェースの追加 ◦ crypto/tls デフォルトで有効になる PQC アルゴリズ ムの追加
  15. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b Rust 以下のパッケージやプロジェクトで機能提供している • pqcrypto ◦ C で実装されたもののラッパー •

    Rust Crypto(※PQC については自己責任の範囲と明記) ◦ Pure Rustで実装している ◦ /KEMs/ml-kem ◦ /signatures/ml-dsa
  16. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b Bouncy Castle • Java と C# 向けの暗号化ライブラリ •

    標準化されたものだけでなく、選定候補だった暗号技術も 含めて提供されている
  17. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b AWS • AWS 責任共有モデルの一環として順次提供 ◦ AWS として PQC

    の選択肢を提供 ◦ 選択についてはユーザー側でおこなう • 2025年4月には、以下のサービスにも適用されている ◦ KMS, ACM, AWS Secrets Manager • ALB の HTTPS リスナーのセキュリティポリシーにもPQC が含まれるものが追加されている
  18. 今こそ知るべき耐量子計算機暗号入門 #burikaigi_b まとめ • 量子計算機は量子アルゴリズムを用いることで強力な性能 を発揮する • 現在使われている暗号技術は危殆化は避けられない • 将来的な

    PQC への移行は検討が必要 • PQC の中でも現時点での有力なスタンダードは格子暗号 • 各言語、ツール、クラウドインフラなど順次適用が広がっ ている