これまでは人間による数理検証と数年単位の評価プロセスが暗号強度の唯一の担保であったが、AnthropicのフロンティアAIモデル「Claude Mythos Preview」が既知の暗号手法を独創的に組み合わせ、次世代耐量子暗号(PQC)候補「HAWK」の有効鍵長を実質半減させたことで、AIによる暗号解析(AI-Assisted Cryptanalysis)が標準規格の妥当性をわずか数日で覆す時代が到来した。HAWK開発チームによる米国立標準技術研究所(NIST)標準化選定プロセスからの自主撤回は、暗号の安全性が静的なものではなく、即座に差し替え可能な「暗号アジリティ」の確立が技術戦略の絶対条件になったことを示している。
技術的特異点:AIが人間主導の数学的検証の死角を突いたメカニズム
2026年7月、Anthropicが公表した暗号解析実験の成果は、暗号学界およびサイバーセキュリティ実務者に強い衝撃を与えた。NISTの耐量子計算機暗号(PQC)選定プロセスにおいて第3段階(最終検証フェーズ)に達していたデジタル署名候補「HAWK」に対し、AnthropicのAIモデル「Claude Mythos Preview(通称Mythos)」が実行可能な攻撃手法を発見し、開発チームを自主撤回へと追い込んだ。
なぜ今、解読が可能になったのか(Why Now?)
今回の突破口は、量子コンピュータの登場による解読ではなく、最先端のLLM(大規模言語モデル)が持つ高度な数学的推論およびコード生成・最適化能力によってもたらされた。
Mythosは、全く新しい数理定理や未知の数式をゼロから発明したわけではない。既存の暗号研究文献に存在する複数の攻撃技法や構造解析アプローチを、人間が予期しなかった形で柔軟に組み合わせ、最適化に成功した点に最大の技術的特異点がある。
HAWKは格子暗号(Lattice-based Cryptography)の一種であり、高次元格子上の最短ベクトル問題(SVP)や近傍ベクトル問題(CVP)の計算困難性を安全性の根底としている。しかし、MythosはHAWKの格子構造内に潜在していた「非自明な自己同型(nontrivial automorphism / 隠れた対称性)」を検出した。
約60時間の自動探索と、約10万ドル($100,000)のAPI計算コストを投じることで、この対称性を悪用して探索空間を劇的に削減する攻撃アルゴリズムを自己生成した。
既存技術(SOTA)および検証手法との絶対的違い
従来の暗号解読手法(SOTA)は、世界中のトップクラスの暗号研究者が論文執筆を通じて数千時間を費やし、手作業で代数構造の欠陥を探し出す手法に頼っていた。しかし、Mythosは高度な数学的構造に対するプログラマブルな探索空間を自動構築し、アルゴリズムのパラメータと代数的性質の交点に存在する微小な対称性をあぶり出した。
実験用の小規模パラメータである「HAWK-256」において、鍵復元に必要な計算ステップ数は従来の $2^{64}$ から $2^{38}$ へと急減した。これにより有効鍵長が実質的に50%削減され、NISTが規定する最も低いセキュリティレベルの要件すら満たせなくなった。
| 評価項目 | HAWK(設計時の想定) | Claude Mythos Previewによる解析結果 |
|---|---|---|
| アルゴリズム基盤 | 格子暗号(Lattice-based Signature) | 格子内の「隠れた対称性(自己同型)」の検出・悪用 |
| HAWK-256計算ステップ数 | $2^{64}$ ステップ(高セキュリティ強度) | $2^{38}$ ステップ(実質50%の鍵長削減) |
| 解析に要したリソース | 数年の人間による数理検証(脆弱性未検出) | 探索時間:約60時間 / 計算コスト:約10万ドル |
| NIST標準化ステータス | 第3段階(最終検証フェーズ) | 開発チームによる標準化選定からの自主撤回 |
| 現行システムへの直近影響 | なし(未本番運用の候補アルゴリズム) | なし(事前開示プロセスを経て情報公開) |
2022年「SIKE崩壊」との対比とAESへの影響
新世代の暗号候補が標準化の直前で破綻した事例としては、2022年に一般向けPC(単一コア)上のアルゴリズムでわずか1時間で解読され不採用となった同種写像暗号「SIKE(Supersingular Isogeny Key Encapsulation)」が記憶に新しい。
SIKEの破綻は純粋に一人の人間(研究者)が数学的手法を用いて証明したものだったが、今回のHAWKの撤回は「AIによる自動探査」が決定打となった点で決定的に異なる。人間が見落としていた複数論文の技法の「組み合わせ最適化」をAIが実行した事実は、暗号検証の歴史における不可逆な変化を物語っている。
さらにAnthropicの研究では、現行の標準共通鍵暗号であるAES-128のラウンド削減版(10ラウンド中7ラウンド)に対しても、従来の人間の知見による攻撃法より200〜800倍高速な新手法「Möbius Bridge」をMythosが独自に考案・発見した。
フルラウンドのAES-128(10ラウンド)は現在も堅牢であり直ちに危殆化するわけではないが、古典暗号から耐量子暗号に至るまで、既存の安全性証明の前提が崩れ始めていることを示している。
耐量子計算機暗号(PQC)移行のロードマップと技術的課題|G7声明が迫る暗号アジリティへの変革でも触れている通り、標準化された暗号であっても将来にわたり絶対的安全が担保されるわけではない。
次なる課題:暗号解析の「非対称化」と移行プロセスのボトルネック
1つの暗号アルゴリズムの危殆化が自動化されたことによって、セキュリティ業界と企業インフラは新たな3つのボトルネックに直面している。
1. 攻撃と検証のコスト非対称性(AI-Assisted Cryptanalysisの死角)
MythosのようなフロンティアAIを用いて脆弱性を発見するコストが「10万ドル・60時間」まで低下したことは、資金力を持つ国家主導のサイバー攻撃者や高度脅威アクター(APT)にとっても同等の能力が手に入ることを意味する。
暗号設計者が安全性を数学的に証明し、世界的な合意を形成するには数年の年月を要するのに対し、攻撃者はAIを活用して数日でその前提を崩すことができる。この検証サイクルの非対称性が、標準化機関やベンダーの重大なボトルネックとなっている。
2. 単一PQCアルゴリズム依存への過信と設計リスク
NISTは2024年8月に初の正式規格(FIPS 203: ML-KEM、FIPS 204: ML-DSA、FIPS 205: SLH-DSA)を発行し、主要なシステムはこれらの格子ベース暗号を中心とした移行を進めている。
しかし、HAWKの撤回が示した通り、格子暗号という同じ数学的基盤に依存するアルゴリズム群には、未発見の代数的対称性や最適化された攻撃ルートが潜在している可能性がある。特定アルゴリズムのみを静的に組み込む従来の暗号実装手法は、極めて高い事業リスクを抱えることになった。
3. システム改修コストと「暗号アジリティ」実装の実効性
脆弱性が発覚した際、システムを停止させずに暗号モジュールを即座に入れ替える構造を「暗号アジリティ(Crypto-Agility)」と呼ぶ。
だが、多くの企業システムや制御機器、IoTデバイスでは、暗号処理がハードウェア(HSMやファームウェア)やアプリケーションの深部にハードコーディングされている。アルゴリズムの入れ替えには再コンパイルや基板交換が必要となり、現実の現場では運用が追いつかないという壁が存在する。
耐量子暗号(PQC)とは?CISOが急ぐべき暗号インベントリと2030年への移行ロードマップで解説しているように、可視化されていない暗号資産(シャドー・クリプト)の存在が、急速な脆弱性対応の最大の障害となっている。
今後の注目ポイント:技術責任者が監視すべき具体的な判断指標
事業責任者や技術責任者(CTO/CISO)は、単にニュースを追うのではなく、自社システムの耐性を評価するために以下の具体的な指標(KPI)をモニタリングし、判定基準として設定する必要がある。
1. 暗号部品表(CBOM)のカバー率と可視化精度
社内システム、API、サードパーティ製ライブラリ、およびサプライチェーン全体で「どの暗号アルゴリズムが、どこで使用されているか」を完全に把握している割合。
- 判断基準:コア基幹システムおよび対外通信境界におけるCBOMカバー率が「100%」に達していること。アルゴリズム変更時の影響範囲を5分以内に特定できる状態をGOサインとする。
2. 暗号アルゴリズムの差替え所要時間(Hot-Swap Agility Time)
特定のPQC候補や既存暗号(例: ECDSAやRSA)に不可逆的な脆弱性が発見された際、サービスを無停止のまま代替アルゴリズム(例: SLH-DSAやハイブリッド方式)へ切り替えるまでの所要時間。
- 判断基準:コードの再コンパイルやダウンタイムを伴わずに、設定パラメータの更新や証明書の更新のみで切替を完了できる設計が成立していること(目標値: 発覚から「14日以内」に全環境へ展開完了)。
3. ハイブリッド暗号プロトコルの採用率
PQC移行期において、従来から十分な実績がある楕円曲線暗号(ECDSA/ECDH等)と、新しいPQCアルゴリズムを二重に掛け合わせる「ハイブリッド運用」の実装割合。
- 判断基準:万が一、新導入したPQCアルゴリズムがAI解析によって完全に崩壊した場合でも、伝統的暗号層によって機密性が維持される構成をとっているか。通信プロトコル(TLS 1.3やSSH)におけるハイブリッド方式の適用率「100%」を安全基準とする。
結論
AnthropicのAI「Claude Mythos Preview」によるHAWKの脆弱性特定とNIST標準化選定からの撤回は、暗号セキュリティの評価軸が「人間による長期の数理検証」から「AIによる自動化された高速探査」へと完全に移行したことを告げる歴史的事例である。
現在実用されているインフラが直ちに破綻するわけではないが、「一度採用した暗号規格は10年以上安全である」という従来の前提は完全に崩壊した。
技術責任者および事業責任者が今すぐ取るべきアクションは、特定のPQCアルゴリズムの選定に固執することではない。
- 自社システムの暗号依存関係を網羅した暗号部品表(CBOM)を整備すること
- 従来の楕円曲線暗号とPQCを組み合わせたハイブリッド方式を優先採用すること
- 脆弱性発覚時に数日単位で暗号モジュールを差し替え可能な「暗号アジリティ」をシステムアーキテクチャの根底に組み込むこと
これらを自社のセキュリティガバナンスとIT投資の最優先課題として実行すべきである。
出典: Anthropic says codebreaking AI capabilities growing; ‘Mythos’ finds weakness in HAWK PQC algorithm
出典: Anthropic
出典: The Hacker News
出典: CyberScoop
出典: CSO Online