机构名称：
¥ 6.0
博弈证明构成了非量子密码安全论证的强大框架，最显著的应用是在不可微性背景下。此类证明的一个基本要素是随机原语的惰性采样。我们通过概括两种最近开发的证明技术开发了一个量子博弈证明框架。首先，我们描述了如何使用 Zhandry 的压缩量子预言机 (Crypto'19) 对一类非均匀函数分布进行量子惰性采样。其次，我们观察了 Unruh 的单向隐藏引理 (Eurocrypt'14) 也可以应用于压缩预言机，为博弈基本引理提供了量子对应物。随后，我们使用我们的博弈框架来证明海绵结构的量子不可微性，假设内部函数为随机。
量子惰性采样和量子不可微性的博弈证明
主要关键词
相关文件推荐
