TY - RPRT TI - Zero-knowledge proof systems for QMA AU - Anne Broadbent AU - Zhengfeng Ji AU - Fang Song AU - John Watrous PY - 2016 DO - 10.1109/focs.2016.13 UR - https://arxiv.org/abs/1604.02804 ID - 1604.02804 ER -