Perfect zero knowledge for quantum multiprover interactive proofs Published 2019-12-10 Download video MP4 360p Recommendations 20:58 Fast generalized DFTs for all finite groups 1:30:53 Session 5A - Quantum, Part 2 59:15 Knuth Prize Lecture - Cynthia Dwork 41:08 Workshop CUCO: On fundamental aspects of quantum machine learning (UPV/EHU & Tecnalia) 1:34:10 Session 4A - Coding Theory 1:30:21 Session 2B - Algorithmic Game Theory (AGT) 1:31:56 Session 5C - Graph Algorithms and Coding 1:26:37 Session 2C - Streaming and Distributed Algorithms 1:32:35 Session 8B - Dynamic Graphs 1:31:08 Session 4B - Matrix Methods 1:15:22 Session 7C - Streaming and Learning Algorithms 30:26 Enabling AMD SEV in Xen - Vaishali Thakkar, Vates 1:31:34 Session 6A - Complexity and Coding Theory 1:29:01 Session 8C Algorithmic Game Theory 1:41:29 DeSciNYC - Bioelectricity with Professor Michael Levin 1:28:58 Session 1B - Graph Algorithms and Graph Theory 1:31:56 Session 6B - Matrix Methods 1:18:51 Session 7B - Dynamic Graphs 1:29:47 Session 1C - Learning 1:29:08 CCC TAC Meeting 2024-06-13 Similar videos 23:19 Perfect Zero Knowledge: New Upperbounds and Relativized Separations 1:10:06 Recent Advances in Zero-Knowledge Proofs in the Quantum Setting 47:52 Tina Zhang: Classical zero-knowledge arguments for quantum computations 46:54 Spatial Isolation Implies Zero Knowledge Even in a Quantum World 31:38 Fang Song: Zero-knowledge proof systems for QMA 41:02 Interactive proofs for synthesizing quantum states and unitaries - Gregory Rosenthal 1:01:51 Alex B. Grilo: Recent advances in Zero-knowledge proofs in the quantum setting 1:02:30 The Role of Proofs in MIP* = RE | Quantum Colloquium 45:16 Interactive Proofs for Synthesizing Quantum States and Unitaries 2:07:28 #24 Relativistic Zero-Knowledge Proofs | Prof. Claude Crepeau 20:40 On the Existence of Three Round Zero-Knowledge Proofs 55:19 A Tale of Turing Machines, Quantum-Entangled Particles, and Operator Algebras 35:36 From Photonic Quantum Cloud Computing to Interactive Proofs 32:15 Streaming Interactive Proofs and Arthur-Merlin Communication 20:52 Zero-Knowledge Proofs on Secret-Shared Data via Fully Linear PCPs 48:35 A multiprover interactive proof system for the local Hamiltonian problem 2:24:24 Quantum Complexity Theory: Lecture 8 (part 1) - Quantum interactive proofs, semidefinite programs 41:58 ITC2020 Pre-Recording: Practical Relativistic Zero-Knowledge for NP 55:57 Self-Testing as an Approach to Certifying Quantum Systems More results