Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Computationally-Secure and Composable Remote State Preparation
 
conference paper

Computationally-Secure and Composable Remote State Preparation

Gheorghiu, Alexandru
•
Vidick, Thomas  orcid-logo
November 1, 2019
2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS)
60th IEEE Annual Symposium on Foundations of Computer Science (FOCS)

We introduce a protocol between a classical polynomial-Time verifier and a quantum polynomial-Time prover that allows the verifier to securely delegate to the prover the preparation of certain single-qubit quantum states The prover is unaware of which state he received and moreover, the verifier can check with high confidence whether the preparation was successful. The delegated preparation of single-qubit states is an elementary building block in many quantum cryptographic protocols. We expect our implementation of 'random remote state preparation with verification', a functionality first defined in (Dunjko and Kashefi 2014), to be useful for removing the need for quantum communication in such protocols while keeping functionality. The main application that we detail is to a protocol for blind and verifiable delegated quantum computation (DQC) that builds on the work of (Fitzsimons and Kashefi 2018), who provided such a protocol with quantum communication. Recently, both blind an verifiable DQC were shown to be possible, under computational assumptions, with a classical polynomial-Time client (Mahadev 2017, Mahadev 2018). Compared to the work of Mahadev, our protocol is more modular, applies to the measurement-based model of computation (instead of the Hamiltonian model) and is composable. Our proof of security builds on ideas introduced in (Brakerski et al. 2018).

  • Details
  • Metrics
Type
conference paper
DOI
10.1109/FOCS.2019.00066
Scopus ID

2-s2.0-85078422406

Author(s)
Gheorghiu, Alexandru

California Institute of Technology Division of Engineering and Applied Science

Vidick, Thomas  orcid-logo

California Institute of Technology

Date Issued

2019-11-01

Publisher

IEEE Computer Society

Published in
2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS)
DOI of the book
https://doi.org/10.1109/FOCS44581.2019
ISBN of the book

9781728149523

Book part number

2019-November

Article Number

8948627

Start page

1024

End page

1033

Subjects

composable security

•

learning with errors

•

quantum random access code

•

verifiable quantum computation

Editorial or Peer reviewed

REVIEWED

Written at

OTHER

EPFL units
Non-EPFL  
Event nameEvent acronymEvent placeEvent date
60th IEEE Annual Symposium on Foundations of Computer Science (FOCS)

FOCS 2019

Baltimore, MD

2019-11-09 - 2019-11-12

Available on Infoscience
November 21, 2025
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/256179
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés