Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952413488> ?p ?o ?g. }
- W2952413488 abstract "The widely held belief that BQP strictly contains BPP raises fundamental questions: if we cannot efficiently compute predictions for the behavior of quantum systems, how can we test their behavior? In other words, is quantum mechanics falsifiable? In cryptographic settings, how can a customer of a future untrusted quantum computing company be convinced of the correctness of its quantum computations? To provide answers to these questions, we define Quantum Prover Interactive Proofs (QPIP). Whereas in standard interactive proofs the prover is computationally unbounded, here our prover is in BQP, representing a quantum computer. The verifier models our current computational capabilities: it is a BPP machine, with access to only a few qubits. Our main theorem states, roughly: 'Any language in BQP has a QPIP, which also hides the computation from the prover'. We provide two proofs, one based on a quantum authentication scheme (QAS) relying on random Clifford rotations and the other based on a QAS which uses polynomial codes (BOCG+ 06), combined with secure multiparty computation methods. This is the journal version of work reported in 2008 (ABOE08) and presented in ICS 2010; here we have completed the details and made the proofs rigorous. Some of the proofs required major modifications and corrections. Notably, the claim that the polynomial QPIP is fault tolerant was removed. Similar results (with different protocols) were reported independently around the same time of the original version in BFK08. The initial independent works (ABOE08, BFK08) ignited a long line of research of blind verifiable quantum computation, which we survey here, along with connections to various cryptographic problems. Importantly, the problems of making the results fault tolerant as well as removing the need for quantum communication altogether remain open." @default.
- W2952413488 created "2019-06-27" @default.
- W2952413488 creator A5005794608 @default.
- W2952413488 creator A5007913595 @default.
- W2952413488 creator A5011207998 @default.
- W2952413488 creator A5044999818 @default.
- W2952413488 date "2017-04-14" @default.
- W2952413488 modified "2023-09-27" @default.
- W2952413488 title "Interactive Proofs For Quantum Computations" @default.
- W2952413488 cites W139186958 @default.
- W2952413488 cites W1494680701 @default.
- W2952413488 cites W1523603617 @default.
- W2952413488 cites W1527197079 @default.
- W2952413488 cites W1631356911 @default.
- W2952413488 cites W1966842050 @default.
- W2952413488 cites W2008420411 @default.
- W2952413488 cites W2052169397 @default.
- W2952413488 cites W2070767505 @default.
- W2952413488 cites W2072335624 @default.
- W2952413488 cites W2079128711 @default.
- W2952413488 cites W2093786499 @default.
- W2952413488 cites W2137147061 @default.
- W2952413488 cites W2144752539 @default.
- W2952413488 cites W2146099890 @default.
- W2952413488 cites W2160860151 @default.
- W2952413488 cites W2170620327 @default.
- W2952413488 cites W2201916012 @default.
- W2952413488 cites W2308553311 @default.
- W2952413488 cites W2462165059 @default.
- W2952413488 cites W2949385292 @default.
- W2952413488 cites W2952636811 @default.
- W2952413488 cites W3100206777 @default.
- W2952413488 cites W3100353242 @default.
- W2952413488 cites W3104283531 @default.
- W2952413488 cites W58322429 @default.
- W2952413488 cites W66892933 @default.
- W2952413488 hasPublicationYear "2017" @default.
- W2952413488 type Work @default.
- W2952413488 sameAs 2952413488 @default.
- W2952413488 citedByCount "31" @default.
- W2952413488 countsByYear W29524134882012 @default.
- W2952413488 countsByYear W29524134882013 @default.
- W2952413488 countsByYear W29524134882014 @default.
- W2952413488 countsByYear W29524134882015 @default.
- W2952413488 countsByYear W29524134882016 @default.
- W2952413488 countsByYear W29524134882017 @default.
- W2952413488 countsByYear W29524134882018 @default.
- W2952413488 countsByYear W29524134882019 @default.
- W2952413488 countsByYear W29524134882020 @default.
- W2952413488 countsByYear W29524134882021 @default.
- W2952413488 crossrefType "posted-content" @default.
- W2952413488 hasAuthorship W2952413488A5005794608 @default.
- W2952413488 hasAuthorship W2952413488A5007913595 @default.
- W2952413488 hasAuthorship W2952413488A5011207998 @default.
- W2952413488 hasAuthorship W2952413488A5044999818 @default.
- W2952413488 hasConcept C108710211 @default.
- W2952413488 hasConcept C11413529 @default.
- W2952413488 hasConcept C118615104 @default.
- W2952413488 hasConcept C121332964 @default.
- W2952413488 hasConcept C137019171 @default.
- W2952413488 hasConcept C159718280 @default.
- W2952413488 hasConcept C177264268 @default.
- W2952413488 hasConcept C178489894 @default.
- W2952413488 hasConcept C199360897 @default.
- W2952413488 hasConcept C2524010 @default.
- W2952413488 hasConcept C33923547 @default.
- W2952413488 hasConcept C41008148 @default.
- W2952413488 hasConcept C55439883 @default.
- W2952413488 hasConcept C58053490 @default.
- W2952413488 hasConcept C62520636 @default.
- W2952413488 hasConcept C80444323 @default.
- W2952413488 hasConcept C84114770 @default.
- W2952413488 hasConcept C85847156 @default.
- W2952413488 hasConceptScore W2952413488C108710211 @default.
- W2952413488 hasConceptScore W2952413488C11413529 @default.
- W2952413488 hasConceptScore W2952413488C118615104 @default.
- W2952413488 hasConceptScore W2952413488C121332964 @default.
- W2952413488 hasConceptScore W2952413488C137019171 @default.
- W2952413488 hasConceptScore W2952413488C159718280 @default.
- W2952413488 hasConceptScore W2952413488C177264268 @default.
- W2952413488 hasConceptScore W2952413488C178489894 @default.
- W2952413488 hasConceptScore W2952413488C199360897 @default.
- W2952413488 hasConceptScore W2952413488C2524010 @default.
- W2952413488 hasConceptScore W2952413488C33923547 @default.
- W2952413488 hasConceptScore W2952413488C41008148 @default.
- W2952413488 hasConceptScore W2952413488C55439883 @default.
- W2952413488 hasConceptScore W2952413488C58053490 @default.
- W2952413488 hasConceptScore W2952413488C62520636 @default.
- W2952413488 hasConceptScore W2952413488C80444323 @default.
- W2952413488 hasConceptScore W2952413488C84114770 @default.
- W2952413488 hasConceptScore W2952413488C85847156 @default.
- W2952413488 hasLocation W29524134881 @default.
- W2952413488 hasOpenAccess W2952413488 @default.
- W2952413488 hasPrimaryLocation W29524134881 @default.
- W2952413488 hasRelatedWork W1258980855 @default.
- W2952413488 hasRelatedWork W139186958 @default.
- W2952413488 hasRelatedWork W1499934958 @default.
- W2952413488 hasRelatedWork W1631356911 @default.
- W2952413488 hasRelatedWork W1641951603 @default.
- W2952413488 hasRelatedWork W1870111070 @default.