Oráculo aleatorio
Una función hash idealizada que responde con un valor aleatorio a cada consulta nueva, y que se usa como modelo para demostrar la seguridad de esquemas criptográficos.
El modelo del oráculo aleatorio lo introdujeron Bellare y Rogaway en 1993 para poder demostrar que construcciones prácticas como OAEP y RSA-PSS son seguras. Es una ficción: ninguna función hash real se comporta como un oráculo aleatorio, pero una demostración en el modelo sigue siendo un argumento de peso.
Las críticas no han cesado desde que Canetti, Goldreich y Halevi mostraron en 1998 que hay esquemas seguros en el modelo que no pueden instanciarse de forma segura. Una demostración en el modelo, por tanto, no garantiza nada en el mundo real, y conviene recordarlo cuando alguien dice que algo está "demostrado".