DROPS

Document

DOI: 10.4230/LIPIcs.TQC.2014.176

Blindness and Verification of Quantum Computation with One Pure Qubit

Authors: Theodoros Kapourniotis, Elham Kashefi, and Animesh Datta

Published in: LIPIcs, Volume 27, 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014)

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.

Cite as

Theodoros Kapourniotis, Elham Kashefi, and Animesh Datta. Blindness and Verification of Quantum Computation with One Pure Qubit. In 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014). Leibniz International Proceedings in Informatics (LIPIcs), Volume 27, pp. 176-204, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@InProceedings{kapourniotis_et_al:LIPIcs.TQC.2014.176,
  author =	{Kapourniotis, Theodoros and Kashefi, Elham and Datta, Animesh},
  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 =	{Flammia, Steven T. and Harrow, Aram W.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TQC.2014.176},
  URN =		{urn:nbn:de:0030-drops-48151},
  doi =		{10.4230/LIPIcs.TQC.2014.176},
  annote =	{Keywords: Delegated Computing, Verification, Measurement-based Model}
}

Search Results

Documents authored by Datta, Animesh

Blindness and Verification of Quantum Computation with One Pure Qubit

Abstract

Cite as

Thanks for your feedback!

Could not send message