qis.mit.edu homepeopleseminarscoursesvisitorslinks

Seminar Listing

(single keywords like: Ambainis, adiabatic...)

[photo of a speaker] (c) D.Nagaj

Typical Weekly Calendar

other seminars:


Current Month (Apr '18)


:: Fri 4/20, 1:30pm in 6C-442

Urmila Mahadev (Berkeley)
Classical Verification of Quantum Computations

We present the first protocol allowing a classical computer to interactively verify the result of an efficient quantum computation. We achieve this by constructing a measurement protocol, which enables a classical verifier to ensure that the quantum prover holds an n qubit quantum state, and correctly reports the results of measuring it in a basis of the verifier's choice. This is enforced based on the assumption that the learning with errors problem is computationally intractable for efficient quantum machines.


home :: people :: seminars :: courses :: visitors :: links

qis@mit MIT