压缩置换查询器

对查询随机可逆置换的量子算法分析是密码学中长期存在的挑战。许多适用于随机查询器的技术在此设置下失败，或尚未被证明可推广。因此，涉及置换的基础密码构造往往缺乏量子安全性证明。为弥合这一差距，我们发展并证明了压缩置换查询器的正确性。我们的构造在许多吉兰兹原方法压缩函数查询器的有趣特征方面具有相似性：净化是一个小型的输入输出对列表，这些列表有意地反映了算法对查询器的了解。我们随后运用此框架，表明具有七轮的Feistel构造是强量子PRP，从而解决了（Zhandry, 2012）的开放问题。我们进一步重新证明了基本所有已知的量子查询下界均适用于随机置换模型，包括Sponge和Davies-Meyer的碰撞与原像抗性、双侧零搜索和稀疏谓词搜索的困难性，以及循环查找和“多一次”问题的新下界。