On parallel composition of zero-knowledge proofs with black-box quantum simulators

Rahul Jain, Alexandra Kolla, Gatis Midrijanis +1

Let L be a language decided by a constant-round quantum Arthur-Merlin (QAM) protocol with negligible soundness error and all but possibly the last message being classical. We prove…