论文标题
QMA的多理论（恶意）指定律师NIZK
Multi-theorem (Malicious) Designated-Verifier NIZK for QMA
论文作者
论文摘要
我们介绍了具有多理论安全性的QMA的第一个非交互式零知识参数系统。 Our protocol setup constitutes an additional improvement and is constructed in the malicious designated-verifier (MDV-NIZK) model (Quach, Rothblum, and Wichs, EUROCRYPT 2019), where the setup consists of a trusted part that includes only a common uniformly random string and an untrusted part of classical public and secret verification keys, which even if sampled maliciously by the verifier, the zero knowledge property still持有。我们的协议的安全性是在学习中以错误假设确定的。我们的主要技术贡献是显示了使用NP的NIZK将任何Sigma协议汇编为可重复使用的MDV-NIZK协议的一般转换。我们的技术是经典的，但适用于量子协议，并允许为QMA构建可重复使用的MDV-NIZK。
We present the first non-interactive zero-knowledge argument system for QMA with multi-theorem security. Our protocol setup constitutes an additional improvement and is constructed in the malicious designated-verifier (MDV-NIZK) model (Quach, Rothblum, and Wichs, EUROCRYPT 2019), where the setup consists of a trusted part that includes only a common uniformly random string and an untrusted part of classical public and secret verification keys, which even if sampled maliciously by the verifier, the zero knowledge property still holds. The security of our protocol is established under the Learning with Errors Assumption. Our main technical contribution is showing a general transformation that compiles any sigma protocol into a reusable MDV-NIZK protocol, using NIZK for NP. Our technique is classical but works for quantum protocols and allows the construction of a reusable MDV-NIZK for QMA.
