Speaker
Description
As quantum technologies develop the question of verifying/certifying the correctness of the quantum devices is crucial. In particular, as quantum computers will outperform classical, it may be impossible to test the correctness of the quantum computer using a classical. Instead, one need to perform verifiable quantum computation (VBQC). A number of such protocols exist, and we focus on protocols that exploit blind quantum computation (e.g. Fitzsimons, Kashefi 2012). For those protocols the (honest) parties need to trust their devices. We developed a protocol that is device independent (Gheorghiu, Kashefi, Wallden 2015), however that protocol similarly to other works (e.g. Reichardt, Unger, Vazirani 2012) impose an unphysical assumption of no-communication between parties that cannot be enforced using spacelike separation. In this contribution we develop a protocol that avoids this problem by first formulating the VBQC in a "step-wise" form and then giving a truly device-independent protocol where the no-communication of the parties is enforced from relativistic constraints.
| Topic: | Mini-workshop: Continuous Variables and Relativistic Quantum Information |
|---|