Multi-theorem Designated-Verifier NIZK for QMA
Omri Shmueli
2021年份
9被引次数
4顶会引用
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
引用它的顶会 Paper4
- Certified Everlasting Zero-Knowledge Proof for QMATaiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi YamakawaCRYPTO 2022 · 被引用 16 次
- Secure Computation with Shared EPR Pairs (Or: How to Teleport in Zero-Knowledge)James Bartusek, Dakshita Khurana, Akshayaram SrinivasanCRYPTO 2023 · 被引用 3 次
- 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
相关 Paper
- Formal Verification of Circuit-Soundness in zkWasm, a General Purpose zkVMVilhelm Sjöberg, Roger Bai, Hao Chen, Xifeng Jin 等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 次
- Query-Reusable Proof SystemsYuval Ishai, Eyal Kushilevitz, Varun Narayanan, Rafail Ostrovsky 等EUROCRYPT 2025
