On Quantum Simulation-Soundness

ePrint Report: On Quantum Simulation-Soundness

Behzad Abdolmaleki, Céline Chevalier, Ehsan Ebrahimi, Giulio Malavolta, Quoc-Huy Vu

Non-interactive zero-knowledge (NIZK) proof systems are a cornerstone of modern cryptography, but their security has received little attention in the quantum settings. Motivated by improving our understanding of this fundamental primitive against quantum adversaries, we propose a new definition of security against quantum adversary. Specifically, we define the notion of quantum simulation soundness
(SS-NIZK), that allows the adversary to access the simulator in superposition. We …

adversaries attention cornerstone cryptography definition eprint report knowledge non proof quantum report security settings simulation systems understanding