OpenAIのAI数学論文722本、Bitcoin(BTC)署名セキュリティへの懸念を浮上

OpenAIの数学論文722本が暗号論の論争を刺激

人工知能の数学的推論能力が急速に伸びていること自体が珍しい話ではないが、ここ数日の暗号資産コミュニティの警戒は具体的な問いに収束している。対象は、楕円曲線上の離散対数問題(ECDLP)だ。この難問が解けるかどうかが、Bitcoin (BTC)やEthereumの電子署名の安全性を直接左右する。OpenAIがAIの支援で生成した数学論文群を公開したことが発端で、その総数は722本に上る。リーマン予想やP=NP問題といった、現代の公開鍵暗号の理論的な土台に関わる課題に触れる論文も含まれていた。ただし両問題が解かれたわけではない。722本のうちLeanという形式的検証ツールによる証明チェックを通過したのは162本だけで、研究者の間では再現性への疑問も出ている。つまり現時点で実用的な攻撃手法が示されたわけではなく、警戒は構造的な話だ。BitcoinもEthereumも楕円曲線署名を採用し、秘密鍵を公開鍵から導出できないという計算上の困難さに所有権の仕組みを依存している。ここが破られた場合、攻撃者は公開された公開鍵から秘密鍵を導出し、取引所の保管資産から自己管理のハードウェアウォレットに至るまで、正当な所有者になりすますことができる。従来この仮定への脅威としては量子コンピュータが挙げられてきた。AIは話の形を変える。モデルが効率的な解法を「発見」すれば、量子計算機ではなく通常のハード上で動くからだ。とはいえ、ECDLPに対する独立検証済みの効率的な解法は存在せず、危機はあくまで仮定の段階にある。緊張が高まるのは問題の「向かう方向」が変わったためで、ブロックチェーン経済の根幹を問う議論として沈殿しつつある。Bitcoinの価格自体は、この論争に目立った反応を示していない。

ハッシュ型バックアップ鍵と非常用スイッチの構想

暗号層が破られた場合、銀行よりブロックチェーンの方が打撃が深い。中央集権的な金融機関なら顧客の本人確認をやり直し、認証基盤を丸ごと作り替えられる。一方、分散型台帳には全口座の所有権を一括で確認する管理者が存在しない。被害を受けた利用者の鍵をどう守り、正当な所有権をどう復元するかが、いま最も難しい未解決問題になっている。対処論は二つの陣営に分かれた。Ethereumの研究者Justin Drakeは、事前に公開鍵の露出を最小化するアドレスへ資産を移す避難策を提案した。事後ではなく事前の避難という発想だ。Ethereum共同創設者のVitalik Buterinはこれに反論し、慌ただしい資産移動そのものがユーザーの誤操作を生むと指摘した。DragonflyのマネージングパートナーHashib Qureshiも避難論を「戦わず隠れるだけ」と退け、プロトコルレベルの緊急暗号回復モードというより広い設計を持ち出した。その構想では、利用者が既存のアドレスにハッシュ型のバックアップ鍵を事前登録しておく。ハッシュ型の暗号は楕円曲線方式より構造が単純で、数理パターンに依存しないためAIの推論に強く、破るにはほぼ無限に近い総当たりが必要になる。楕円曲線署名の深刻な脆弱性が確認された場合、バリデータが合意形成で非常用スイッチを作動させ、AIに解読された署名を停止し、全ウォレットをハッシュ型保護へ切り替えて時間を稼ぐ。この方式は遅く高コストで、提案者自身が常時の代替ではなく緊急ブレーキだと位置付ける。バックアップ鍵を登録していなかった利用者には、シードフレーズのゼロ知識証明で旧資産の所有権を証明し、新アドレスを発行する救済が想定される。第三の案として、資産回復に要する計算量を資産規模と経過時間に応じて跳ね上げる形で、proof-of-workパズルの難易度を引き上げる構想も議論に載っている。

誰も決着させられていない論点

われわれの読みでは、今回の騒動は「破られた」話ではなく「議論されている」話として取引されている。物語の支点にある数字はLean検証の通過数、722本中162本だ。業界で唯一出てきた客観的指標であり、新しい数学の大半が暗号学が要求する水準の証明に達していないことを示している。陣営間の応酬も何も決めていない。Drakeの事前移行は個人の安全の問題、Qureshiのプロトコル型回復は鎖全体の復旧の問題であり、問いが違う。Buterinの反論は前者には刺さるが後者には当たらない。事態を一発で決着させられるのはただ一つ、効率的かつ独立検証済みのECDLP解法の提示だ。それはまだ誰も示しておらず、示されるまでこの対立自体がニュースの本体であり続ける。