#XmasCryptoMiracles

A teoria criptográfica forneceu a noção de segurança demonstrável, que muitas vezes é um ideal inatingível na prática. O trabalho teórico obtém protocolos seguros demonstráveis apenas às custas da eficiência. Os teóricos estão se movendo de certos primitivos para conjuntos poderosos de primitivos. Isso acontece porque os protocolos seguros demonstráveis frequentemente têm um design complexo e obscuro, o que leva à ineficiência e a erros. Para preencher a lacuna entre a teoria criptográfica e a prática, a hipótese do oráculo aleatório foi desenvolvida. Essa hipótese produz protocolos criptográficos muito mais eficientes do que os padrões. O artigo descreve o conceito do modelo de oráculo aleatório e a substituição de oráculos aleatórios por funções de hash. O trabalho prático mostra que ninguém conseguiu realizar um ataque bem-sucedido contra tais protocolos criptográficos.