Optimised resource construction for verifiable quantum computation

Understand

Recent developments make 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 computing initiated by Fitzsimons and Kashefi.