#XmasCryptoMiracles
密码学理论提供了可证明安全性的概念，但在实践中这往往是一个无法实现的理想。理论工作获得的可证明安全协议，通常是以效率为代价的。理论家正在从某些基本原则转向强大的基本原则集。这是因为可证明安全的协议通常具有复杂且不明确的设计，导致低效率和错误。为了弥合密码学理论与实践之间的鸿沟，随机预言机假设被提出。这一假设产生的加密协议比标准协议更为高效。本文描述了随机预言机模型的概念，以及用哈希函数替代随机预言机的过程。实践工作表明，至今尚无人能成功攻击这类加密协议。
密码学理论提供了可证明安全性的概念，但在实践中这往往是一个无法实现的理想。理论工作获得的可证明安全协议，通常是以效率为代价的。理论家正在从某些基本原则转向强大的基本原则集。这是因为可证明安全的协议通常具有复杂且不明确的设计，导致低效率和错误。为了弥合密码学理论与实践之间的鸿沟，随机预言机假设被提出。这一假设产生的加密协议比标准协议更为高效。本文描述了随机预言机模型的概念，以及用哈希函数替代随机预言机的过程。实践工作表明，至今尚无人能成功攻击这类加密协议。