量子态的非破坏性零知识证明及授权隐藏 GHZ 态的多方生成
量子物理
2025-12-11 v3 密码学与安全
摘要
我们提出了著名的非交互式零知识（NIZK）证明向量子语言（NIZKoQS）的首个推广，并提供了一种协议，用于对接收到的量子态非破坏性地、非交互式地（从证明者向验证者发送单条消息）证明高级性质。在我们的第二项正交贡献中，我们改进了代价高昂的远程态制备协议 [CCKW18,CCKW19,GV19]——该协议可经典地伪造量子信道（这是我们 NIZKoQS 协议的核心）——通过展示如何由单个叠加态创建多量子比特态。最后，我们将这些结果推广到多方设定，并证明多方可以匿名地分发 GHZ 态，使得仅知晓秘密凭证的参与者能够共享该态，这可应用于量子匿名传输、量子秘密共享、量子洋葱路由等。
引用
@article{arxiv.2104.04742,
title = {Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States},
author = {Léo Colisson and Frédéric Grosshans and Elham Kashefi},
journal= {arXiv preprint arXiv:2104.04742},
year = {2025}
}
备注
59 pages, added a precise definition & proof of NIZKoQS