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. Simpler proofs of quantumness
 
conference paper

Simpler proofs of quantumness

Brakerski, Zvika
•
Koppula, Venkata
•
Vazirani, Umesh
Show more
Flammia, Steven T.
June 8, 2020
15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2020)
15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2020)

A proof of quantumness is a method for provably demonstrating (to a classical verifier) that a quantum device can perform computational tasks that a classical device with comparable resources cannot. Providing a proof of quantumness is the first step towards constructing a useful quantum computer. There are currently three approaches for exhibiting proofs of quantumness: (i) Inverting a classically-hard one-way function (e.g. using Shor’s algorithm). This seems technologically out of reach. (ii) Sampling from a classically-hard-to-sample distribution (e.g. BosonSampling). This may be within reach of near-term experiments, but for all such tasks known verification requires exponential time. (iii) Interactive protocols based on cryptographic assumptions. The use of a trapdoor scheme allows for efficient verification, and implementation seems to require much less resources than (i), yet still more than (ii). In this work we propose a significant simplification to approach (iii) by employing the random oracle heuristic. (We note that we do not apply the Fiat-Shamir paradigm.) We give a two-message (challenge-response) proof of quantumness based on any trapdoor claw-free function. In contrast to earlier proposals we do not need an adaptive hard-core bit property. This allows the use of smaller security parameters and more diverse computational assumptions (such as Ring Learning with Errors), significantly reducing the quantum computational effort required for a successful demonstration.

  • Details
  • Metrics
Type
conference paper
DOI
10.4230/LIPIcs.TQC.2020.8
Scopus ID

2-s2.0-85092664609

Author(s)
Brakerski, Zvika

Weizmann Institute of Science Israel

Koppula, Venkata

Weizmann Institute of Science Israel

Vazirani, Umesh

University of California, Berkeley

Vidick, Thomas  orcid-logo

California Institute of Technology

Editors
Flammia, Steven T.
Date Issued

2020-06-08

Publisher

Schloss Dagstuhl – Leibniz Center for Informatics

Published in
15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2020)
ISBN of the book

9783959771467

Book part number

158

Series title/Series vol.

Leibniz International Proceedings in Informatics, LIPIcs

Article Number

8

Subjects

Learning with errors

•

Proof of quantumness

•

Random Oracle

Editorial or Peer reviewed

REVIEWED

Written at

OTHER

EPFL units
Non-EPFL  
Event nameEvent acronymEvent placeEvent date
15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2020)

TQC 2020

Riga, Latvia

2020-06-09 - 2020-06-12

FunderFunding(s)Grant NumberGrant URL

ERC

European Union Horizon 2020 Research and Innovation Program

MURI

FA9550-18-1-0161

Show more
Available on Infoscience
November 21, 2025
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/256181
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