AI支援の暗号解析でHAWKが後量子暗号候補から撤退

導入

米国の標準候補として検討されていた後量子暗号アルゴリズムが、AIの支援で見つかった弱点によって事実上レースから外れた。Ars Technicaによると、AnthropicのセキュリティモデルMythosは、量子コンピューター時代にも安全であることを目指したデジタル署名方式HAWKに対する攻撃を改良した。発表後、HAWKの開発者は候補の撤回を表明した。

HAWKは単なる実験的な小規模方式ではない。NISTの後量子暗号評価で2ラウンドを通過し、より深い欠陥を見つけるための第3ラウンドに進んでいた。その段階で今回の結果が出たことは、標準化プロセスにとって大きな意味を持つ。

核心ポイント

• 現実の暗号システムが破られたわけではない。 Anthropicは、暗号の専門家ではない研究者がMythosを使い、約60時間、約10万ドル相当の計算資源でHAWKへの既知攻撃を改善し、有効な鍵強度を大きく下げたと説明している。
• 新しい数学の発明というより、既存手法の再構成だった。 HAWKの安全性は格同型問題の困難性に依存している。報告された進展は、自同型対称性を見つける新しい方法であり、既に知られていた複数の道具を組み合わせた点が重要だ。
• 対策は可能でも競争力を損なう。 鍵サイズを2倍にすれば弱点を緩和できるが、計算コストが増えるため、ML-DSAやFN-DSAなど他の後量子署名方式に比べて魅力が下がる。
• AESに関する成果はより限定的。 Mythosは弱化版AESへのmeet-in-the-middle攻撃も改善し、必要な平文入力数を約2^105から2^89へ減らした。ただし、これは実験環境での話であり、標準仕様どおりのAESを直接破るものではない。

意味と影響

今回のニュースを「AIが現代暗号を破った」と読むのは正確ではない。素材でも強調されている通り、対象は弱化されたチャレンジ版や標準化前の候補であり、現在広く使われている暗号システムが危険になったわけではない。基盤となる数学的プリミティブも、少なくとも現時点では安全と見なされている。

より重要なのは、研究プロセスの変化だ。Mythosは無から新理論を生み出したのではなく、文献を調べ、既存の手法をつなぎ、計算実験で検証しながら攻撃を組み立てた。暗号解析では、散在する既知の技法を正しく結びつけることが突破口になる場合がある。そこにAIエージェントが適合し始めている。

NISTの後量子暗号標準化にとって、HAWKの撤退はむしろ審査が機能した例ともいえる。正式標準となり広く導入される前に弱点が見つかることは望ましい。一方でAI研究にとっては、人間が結果の正しさ、新規性、実用性を確認する作業が今後の制約になる可能性を示している。

出典：Ars Technica AI