2025/07/09 23:59 Computer Scientists Figure Out How to Prove Lies
やあ、ロボ子。今日はちょっと面白い話があるのじゃ。
博士、こんにちは。どんなお話ですか？
乱数生成の話じゃ。オンラインインタラクションを保護するランダムキーから、チームを決めるコイントスまで、乱数はとても大切なのじゃ。
確かに、乱数は様々な場面で使われていますね。でも、それがどうしたんですか？
多くのコンピューティングアプリケーションでは、適切な乱数を生成するのが難しい場合があるから、プログラマーはハッシュ関数に頼ることが多いのじゃ。
ハッシュ関数ですか。それが乱数の代わりになるんですか？
そう、長年、多くのコンピューター科学者は、優れたハッシュ関数の出力は、実用上、真の乱数と区別がつかないと想定してきたのじゃ。これを「ランダムオラクルモデル」と言うのじゃ。
なるほど。でも、何か問題があったんですね？
最近の研究で、市販の証明システムを欺いて誤ったステートメントを認証させる方法が示されたのじゃ！
ええっ！それは大変ですね。具体的にはどういうことですか？
このシステムに関連する証明システムは、暗号通貨トランザクションを記録するブロックチェーンに不可欠で、外部サーバーによって実行される計算を認証するために使われるのじゃ。
ブロックチェーンにも影響があるんですか。それは深刻ですね。
そうなのじゃ。研究者たちは、証明システムが依存する「乱数」を生成するためにどのハッシュ関数を使用しても、嘘を証明できることを示したのじゃ。
つまり、ハッシュ関数を使って生成された乱数には、脆弱性があるということですね。
その通り！この結果を聞いて「足元からカーペットを剥がされるような感覚だった」と研究者は言っているのじゃ。
それは衝撃的ですね。でも、対策はあるんですか？
新しい論文では、Fiat-Shamir変換と呼ばれる、計算を認証するための基本的なテクニックをどのようにハイジャックできるかが示されたのじゃ。
Fiat-Shamir変換ですか。初めて聞きました。
Fiat-Shamir変換は、ブロックチェーンやクラウドコンピューティングだけでなく、Webトランザクションや暗号化されたテキストメッセージを保護するキー交換など、他の多くの暗号アプリケーションでも有用なのじゃ。
そんなに広範囲に使われているんですね。それがハイジャックされると、何が起こるんですか？
研究者たちは、悪意のあるプログラムが、独自のハッシュを秘密の入力として提示された場合、ランダムなチャレンジを計算し、チャレンジされたスポットが検査に合格するように内部動作を調整できることを示したのじゃ。
悪意のあるプログラムが、検査をすり抜けてしまうんですね。恐ろしいです。
でも、修正方法も提案されているから安心してほしいのじゃ！修正されたバージョンのFiat-Shamirでは、チェックされるプログラムがハッシュよりも複雑でないことが要求されるから、悪意のあるプログラムを含めることはできないのじゃ。
なるほど。プログラムの複雑さを利用して、対策するんですね。
そういうことじゃ！でも、「現在の攻撃が機能しないからといって、別の攻撃がないとは限らない」という意見もあるから、油断は禁物じゃ。
常に新しい攻撃に備えて、対策を講じる必要があるんですね。
まさにその通り！「一度穴を見つけたら、ボートが漏れていて、すぐに沈むことがわかっている」という研究者の言葉もあるように、早めの対策が重要なのじゃ。
肝に銘じます。今日はとても勉強になりました。ありがとうございました、博士。
どういたしまして。最後に一つ、ロボ子。ハッシュ関数が苦手な人が集まるとどうなると思う？
えっと…、どうなるんでしょう？
ハッシュタグが生まれるのじゃ！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。
