Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313227600> ?p ?o ?g. }
- W4313227600 abstract "In the quantum computation verification problem, a quantum server wants to convince a client that the output of evaluating a quantum circuit C is some result that it claims. This problem is considered very important both theoretically and practically in quantum computation [1], [2], [3]. The client is considered to be limited in computational power, and one desirable property is that the client can be completely classical, which leads to the classical verification of quantum computation (CVQC) problem. In terms of the time complexity of server-side quantum computations (which typically dominate the total time complexity of both the client and the server), the fastest single-server CVQC protocol so far has complexity $O(mathrm{p}mathrm{o}mathrm{l}mathrm{y}(kappa)|C|^{3})$ where $|C|$ is the size of the circuit to be verified and $kappa$ is the security parameter, given by Mahadev [4]. This leads to a similar cubic time blowup in many existing protocols including multiparty quantum computation, zero knowledge and obfuscation [5], [6], [7], [8], [9], [10]. Considering the preciousness of quantum computation resources, this cubic complexity barrier could be a big obstacle for theoretical and practical development of protocols for these problems.In this work, by developing new techniques, we give a new CVQC protocol with complexity $O(mathrm{p}mathrm{o}mathrm{l}mathrm{y}(kappa)|C|)$ (in terms of the total time complexity of both the client and the server), which is significantly faster than existing protocols. Our protocol is secure in the quantum random oracle model [11] assuming the existence of noisy trapdoor claw-free functions [12], which are both extensively used assumptions in quantum cryptography. Along the way, we also give a new classical channel remote state preparation protocol for states in $displaystyle left{|+thetarangle=frac{1}{sqrt{2}}(|0rangle+e^{mathrm{i}thetapi/4}|1rangle) : thetainleft{0,1cdots 7right}right}$, another basic primitive in quantum cryptography. Our protocol allows for parallel verifiable preparation of L independently random states in this form (up to a constant overall error and a possibly unbounded server-side simulator), and runs in only O(poly($kappa$)L) time and constant rounds; for comparison, existing works (even for possibly simpler state families) all require very large or unestimated time and round complexities [13], [14], [15], [16]." @default.
- W4313227600 created "2023-01-06" @default.
- W4313227600 creator A5003934555 @default.
- W4313227600 date "2022-10-01" @default.
- W4313227600 modified "2023-09-27" @default.
- W4313227600 title "Classical Verification of Quantum Computations in Linear Time" @default.
- W4313227600 cites W1480477462 @default.
- W4313227600 cites W1557386445 @default.
- W4313227600 cites W2044859269 @default.
- W4313227600 cites W2048118641 @default.
- W4313227600 cites W2088492763 @default.
- W4313227600 cites W2252150191 @default.
- W4313227600 cites W2293988196 @default.
- W4313227600 cites W2308553311 @default.
- W4313227600 cites W2758002822 @default.
- W4313227600 cites W2888277504 @default.
- W4313227600 cites W2888580382 @default.
- W4313227600 cites W2962977579 @default.
- W4313227600 cites W2962985995 @default.
- W4313227600 cites W2963124215 @default.
- W4313227600 cites W2963589292 @default.
- W4313227600 cites W2972301927 @default.
- W4313227600 cites W2990616282 @default.
- W4313227600 cites W3097889110 @default.
- W4313227600 cites W3100206777 @default.
- W4313227600 cites W3101479050 @default.
- W4313227600 cites W3103105946 @default.
- W4313227600 cites W3106150938 @default.
- W4313227600 cites W3117113271 @default.
- W4313227600 cites W3196791644 @default.
- W4313227600 cites W3200981451 @default.
- W4313227600 cites W3209192400 @default.
- W4313227600 cites W4298227433 @default.
- W4313227600 cites W58322429 @default.
- W4313227600 cites W813596860 @default.
- W4313227600 doi "https://doi.org/10.1109/focs54457.2022.00012" @default.
- W4313227600 hasPublicationYear "2022" @default.
- W4313227600 type Work @default.
- W4313227600 citedByCount "1" @default.
- W4313227600 countsByYear W43132276002023 @default.
- W4313227600 crossrefType "proceedings-article" @default.
- W4313227600 hasAuthorship W4313227600A5003934555 @default.
- W4313227600 hasBestOaLocation W43132276002 @default.
- W4313227600 hasConcept C11413529 @default.
- W4313227600 hasConcept C118615104 @default.
- W4313227600 hasConcept C121332964 @default.
- W4313227600 hasConcept C137019171 @default.
- W4313227600 hasConcept C148730421 @default.
- W4313227600 hasConcept C178489894 @default.
- W4313227600 hasConcept C179799912 @default.
- W4313227600 hasConcept C203062551 @default.
- W4313227600 hasConcept C311688 @default.
- W4313227600 hasConcept C31258907 @default.
- W4313227600 hasConcept C33923547 @default.
- W4313227600 hasConcept C41008148 @default.
- W4313227600 hasConcept C45374587 @default.
- W4313227600 hasConcept C58053490 @default.
- W4313227600 hasConcept C62520636 @default.
- W4313227600 hasConcept C80444323 @default.
- W4313227600 hasConcept C84114770 @default.
- W4313227600 hasConcept C91399829 @default.
- W4313227600 hasConcept C92043244 @default.
- W4313227600 hasConcept C94284585 @default.
- W4313227600 hasConceptScore W4313227600C11413529 @default.
- W4313227600 hasConceptScore W4313227600C118615104 @default.
- W4313227600 hasConceptScore W4313227600C121332964 @default.
- W4313227600 hasConceptScore W4313227600C137019171 @default.
- W4313227600 hasConceptScore W4313227600C148730421 @default.
- W4313227600 hasConceptScore W4313227600C178489894 @default.
- W4313227600 hasConceptScore W4313227600C179799912 @default.
- W4313227600 hasConceptScore W4313227600C203062551 @default.
- W4313227600 hasConceptScore W4313227600C311688 @default.
- W4313227600 hasConceptScore W4313227600C31258907 @default.
- W4313227600 hasConceptScore W4313227600C33923547 @default.
- W4313227600 hasConceptScore W4313227600C41008148 @default.
- W4313227600 hasConceptScore W4313227600C45374587 @default.
- W4313227600 hasConceptScore W4313227600C58053490 @default.
- W4313227600 hasConceptScore W4313227600C62520636 @default.
- W4313227600 hasConceptScore W4313227600C80444323 @default.
- W4313227600 hasConceptScore W4313227600C84114770 @default.
- W4313227600 hasConceptScore W4313227600C91399829 @default.
- W4313227600 hasConceptScore W4313227600C92043244 @default.
- W4313227600 hasConceptScore W4313227600C94284585 @default.
- W4313227600 hasFunder F4320306202 @default.
- W4313227600 hasLocation W43132276001 @default.
- W4313227600 hasLocation W43132276002 @default.
- W4313227600 hasOpenAccess W4313227600 @default.
- W4313227600 hasPrimaryLocation W43132276001 @default.
- W4313227600 hasRelatedWork W1500320021 @default.
- W4313227600 hasRelatedWork W1796488250 @default.
- W4313227600 hasRelatedWork W2058497916 @default.
- W4313227600 hasRelatedWork W2951692133 @default.
- W4313227600 hasRelatedWork W3018866991 @default.
- W4313227600 hasRelatedWork W3093863919 @default.
- W4313227600 hasRelatedWork W3097788379 @default.
- W4313227600 hasRelatedWork W3179272256 @default.
- W4313227600 hasRelatedWork W4313227600 @default.
- W4313227600 hasRelatedWork W4287811342 @default.
- W4313227600 isParatext "false" @default.
- W4313227600 isRetracted "false" @default.