机构名称：
¥ 1.0
Chandran 等人 (SIAM J. Comput. '14) 正式引入了位置验证的加密任务，他们还表明该任务无法通过经典协议实现。在这项工作中，我们开始研究具有经典验证器的位置验证协议。我们发现量子性证明（以及计算假设）对于此类位置验证协议是必要的。在另一个方向上，我们调整了 Brakerski 等人 (FOCS '18) 的量子性证明协议来实例化此类位置验证协议。结果，我们实现了经典可验证的位置验证，假设有错误学习的量子难度。在此过程中，我们为 1-of-2 谜题的自然非局部游戏开发了 1-of-2 非局部健全性的概念，该概念由 Radian 和 Sattath (AFT '19) 首次提出，可视为计算不可克隆性属性。我们表明，1-of-2 非局部健全性遵循标准 2-of-2 健全性（因此也遵循自适应硬核位属性），这可能具有独立的意义。
突破位置验证的经典不可能性——DROPS
主要关键词
相关文件推荐
