Random Oracle Model
随机预言机模型（ROM）将哈希函数理想化为公开可查询的真正随机函数，在此理想化下证明协议安全。
用途
为难以在标准模型证明的协议提供可证明安全证据，是签名、加密、零知识证明的常用分析工具。
机制
将 H 建模为随机函数：每次新查询返回均匀随机值，重复查询返回相同值。在 ROM 下证明安全后，实例化 H 为具体哈希（如 SHA-256），安全性启发式依赖 H 的随机性。
用例
- 签名安全证明
- 零知识证明分析
- 加密方案设计
随机预言机模型（ROM）将哈希函数理想化为公开可查询的真正随机函数，在此理想化下证明协议安全。
为难以在标准模型证明的协议提供可证明安全证据，是签名、加密、零知识证明的常用分析工具。
将 H 建模为随机函数：每次新查询返回均匀随机值，重复查询返回相同值。在 ROM 下证明安全后，实例化 H 为具体哈希（如 SHA-256），安全性启发式依赖 H 的随机性。