License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.TQC.2014.176
URN: urn:nbn:de:0030-drops-48151
URL: http://drops.dagstuhl.de/opus/volltexte/2014/4815/
Go to the corresponding LIPIcs Volume Portal


Kapourniotis, Theodoros ; Kashefi, Elham ; Datta, Animesh

Blindness and Verification of Quantum Computation with One Pure Qubit

pdf-format:
15.pdf (0.6 MB)


Abstract

While building a universal quantum computer remains challenging, devices of restricted power such as the so-called one pure qubit model have attracted considerable attention. An important step in the construction of these limited quantum computational devices is the understanding of whether the verification of the computation within these models could be also performed in the restricted scheme. Encoding via blindness (a cryptographic protocol for delegated computing) has proven successful for the verification of universal quantum computation with a restricted verifier. In this paper, we present the adaptation of this approach to the one pure qubit model, and present the first feasible scheme for the verification of delegated one pure qubit model of quantum computing.

BibTeX - Entry

@InProceedings{kapourniotis_et_al:LIPIcs:2014:4815,
  author =	{Theodoros Kapourniotis and Elham Kashefi and Animesh Datta},
  title =	{{Blindness and Verification of Quantum Computation with One Pure Qubit}},
  booktitle =	{9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014)},
  pages =	{176--204},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-73-6},
  ISSN =	{1868-8969},
  year =	{2014},
  volume =	{27},
  editor =	{Steven T. Flammia and Aram W. Harrow},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2014/4815},
  URN =		{urn:nbn:de:0030-drops-48151},
  doi =		{10.4230/LIPIcs.TQC.2014.176},
  annote =	{Keywords: Delegated Computing, Verification, Measurement-based Model}
}

Keywords: Delegated Computing, Verification, Measurement-based Model
Seminar: 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014)
Issue Date: 2014
Date of publication: 26.11.2014


DROPS-Home | Fulltext Search | Imprint Published by LZI