Skip to Main content Skip to Navigation
Journal articles

Optimised resource construction for verifiable quantum computation

Abstract : Recent developments have brought the possibility of achieving scalable quantum networks and quantum devices closer. From the computational point of view these emerging technologies become relevant when they are no longer classically simulatable. Hence a pressing challenge is the construction of practical methods to verify the correctness of the outcome produced by universal or non-universal quantum devices. A promising approach that has been extensively explored is the scheme of verification via encryption through blind quantum computation. We present here a new construction that simplifies the required resources for any such verifiable protocol. We obtain an overhead that is linear in the size of the input (computation), while the security parameter remains independent of the size of the computation and can be made exponentially small (with a small extra cost). Furthermore our construction is generic and could be applied to any universal or non-universal scheme with a given underlying graph.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02164566
Contributor : Elham Kashefi <>
Submitted on : Tuesday, June 25, 2019 - 11:00:19 AM
Last modification on : Friday, July 5, 2019 - 3:26:03 PM

Links full text

Identifiers

Citation

Elham Kashefi, Petros Wallden. Optimised resource construction for verifiable quantum computation. Journal of Physics A: Mathematical and Theoretical, IOP Publishing, 2017, 50 (14), pp.145306. ⟨10.1088/1751-8121/aa5dac⟩. ⟨hal-02164566⟩

Share

Metrics

Record views

36