Random Oracle Model
El modelo de oráculo aleatorio (ROM) idealiza las funciones hash como funciones verdaderamente aleatorias con acceso público de consulta, y prueba la seguridad de protocolos bajo esa idealización.
Propósito
Aporta evidencia de seguridad demostrable para protocolos que resisten pruebas en el modelo estándar; una herramienta habitual para firmas, cifrado y pruebas de conocimiento cero.
Mecanismo
H se modela como una función aleatoria: cada consulta nueva devuelve un valor uniformemente aleatorio, y las repetidas devuelven el mismo valor. Tras probar la seguridad en el ROM, H se instancia con un hash concreto (p. ej., SHA-256), y la seguridad descansa heurísticamente en la aleatoriedad de H.
Casos de uso
- Pruebas de seguridad de firmas
- Análisis de pruebas de conocimiento cero
- Diseño de esquemas de cifrado