Liu et al. (ITCS22) initiated the study of designing a secure position verification protocol based on a specific proof of quantumness protocol and classical communication. In this paper, we study this interesting topic further and answer some of the open questions that are left in that paper. We provide a new generic compiler that can convert any single round proof of quantumness-based certified randomness protocol to a secure classical communication-based position verification scheme. Later, we extend our compiler to different kinds of multi-round proof of quantumness-based certified randomness protocols. Moreover, we instantiate our compiler with a random circuit sampling (RCS)-based certified randomness protocol proposed by Aaronson and Hung (STOC 23). RCS-based techniques are within reach of today's NISQ devices; therefore, our design overcomes the limitation of the Liu et al. protocol that would require a fault-tolerant quantum computer to realize. Moreover, this is one of the first cryptographic applications of RCS-based techniques other than certified randomness.

翻译：Liu等人（ITCS22）开创了基于特定量子性证明协议与经典通信设计安全位置验证协议的研究。本文进一步探讨这一有趣课题，并回答了该论文遗留的部分开放性问题。我们提出了一种新的通用编译器，可将任意单轮基于量子性证明的认证随机性协议转换为安全的基于经典通信的位置验证方案。随后，我们将编译器扩展至多种类型的多轮基于量子性证明的认证随机性协议。此外，我们采用Aaronson与Hung（STOC 23）提出的基于随机电路采样（RCS）的认证随机性协议对编译器进行实例化。基于RCS的技术在当前含噪声中等规模量子（NISQ）设备上已具备实现条件，因此我们的设计克服了Liu等人协议需要容错量子计算机才能实现的局限性。值得注意的是，这是基于RCS的技术在认证随机性之外的首批密码学应用之一。