Verification of quantum technology

Quantum technology encounter an acute verification and validation problem: On one hand, since classical computations cannot scale-up to the computational power of quantum mechanics, verifying the correctness of a quantum-mediated computation is challenging. On the other hand, the underlying quantum structure resists classical certification analysis. We have shown, as a proof-of-principle, that one can bootstrap a small quantum device to test a bigger one. Currently we expand the verification protocols to a new level by adapting them for specific applications with significant real-life value (e.g. secure multi party computing and cloud computing) where honest behaviour is enforced using our proposed quantum verification techniques. I will present a general summery of the field in this talk.