Vitalik Buterin氏が警告、AIは2年以内にEthereum(ETH)の鍵の安全性を損なう可能性

更新 23:53 UTC：更新(23:53 UTC): トーンの変化には経緯がある。約3週間前、Buterin氏はAIが防御に資するとし、暗号資産のセキュリティが崩壊することはないとの見解を示していた。木曜日の投稿は、同氏自身の評価が明確に一段引き上げられたことを意味する。

Buterin氏の2年警告

Ethereum (ETH)の共同創設者Vitalik Buterin氏は10月8日(木)、Xへの投稿で、AIが数学研究を加速することで格子暗号の実用上の安全性が今後2年以内に深刻な打撃を受け得ると警告した。格子暗号はML-DSAや完全準同型暗号(FHE)を含む方式群で、同氏の見立てでは、計画より早い段階でECDSAが破られる事態にもつながり得る。ただし投稿のどこにも、格子暗号が今日すでに破られたという主張はない。タイムラインは研究成果ではなく、研究の速度に紐づいている。同氏はこの日の投稿で、AIは50年分の数学的進歩を2年に圧縮し得ると論じ、EthereumのLeanロードマップはすでにこの可能性に応じて態勢を組み替えていると述べた。懸念の中心は量子コンピュータという装置そのものではなく、その根底にある数学にある。Buterin氏は格子暗号を、RSAや楕円曲線暗号の歴史と比較した。RSAの設計者たちは当初、2^(n/2)の総当たり的な因数分解が解法の上限だと考えていた。ところが人間による数十年の研究は、一般数体ふるい(GNFS)という賢い算法を生み出し、計算量をおよそ2^O(n^(1/3))まで引き下げ、RSA鍵のサイズを64バイトから約400バイトへと押し上げた。同氏の推論はこうだ。格子問題には、人間がまだ発見する賢さに達していない構造的弱点が残っている可能性があり、その賢い数学的経路を見つける道具として最有力なのがAIだ、と。同氏の読みでは、2年は機械支援による発見が標準策定のサイクルを追い越すのに十分な時間だ。この警告は、露出済み鍵がなぜ問題なのかという理解も塗り替える。ウォレットがこれまでに生成した署名はすべてオンチェーンで公開されている。暗号が突然破れれば、過去の露出は理論上の脅威ではなく現実の標的に変わる。イーサリアムの価格とプロトコルセキュリティを巡る議論は、遠い先の量子ハードウェアから、より近いソフトウェア主導の変数へと軸を移しつつある。

Leanロードマップが賭けるハッシュ署名

Buterin氏が指し示す答えがEthereum (ETH)のLeanロードマップだ。この1年で同ロードマップは格子暗号への依存を外してきた。ML-DSAなし、Falconなし、ゼロ知識証明における格子ベースのコミットメントもなし。署名はWOTSやSPHINCS-といった純粋なハッシュベースの方式へ移る。つまりネットワークのプルーフ・オブ・ステーク設計におけるバリデーターの全メッセージと、ステーキングの資格情報は、最終的にこの方式の上に載ることになる。同氏の立場は、ハッシュ署名が使える場面では純粋なハッシュが格子に勝る、というものだ。P対NP問題の証明が出ればハッシュ関数も破られるが、その確率は極めて低いと見ている。この枠組みでは、署名は解決可能な半分であり、真のボトルネックは公開鍵暗号方式にある。長年の研究成果は、ハッシュだけからは公開鍵暗号を構成できないことを示している。群論、格子、符号ベース暗号、あるいはまだ想像されていない何か、構造的な罠が必要になる。長期の安全性については鍵長を10倍に引き上げることを勧める。格子方式は2年という前提の下でも、はるかに大きなパラメータを使えば生き残るが、そこでは純粋なハッシュが効率で勝つ。保有者への助言は意図的に控えめだ。可能な限り、一度も取引に署名したことのないアドレスに資金を置くこと。ECDSAが急速に破られれば露出済みの公開鍵はすべて標的になるが、未使用のアドレスはオンチェーンに何も明かしていないからだ。焦って移行するな、と同氏は明言する。移行の失敗で失った資金は、ハッキングの合計より多いと自身で認めている。マルチシグウォレットは通常スマートコントラクトとして構成されるが、署名確認をオフチェーンで行うことを勧めている。ECDSAが急落した場合でも、そうしたウォレットは署名収集者の管理する1-of-1へ緩やかに縮退し、資金が誰にでも開かれる事態よりはるかにましだという。警告は単独で届いたわけではない。約24時間前、Europolの報告書もまた、暗号資産ウォレットを量子リスクの主因と位置づけ、ブロックを連結するハッシュ関数は幅広く量子耐性を持つ一方、署名層こそ弱点と評価していた。Justin Drake氏はすでに、ECDSA鍵へのAIによる破壊に備えた「バンカーモード」姿勢を呼びかけており、Lean路線への転換はEthereum 2.0アップグレード以来のロードマップの伝統を引き継ぐ動きだ。より近い工程ではGlamsterdamアップグレードなどが控えている。

