Verification with Minimal Overhead, and Public Verification of Quantum Computation

QuICS Special Seminar

Dominik Leichtle (Sorbonne University)
Tuesday, November 30, 2021 - 1:00pm
ATL 3100A and Virtual Via Zoom: Meeting ID: 987 4124 0626 Passcode: 035986

With the development of delegated quantum computation, clients will want to ensure confidentiality of their data and algorithms, and the integrity of their computations. In this talk, I present recent work on two directions of research related to blind and verified quantum computing.

While protocols for blind and verifiable quantum computation exist, they suffer from high overheads and from over-sensitivity: When running on noisy devices, imperfections trigger the same detection mechanisms as malicious attacks, resulting in perpetually aborted computations. We introduce the first blind and verifiable protocol for delegating BQP computations to a powerful server with repetitions as the only overhead. It is composable and statistically secure with exponentially low bounds and can tolerate a constant amount of global noise.

Existing protocols for verified quantum computing fall short of resolving conflicts between client and server from a third party’s perspective. In case the client rejects the outcome of a delegated computation on the basis of failed verification, a third party will generally not be able to tell whether the abort of the protocol has been triggered by deviations by the client or by the server. We propose a new cryptographic protocol that provides the same security guarantees as other blind verification protocols, while additionally resolving this conflict.

Meeting ID: 987 4124 0626
Passcode: 035986
One tap mobile
+19294362866,,98741240626# US (New York)
+13017158592,,98741240626# US (Washington DC)

Dial by your location
        +1 929 436 2866 US (New York)
        +1 301 715 8592 US (Washington DC)
        +1 312 626 6799 US (Chicago)
        +1 669 900 6833 US (San Jose)
        +1 253 215 8782 US (Tacoma)
        +1 346 248 7799 US (Houston)
Meeting ID: 987 4124 0626
Find your local number:

Join by SIP

Join by H.323 (US West) (US East) (India Mumbai) (India Hyderabad) (Amsterdam Netherlands) (Germany) (Australia Sydney) (Australia Melbourne) (Singapore) (Brazil) (Mexico) (Canada Toronto) (Canada Vancouver) (Japan Tokyo) (Japan Osaka)
Meeting ID: 987 4124 0626
Passcode: 035986