![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Quantum Computing Seminar > Classical Commitments to Quantum States
Classical Commitments to Quantum StatesAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Tom Gur. We define the notion of a classical commitment scheme to quantum states, which allows a quantum prover to compute a classical commitment to a quantum state, and later open each qubit of the state in either the standard or the Hadamard basis. Our notion is a strengthening of the measurement protocol from Mahadev (STOC 2018). We construct such a commitment scheme from the post-quantum Learning With Errors (LWE) assumption, and more generally from any noisy trapdoor claw-free function family that has the distributional strong adaptive hardcore bit property (a property that we define in this work). Our scheme is succinct in the sense that the running time of the verifier in the commitment phase depends only on the security parameter (independent of the size of the committed state), and its running time in the opening phase grows only with the number of qubits that are being opened (and the security parameter). As a corollary we obtain a classical succinct argument system for QMA under the post-quantum LWE assumption. Previously, this was only known assuming post-quantum secure indistinguishability obfuscation. As an additional corollary we obtain a generic way of converting any X/Z quantum PCP into a succinct argument system under the quantum hardness of LWE . This talk is part of the Quantum Computing Seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsSCAMPS 09 - One day Symposium cu palestine society Dio-Gandhi equationsOther talksHyperbolic and relatively hyperbolic groups with 2-sphere boundary How good are quantum knot invariants? KMS-bundles with multiple parameters on Z-absorbing C*-algebras Pitch Development - facilitated groups Lunch Title TBC |