Paper Info
Title
Multi-Theorem Designated-Verifier Nizk For Qma
Abstract
We present a designated-verifier non-interactive zero-knowledge argument system for QMA with multi-theorem security under the Learning with Errors Assumption. All previous such protocols for QMA are only single-theorem secure. We also relax the setup assumption required in previous works. We prove security in the malicious designated-verifier (MDV-NIZK) model (Quach, Rothblum, and Wichs, EUROCRYPT 2019), where the setup consists of a mutually trusted random string and an untrusted verifier public key.Our main technical contribution is a general compiler that given a NIZK for NP and a quantum sigma protocol for QMA generates an MDV-NIZK protocol for QMA.
Year
DOI
Venue
2021
10.1007/978-3-030-84242-0_14
ADVANCES IN CRYPTOLOGY (CRYPTO 2021), PT I
DocType
Volume
ISSN
Conference
12825
0302-9743
Citations 
PageRank 
References 
0
0.34
0
Authors
1
Name
Order
Citations
PageRank
Omri Shmueli111.71