Multi-theorem Designated-Verifier NIZK for QMA
Omri Shmueli
2021Year
9Citations
4Top-tier citations
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Cited by top-tier papers4
- Certified Everlasting Zero-Knowledge Proof for QMATaiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi YamakawaCRYPTO 2022 · 16 citations
- Secure Computation with Shared EPR Pairs (Or: How to Teleport in Zero-Knowledge)James Bartusek, Dakshita Khurana, Akshayaram SrinivasanCRYPTO 2023 · 3 citations
- Time-Delayed Publicly Verifiable Quantum Computation with Classical VerifiersAmeer Mohammed, Aydin Abadi, Jaffer MahdiCCS 2026
- A New Approach to Arguments of Quantum KnowledgeJames Bartusek, Ruta Jawale, Justin Raizes, Kabir TomerCRYPTO 2026
Related papers
- Formal Verification of Circuit-Soundness in zkWasm, a General Purpose zkVMVilhelm Sjöberg, Roger Bai, Hao Chen, Xifeng Jin et al.CCS 2026
- Melior, Verifiable Mixed-Integer Programming via zkSNARKsWenjie Qu, Yanze Jiang, Yanpei Guo, Jiaheng ZhangCCS 2026
- Anonymous Public-Key Quantum Money and Universally Verifiable Quantum VotingAlper Çakan, Vipul Goyal, Takashi YamakawaCRYPTO 2026
- Secure Multiparty Computation with Identifiable Abort via Vindicating ReleaseRan Cohen, Jack Doerner, Yashvanth Kondi, Abhi ShelatCRYPTO 2024 · 8 citations
- Query-Reusable Proof SystemsYuval Ishai, Eyal Kushilevitz, Varun Narayanan, Rafail Ostrovsky et al.EUROCRYPT 2025
