NIST標準候補HAWK、AIモデルMythosが致命的不具合を発見

Dan GoodinがArs Technicaで報じた記事に基づく。耐量子計算機暗号（PQC）アルゴリズムの標準化を進める米国立標準技術研究所（NIST）のプロセスに、大きな衝撃が走った。

第3ラウンドの審査対象として検討が続けられていたデジタル署名方式「HAWK」が、AnthropicのセキュリティAIモデル「Mythos」によって致命的な脆弱性を露呈し、開発者が自らアルゴリズムを撤回する事態となった。

HAWKは、将来の量子コンピュータによる攻撃にも耐えうるデジタル署名方式として設計された。NISTがPQCアルゴリズムのセキュリティ評価のために実施する広範なテストの第2ラウンドまでをを通じてし、第3ラウンドの評価中であった。まさに今回のような脆弱性を発見するための検証段階にあったと言える。

Anthropicが月曜日に発表した結果を受け、HAWKの開発者は火曜日にアルゴリズムの撤退を表明した。NISTの標準化作業は今後も継続されるが、HAWKは候補から外れることになる。

Mythos attacked two cryptosystems. The first system is HAWK, a digital signature scheme designed to withstand future attacks from quantum computers. HAWK had survived two rounds of testing by NIST for evaluating the security of PQC algorithms through widespread testing. HAWK is currently in a third round of testing.

Anthropicは、Mythosモデルが二つの暗号システムに対して攻撃を高度化できたと発表した。一つがHAWKであり、もう一つは広く使われているAES暗号である。ただし、HAWKの結果は特に深刻であり、アルゴリズム自体が「破られた」と評価される内容だった。

攻撃の実質的影響

今回の発見は暗号業界に波紋を広げているが、いくつかの重要な注意点がある。第一に、今回の成果は漸進的なものであり、現在日常的に使用されている暗号システムを破るものではない。攻撃手法はシステムを破るために必要となる計算作業を中程度に削減する方法を示したものだ。

第二に、テストに使用されたのは正式な仕様で定義されたものよりも弱体化されたバージョンである。こうした「チャレンジインスタンス」は仕様の作者が敵対的なピアレビューのために提供するもので、テストでは弱体化版を用いるのが標準的だ。本番環境で使用される本物の暗号システムは、はるかに堅牢である。

第三に、改善があったとしても、暗号システムの基本的な構成要素である数学的基礎問題（プリミティブ）は、少なくとも現時点では安全なままである。最後に、両方の攻撃とも、テスト環境の外では実現不可能と考えられる手法を用いている。

The outcomes are incremental. They don’t break any of the cryptosystems anyone relies on today. They reveal methods for moderately reducing the work that would be required to defeat the systems.

これらの限界を踏まえても、Anthropicの主張がマーケティング上の誇張である可能性を完全に排除することはできない。しかし、プライバシーとセキュリティに不可欠な暗号技術における重要な進歩の兆候として、今回の結果は注目に値する。

NIST標準化プロセスへの影響

NISTのPQC標準化は、量子コンピュータの実用化に備えたグローバルな取り組みの要である。現在進行中の第3ラウンドでは、耐量子性を持つデジタル署名方式や鍵カプセル化メカニズム（KEM）が評価されている。HAWKの撤退は、このプロセスに不確実性をもたらす。

HAWKは比較的新しいアルゴリズムであり、その数学的基盤は格子問題に依存していた。Mythosが発見した脆弱性は、この数学的問題の特定の構造に由来すると考えられる。他のPQC候補アルゴリズムに対する波及効果が懸念される。

AnthropicはMythosを、現在は信頼できる限られたユーザーにのみ提供している。このモデルが暗号解読の分野でどの程度の汎用的能力を持つのかは、まだ明らかになっていない。

Mythosモデルの能力と限界

Mythosは、Anthropicが開発したセキュリティ特化型のAIモデルである。今回の成果は、AIが人間の暗号研究者では見落としがちな数学的構造の弱点を発見できる可能性を示している。ただし、今回の攻撃が実際の暗号システムに対して実用的であるかどうかは別問題だ。

HAWKの開発者は、Mythosによる攻撃の具体的な手法を分析した上で、アルゴリズムの根本的な修正が困難と判断したと見られる。NISTの標準化プロセスでは、提案されたアルゴリズムが発見された脆弱性に対して修正可能かどうかも重要な評価基準となる。

編集部の見解

短期的には、今回の出来事はNISTのPQC標準化プロセスに遅延をもたらす。HAWKの撤退により、他の候補アルゴリズムの評価が優先される可能性が高い。また、AIモデルによる暗号解読研究が加速し、他のPQC候補に対しても同様の分析が行われると予想される。暗号コミュニティ全体にとって、AIを用いたセキュリティ評価の重要性が再認識される契機となるだろう。 長期的な視点では、AIによる暗号解読が実用的になる可能性が示されたことの意義は大きい。現在は弱体化されたバージョンでのみ有効な攻撃だが、今後さらに強力なAIモデルが登場すれば、現実の暗号システムに対する脅威も現実味を帯びる。AIと暗号技術の軍拡競争が本格化する可能性があり、耐量子暗号の設計自体もAIによる攻撃を前提としたものへと進化する必要があると言えそうだ。 編集部としては、今回のMythosの成果が単なる偶然の発見ではなく、再現可能な方法論に基づくものであるかどうかが最大の疑問点だと考える。Anthropicが詳細な技術報告を公開していない現状では、第三者による検証が待たれる。

参考

• 「Mythos attack on 3rd-round PQC algorithm candidate puts it out of commission」, by Dan Goodin — Ars Technica, 2026-07-29T22:07:06.000Z (CC BY-NC-ND)
• 元記事URL: https://arstechnica.com/security/2026/07/mythos-uncovers-crypto-weaknesses-that-went-unknown-for-years/