Edinburgh Research Explorer

Blindness and Verification of Quantum Computation with One Pure Qubit

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

  • Download as Adobe PDF

    Final published version, 624 KB, PDF document

    Licence: Creative Commons: Attribution (CC-BY)

http://drops.dagstuhl.de/opus/volltexte/2014/4815
Original languageEnglish
Title of host publication9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014)
PublisherSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
Pages176-204
Number of pages29
ISBN (Print)978-3-939897-73-6
DOIs
Publication statusPublished - 11 Dec 2014
Event9th Conference on the Theory of Quantum Computation, Communication and Cryptography 2014 - , Singapore
Duration: 21 May 201423 May 2014

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
PublisherSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Volume27
ISSN (Electronic)1868-8969

Conference

Conference9th Conference on the Theory of Quantum Computation, Communication and Cryptography 2014
Abbreviated titleTQC 2014
CountrySingapore
Period21/05/1423/05/14

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.

    Research areas

  • Delegated Computing, Verification, Measurement-based Model

Download statistics

No data available

ID: 20127491