Edinburgh Research Explorer

Robustness and device independence of verifiable blind quantum computing

Research output: Contribution to journalArticle

Original languageEnglish
Article number083040
Number of pages27
JournalNew Journal of Physics
Publication statusPublished - Aug 2015


Recent advances in theoretical and experimental quantum computing brings us closer to scalable quantum computing devices. This lead researchers to develop protocols for verifying the correct functionality of quantum operations. In this paper we address key challenges to make quantum verification protocols applicable to experimental implementations. We prove the robustness of the single server verification protocol of Fitzsimons and Kashefi (2012) which is based on universal blind quantum computing. The robustness of this protocol makes possible its composition with the device-independent protocol of Reichardt, Unger and Vazirani (2013). The new composite protocol inherits the device independence from Reichardt, Unger and Vazirani protocol while it leads to a lower round complexity for the verification of entangled quantum servers scenario. Finally, we give a fault tolerant version of the Fitzsimons and Kashefi protocol which suggests that the composite protocol can also be made fault tolerant.

    Research areas

  • quant-ph

Download statistics

No data available

ID: 20127934