#XmasCryptoMiracles
La teoría criptográfica ha proporcionado la noción de seguridad demostrable, que a menudo es un ideal inalcanzable en la práctica. El trabajo teórico obtiene protocolos de seguridad demostrable solo a costa de la eficiencia. Los teóricos están pasando de ciertas primitivas hacia conjuntos poderosos de primitivas. Eso sucede porque los protocolos de seguridad demostrable a menudo tienen un diseño complejo y oscuro, lo que lleva a la ineficiencia y a errores. Para cerrar la brecha entre la teoría criptográfica y la práctica, se desarrolló la hipótesis del oráculo aleatorio. Esta hipótesis produce protocolos criptográficos mucho más eficientes que los estándar. El artículo describe el concepto del modelo de oráculo aleatorio y el reemplazo de oráculos aleatorios por funciones hash. El trabajo práctico muestra que nadie ha podido llevar a cabo un ataque exitoso contra tales protocolos criptográficos.