Random Oracle Model
ランダムオラクルモデル（ROM）は、ハッシュ関数を「誰でも照会できる真にランダムな関数」と理想化し、その下でプロトコルの安全性を証明する。
目的
標準モデルでの証明に抵抗するプロトコルに証明可能安全性の根拠を与える、署名・暗号・ゼロ知識証明の一般的な解析ツールである。
メカニズム
Hはランダム関数としてモデル化される：新しい照会には一様ランダムな値を返し、同じ照会には同じ値を返す。ROMで安全性を証明した後、Hを具体的なハッシュ（SHA-256など）でインスタンス化し、安全性はHのランダム性にヒューリスティックに依存する。
ユースケース
- 署名スキームの安全性証明
- ゼロ知識プロトコルの解析
- 暗号スキーム設計への適用