MilestoneTheory & algorithmsConfirmed

Mahadev shows how a classical computer can check a quantum computation

Apr 3, 2018

Urmila Mahadev proposes an interactive protocol for a classical computer to check a quantum computation. Its guarantee relies on a particular cryptographic problem remaining hard even for quantum computers.

Why it matters

The protocol offers a way to check delegated quantum work without requiring the verifier to own a quantum computer.

Urmila Mahadev · UC Berkeley

See it on the timeline