Anne Broadbent, Zheng-Feng Ji, Fang Song, John Watrous: Zero-knowledge proof systems for QMA. CoRR abs/1604.02804 (2016)