#XmasCryptoMiracles

Криптографическая теория предложила понятие доказуемой безопасности, которое часто является недостижимым идеалом на практике. Теоретическая работа достигает доказуемо безопасных протоколов лишь ценой эффективности. Теоретики переходят от определенных примитивов к мощным наборам примитивов. Это происходит потому, что доказуемо безопасные протоколы часто имеют сложный и неясный дизайн, что приводит к неэффективности и ошибкам. Для преодоления разрыва между криптографической теорией и практикой была разработана гипотеза случайного оракула. Эта гипотеза дает криптопротоколы, которые гораздо более эффективны, чем стандартные. В статье описывается концепция модели случайного оракула и замена случайных оракулов хэш-функциями. Практическая работа показывает, что никому не удалось успешно атаковать такие криптопротоколы.