イーサリアム財団は、人工知能（AI）をハッシュベースSNARKのセキュリティ強化に活用する協働型研究プラットフォーム「better.codes」を発表した。この取り組みは、将来の量子コンピュータがもたらしうる潜在的リスクに備えて暗号インフラを整備するという、イーサリアムのより広範な取り組みの一環を成すものである。

同プラットフォームの中心にあるのは、現代の暗号学的証明システムにおいて重要な役割を果たすリード・ソロモン近接性問題「koalaIRS12」である。better.codesを通じて、研究者はAIエージェントを用いてkoalaIRS12証明の健全性境界の改善に取り組むことができ、その成果はLeanカーネルによる検証に付される。Leanは、もともとMicrosoft Researchで開発されたオープンソースの定理証明器兼プログラミング言語であり、すべての証明ステップを小さな信頼済みカーネルに対して検証するため、受理された結果は人手によるピアレビューのみに依存せず、機械検証済みの保証を持つ。

この取り組みは、koalaIRS12に対する機械検証済みのセキュリティ保証を確立するとともに、将来の量子の脅威に対するイーサリアムの防御を強化しうる128ビットのセキュリティ目標の達成を目指している。同プロジェクトはYukonおよびzkSecurityとの協力で開発されており、漸進的なコントリビューションを基盤とする構造を採っている。受理された解答には、研究者（ソルバー）と、その作成に関与したAIモデルの双方にクレジットが与えられる。この方式は、暗号学研究の進捗に関する検証可能な記録を作成しつつ、透明な協働を促すことを意図したものである。

イーサリアム、量子コンピューティングのリスクに備える

イーサリアムがポスト量子暗号へと移行を進める背景には、ブロックチェーン全体で現在使用されている暗号システムの長期的なセキュリティに対する懸念がある。楕円曲線ベースの技術は、トランザクション署名、コンセンサスインフラ、ゼロ知識証明などの領域を支えている。

十分な能力を備えた量子コンピュータは、1994年に数学者ピーター・ショアが考案したショアのアルゴリズムを通じて、こうした暗号プリミティブの一部を損なう可能性がある。同アルゴリズムは、今日の公開鍵暗号の多くの基盤をなす素因数分解問題および離散対数問題を標的とするものである。こうしたマシンは現時点では実用規模でイーサリアムの広く使われている暗号を破る能力を持たず、またIBMやGoogleといった大手ハードウェア開発企業が公表しているロードマップでも、フォールトトレラントな量子コンピュータの実現目標は2020年代の終盤に据えられている。それでも、将来生じうる脅威への備えとして、ブロックチェーン開発者は代替技術の調査を前もって進めている。

そのためイーサリアムは、楕円曲線離散対数ではなくハッシュ関数に依存する暗号アプローチの検討を進めてきた。この移行の一環として検討されている技術には、ハッシュベースのSNARKやSTARKが含まれる。この方向性は、ブロックチェーンの枠を超えた標準化の動きとも並行している。2024年には、米国国立標準技術研究所（NIST）が、ハッシュベースのデジタル署名方式SLH-DSAを含む初のポスト量子暗号標準を最終化し、ハッシュベース暗号を政府承認済みの実運用に導入した。better.codesの取り組みは、この努力に関連する課題の一つに対応するものであり、複数の暗号学的証明システムの基盤でありスケーラブルなゼロ知識技術の発展にとって重要なリード・ソロモン近接符号について、より強力で形式的に検証されたセキュリティ保証を追求する。

128ビットのセキュリティ目標

better.codesのチャレンジは、koalaIRS12に対する128ビットのセキュリティベンチマークの達成に焦点を当てている。この目標は、ポスト量子環境下でも安全性を維持できる暗号システムの開発というイーサリアムの中長期的目標と整合するものである。イーサリアム財団はXでこの取り組みを次のように発表した：

Learn more in the announcement ↓

— Ethereum Foundation (@ethereumfndn) August 20, 2026

投稿全文: https://x.com/ethereumfndn/status/2090485717273043227?ref_src=twsrc%5Etfw

この取り組みは、リスト復号および相関合意に関わる未解決問題に充てられた100万ドルの研究基金とともに2026年前半に立ち上げられた「Proximity Prize」に続くものである。イーサリアム財団は、これらの暗号学的問題をLean 4で表現することにより、研究成果を機械的に検証しやすくし、より信頼性の高い暗号構成への進展を加速できる可能性を追求している。機械学習と形式証明検証の組み合わせは、より広範な研究トレンドをも反映している。Google DeepMindのAlphaProofは、Lean検証済みの証明を生成することで2024年の国際数学オリンピックで銀メダル水準の成績を収めており、AIシステムが形式検証された数学にどう貢献しうるかを示した。

こうした暗号論的仮定の検証強化は、ロールアップ、ゼロ知識仮想マシン、その他SNARKベース技術への依存が深まるスケーリングシステムを構築する開発者に恩恵をもたらしうる。

短期的な市場影響よりも長期的セキュリティ

この取り組みがETHの価格に短期的かつ直接的な影響を与える可能性は低いとみられる。その意義はむしろ、イーサリアムの長期的なプロトコルセキュリティと、量子コンピューティングの発展に伴って顕在化しうる技術的リスクへの備えにある。

イーサリアムエコシステム全体でも最近はポスト量子セキュリティが一層重視されており、再帰的STARK証明に関わる提案や、量子関連の脅威に焦点を当てた専門のセキュリティチームの設立などが進められている。開発者やインフラ事業者にとって、こうした動向は、ゼロ知識技術がブロックチェーン業界全体へ拡大するなかで、暗号学的レジリエンスがますます重要な考慮事項になりつつあることを示している。

better.codesプラットフォームは、最初のチャレンジを超えて発展していく見通しであり、イーサリアム財団は、参加資格、評価、報酬を定めるプログラム規則の下で追加の研究課題を計画している。研究者は、GitHub経由でサインインし、該当するリポジトリにアクセスして、koalaIRS12チャレンジへの解答を提供することで参加できる。

報道によれば、この取り組みは、ポスト量子研究を理論的な議論から独立して検証可能な実装へと前進させる試みである。AI支援研究とLeanによる形式検証を組み合わせることで、better.codesは、将来の量子時代の脅威に耐えるよう設計された暗号システムに向けた、より体系的な道筋をイーサリアムに提供しうる。

出典: CoinTrust