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.

Quantum Bit Commitment with Application in Quantum Zero-Knowledge Proof (Extended Abstract).

Quantum Zero-Knowledge Protocol Using Quantum Bit Commitment without Quantum Memory

Secure Bit Commitment Based on Quantum One-Way Function

Reexamination of Quantum Bit Commitment: the Possible and the Impossible

An Arbitrarily Concealing and Practically Binding Quantum Bit Commitment Protocol

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

Quantum Bit Escrow

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

Quantum Bit Commitment Protocol Based on Counterfactual Quantum Cryptography

Zero-Knowledge Proof Systems for QMA.

Experimental Unconditionally Secure Bit Commitment

Experimental Implementation of A Quantum Zero-Knowledge Proof for User Authentication

Experimental bit commitment based on quantum communication and special relativity

Improvements on Non-Interactive Zero-Knowledge Proof Systems Related to Quadratic Residuosity Languages.

An optical implementation of quantum bit commitment using infinite-dimensional systems

Quantum key distribution based on orthogonal states allows secure quantum bit commitment

On the Relativistic Zero Knowledge Quantum Proofs of Knowledge

A Quantum Bit Commitment Protocol Based on Nonorthogonal States Coding

Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum States

On Zero-Knowledge Proofs over the Quantum Internet

Device-independent quantum randomness-enhanced zero-knowledge proof