1 paper
Amit Saha, Harold Ollivier
Interactive verification protocols for quantum computations allow to build trust between a client and a service provider, ensuring the former that the instructed computation was ca…