Classical Proofs of Quantum Knowledge
Classical Proofs of Quantum Knowledge
复制标题
量子知识的经典证明
DOI：
10.1007/978-3-030-77886-6_22
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Tina Zhang
中科院分区：
文献类型：
--
作者：
Thomas Vidick;Tina Zhang
我们在验证者是经典的情况下定义知识证明的概念，但证明者是量子的，并且证明者持有的见证通常是量子态的。我们建立了我们定义的简单属性，包括量子知识的非破坏性经典证明对于非平凡状态是不可能的，并且，在我们定义中的参数的某些条件下，难以克隆状态的知识证明协议可以用作（破坏性）量子货币验证协议。此外，我们提供了两个协议示例（都受到量子货币方案的私钥经典验证协议的启发），我们可以在我们的定义下证明量子知识。在此过程中，我们引入了基于非局部博弈文献结果的新技术来分析这些协议。最后，我们证明，在我们的定义下，Mahadev （FOCS 2018）引入的验证协议是QMA关系的量子知识的经典论点。
We define the notion of a proof of knowledge in the setting where the verifier is classical, but the prover is quantum, and where the witness that the prover holds is in general a quantum state. We establish simple properties of our definition, including that nondestructive classical proofs of quantum knowledge are impossible for nontrivial states, and that, under certain conditions on the parameters in our definition, a proof of knowledge protocol for a hard-to-clone state can be used as a (destructive) quantum money verification protocol. In addition, we provide two examples of protocols (both inspired by private-key classical verification protocols for quantum money schemes) which we can show to be proofs of quantum knowledge under our definition. In so doing, we introduce new techniques for the analysis of such protocols which build on results from the literature on nonlocal games. Finally, we show that, under our definition, the verification protocol introduced by Mahadev (FOCS 2018) is a classical argument of quantum knowledge for QMA relations.
DOI：
10.22331/q-2021-09-16-544
发表时间：
2020-01
期刊：
--
影响因子：
--
作者：
Tony Metger;Thomas Vidick
通讯作者：
Tony Metger;Thomas Vidick