Analysis of Quantum Multi-Prover Zero-Knowledge Systems: Elimination of the Honest Condition and Computational Zero-Knowledge Systems for QMIP Yusuke Kinoshita (Nagoya Univ.)
Zero-knowledge and multi-prover systems are both central notions in classical and quantum complexity
theory. There is, ... [more]