TY - RPRT TI - Quantum Proofs AU - Thomas Vidick AU - John Watrous PY - 2016 DO - 10.1561/0400000068 UR - https://arxiv.org/abs/1610.01664 ID - 1610.01664 ER -