Abstract:Zero-Knowledge (ZK) protocols have been intensely studied due to their fundamental importance and versatility. However, quantum information's inherent differences significantly alter the landscape, necessitating a re-examination of ZK designs. A crucial aspect is round complexity, linked to $\textit{simulation}$, which forms the foundation of ZK definition and security proofs. In the $\textit{post-quantum}$ setting, where honest parties and channels are classical but adversaries quantum, Chia et al. [FOCS'21] showed constant-round $\textit{black-box-simulatable}$ ZK arguments (BBZK) for $\mathbf{NP}$ are impossible unless $\mathbf{NP} \subseteq \mathbf{BQP}$. But this problem remains open when all parties and communication are quantum. Indeed, this problem interests the broader theory of quantum computing. Investigating how quantum power alters tasks like the $\textit{unconditional}$ security of QKD and incorporating OT in MiniQCrypt has been crucial. Moreover, quantum communication has enabled round compression for commitments and interactive arguments. Along this line, understanding if quantum computing could fundamentally change ZK protocols is vital. We resolved this problem by proving that only languages in $\mathbf{BQP}$ admit constant-round $\textit{fully-quantum}$ BBZK. This result holds significant implications. Firstly, it illuminates the nature of quantum zero-knowledge and provides valuable insights for designing future protocols in the quantum realm. Secondly, it relates ZK round complexity with the intriguing problem of $\mathbf{BQP}$ vs $\mathbf{QMA}$, which is out of the reach of previous analogue impossibility results in the classical or post-quantum setting. Lastly, it justifies the need for the $\textit{non-black-box}$ simulation techniques or the relaxed security notions employed in existing constant-round fully-quantum BBZK protocols.

Concurrently Non-malleable Black-Box Zero Knowledge in the Bare Public-Key Model

Efficient Concurrent Zero Knowledge Arguments for NP in the Bare Public-Key Model

Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption

Concurrently Knowledge-Extractable Resettable-ZK in the Bare Public-Key Model

Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model

A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds

Generic and Practical Resettable Zero-Knowledge in the Bare Public-Key Model

Constant-Round Concurrently-Secure Rzk in the (real) Bare Public-Key Model

Precise Bounded-Concurrent Zero-Knowledge in Almost Constant Rounds

Concurrent/Resettable Zero-Knowledge with Concurrent Soundness in the Bare Public-Key Model and Its Applications.

Obfuscation-Based Non-Black-Box Extraction and Constant-Round Zero-Knowledge Arguments of Knowledge.

A note on constant-round concurrent zero-knowledge arguments of knowledge for NP

Resettable Zero-Knowledge In The Weak Public-Key Model

Concurrent Knowledge Extraction in the Public-Key Model

Unbounded Non-Malleable Non-Interactive Zero Knowledge Protocols for NP

Resettable cryptography in constant rounds --- the case of zero knowledge

Interactive zero-knowledge with restricted random oracles

On constant-round precise zero-knowledge

Constant-round Adaptive Zero-Knowledge Proofs for NP

The Black-Box Simulation Barrier Persists in a Fully Quantum World

Simplified Design for Concurrent Statistical Zero-Knowledge Arguments