Anne Broadbent, Zhengfeng Ji, Fang Song, John Watrous: Zero-Knowledge Proof Systems for QMA. SIAM J. Comput. 49(2): 245-283 (2020)