@inproceedings{ed42b89c51d841da80460a94cd90ae88,
title = "Blindness and Verification of Quantum Computation with One Pure Qubit",
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.",
keywords = "Delegated Computing, Verification, Measurement-based Model",
author = "Theodoros Kapourniotis and Elham Kashefi and Animesh Datta",
year = "2014",
month = dec,
day = "11",
doi = "10.4230/LIPIcs.TQC.2014.176",
language = "English",
isbn = "978-3-939897-73-6",
series = "Leibniz International Proceedings in Informatics (LIPIcs)",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany",
pages = "176--204",
booktitle = "9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014)",
note = "9th Conference on the Theory of Quantum Computation, Communication and Cryptography 2014, TQC 2014 ; Conference date: 21-05-2014 Through 23-05-2014",
}