log in  |  register  |  feedback?  |  help  |  web accessibility
Recent advances in Zero-knowledge proofs in the quantum setting
Alex Bredariol Grilo - CWI and QuSoft
Wednesday, November 13, 2019, 11:00 am-12:15 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)

Zero-knowledge proofs are a fundamental building block in classical Cryptography, having far-reaching applications. Recently, there has been some effort in improving our understanding of Zero-knowledge for quantum complexity classes, that will hopefully lead us to striking objects as in the classical case. The goal of this talk is to give an overview of some of such results, in particular: All multi-prover system with entangled provers protocols can be made ZK; Simpler ZK protocols for QMA (which includes the first Proof of Knowledge ZK protocol and the first Non-interactive ZK protocol in the secret parameters model).  Such results are achieved through new tools, namely Simulatable codes, QMA-completeness (under standard Karp reductions) of Consistency of Local Density Matrices and Simulatable proofs, that could be useful in different contexts.  This talk is based on a joint work with William Slofstra and Henry Yuen, and on a joint work with Anne Broadbent.

This talk is organized by Andrea F. Svejda