TY  - RPRT
TI  - Classical Verification of Quantum Computations with Efficient Verifier
AU  - Nai-Hui Chia
AU  - Kai-Min Chung
AU  - Takashi Yamakawa
PY  - 2020
UR  - https://arxiv.org/abs/1912.00990
ID  - 1912.00990
ER  -