投稿の背景には、AIの数学的到達力を示す最新の実績もある。OpenAIは最近、内部モデルが生成した数百本の数学研究論文を公開した。Justin Drake氏はこれを「数学的超知能」が生まれつつある兆候として読んだ。文脈を踏まえ、Drake氏は最も極端なシナリオではECDSAの突破が年単位ではなく月単位で到達し得ると警告し、業界に対し、資金を公開鍵を未公開の新アドレスへ移しながら、計画的に資産移行の準備を始めるよう助言した。もっとも同氏も、慌てた移行は排除すべきだと釘を刺している。Buterin氏の併記した指針は署名を超える範囲に及ぶ。格子方式はより保守的なパラメータを使うべきこと、可能な場面ではハッシュベースの暗号を優先すべきこと、そしてプライバシープロトコルは暗号データを直接オンチェーンに置かず、第三者を経由するオフチェーン送信に切り替えるべきことだ。

OpenAIの公開をめぐる具体的な詳細も明らかになっている。722本の数学論文は未公開の内部モデルによるもので、およそ4,000件の研究課題で検証された。一部の結果は計算機で検証可能な証明を伴い、ほかは未検証のまま、と同社は説明する。先月のOpenAIの説明によれば、同じモデルはミレニアム懸賞問題7問のうちの一つ、ナビエ・ストークス問題を解いたという。各結果にはChatGPT Proの推論約3時間分に相当する計算資源が投入された。公開から1日以内には、外部の研究者が結果の一つ、1969年以来の未解決問題である大規模行列乗算の速度限界について、独立に検証を再実行し、結果が正しいことを確認した。Drake氏はXでの「バンカーモード」呼びかけでこの公開を引用し、大口保有者に対し、公開鍵が一度もオンチェーンに現れていないアドレスへの資金の段階的移行を始めるよう促した。その上で、BitcoinやEthereum (ETH)のウォレット鍵への実用的な攻撃はいまだ実証されていないと強調している。

トーンの変化には経緯がある。約3週間前、Buterin氏はAIが防御側を支援するとし、暗号資産のセキュリティが崩壊することはないと述べていた。木曜の投稿は、自身の評価が明確に引き上げられたことを示すものだ。警告は、取引所にとって現実的な判断を迫る時期にも届いた。Drake氏は「バンカーモード」の呼びかけと併せて、BinanceやBitbankを含む5つのプラットフォームに対し、コールドウォレットの態勢強化を要請した。何らかの攻撃が実証されたことへの対応ではなく、業界としての備えだと同氏は位置づけている。格子方式を量子耐性への道として研究してきたブロックチェーンにとって、両名のメッセージが重なった意味は大きい。それらの方式を支える数学こそ、Buterin氏の2年という懸念の的だからだ。

@vitalikbuterin · Xの投稿

投稿.

Xで見る

前提条件:構造的な数学的突破

2年という期間は、現実の数学的事件を条件としており、ハードウェアの予定通りの到着を条件としてはいない。今日公開されている研究成果のどこにも、ML-DSAやECDSAを破るものはない。変わったのは、GNFS級の弱点を探す速度であり、Buterin氏自身の枠組みはそれを事実ではなく、保険をかけるべき確率として扱っている。投稿の即座に実行可能な半分は運用面にある。新しいアドレスの確保、マルチシグのオフチェーン確認、そして移行の自制。同氏の序列では、移行の失敗はエクスプロイトよりも現実に損失を生んできた要因だ。リスクが顕在化するには、人間か機械かを問わず、まず誰かが格子問題の構造的弱点を論文として公表しなければならない。その論文が存在する限り、Leanロードマップのハッシュ転換は、期日の定まらない不確実性に対する保険である。