Abstract: In this talk, we will discuss the construction of zero-knowledge proof systems for QMA. We will talk about the difficulties and several ideas that helped in the final construction, including a new variant of the local Hamiltonian problem, the reduction to ZK for NP, and the use of quantum authentication codes to force the application of desired measurement. This is based on a joint work with A. Broadbent, F. Song and J. Watrous.

Date: 24 February 2016