#XmasCryptoMiracles

La théorie cryptographique a fourni la notion de sécurité prouvable qui est souvent un idéal inatteignable en pratique. Le travail théorique obtient des protocoles de sécurité prouvable uniquement au prix de l'efficacité. Les théoriciens passent de certaines primitives vers des ensembles puissants de primitives. Cela se produit parce que les protocoles de sécurité prouvable ont souvent un design complexe et obscur, ce qui conduit à l'inefficacité et aux erreurs. Pour combler le fossé entre la théorie cryptographique et la pratique, l'hypothèse de l'oracle aléatoire a été développée. Cette hypothèse produit des protocoles cryptographiques beaucoup plus efficaces que les standards. L'article décrit le concept du modèle d'oracle aléatoire et le remplacement des oracles aléatoires par des fonctions de hachage. Le travail pratique montre que personne n'a été capable de réaliser une attaque réussie sur de tels protocoles cryptographiques.