Non-Interactive Verifiable Computation via Non-signaling

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=Gc5tt7kIq5M


Duration: 45:16
1,282 views
16

Yael Kalai, Microsoft Research
https://simons.berkeley.edu/talks/yael-kalai-06-15-18
Challenges in Quantum Computation



Other Videos By Simons Institute for the Theory of Computing


2018-08-20Restriction-based Methods II
2018-08-20Restriction-based Methods I
2018-08-20Circuit Lower Bounds from Algorithm Design: An Overview II
2018-08-20Circuit Lower Bounds from Algorithm Design: An Overview I (Partial)
2018-07-25TUTORIAL: Recent Development in Selective Inference II
2018-07-25TUTORIAL: Recent Development in Selective Inference I
2018-07-24TUTORIAL: Recent Development in Differential Privacy II
2018-07-24TUTORIAL: Recent Development in Differential Privacy I
2018-07-18Mind Over Data: The One Thing You Know and Machines Don't
2018-06-15Spatial Isolation Implies Zero Knowledge Even in a Quantum World
2018-06-15Non-Interactive Verifiable Computation via Non-signaling
2018-06-15Verifying Quantum Proofs with Entangled Games
2018-06-15Classical Verification of Quantum Computations
2018-06-15Cryptography for Quantum Computers
2018-06-14Lightning Talks II
2018-06-14Lightning Talks I
2018-06-14Quantum Algorithms for Classification
2018-06-14The Short-path Algorithm for Combinatorial Optimization
2018-06-14Challenges in Adiabatic Optimization
2018-06-13Improvements in Quantum SDP Solving
2018-06-13Quantum Algorithm for Simulating Real Time Evolution of Lattice Hamiltonians


Tags:
Yael Kalai
Simons Institute
Theory of Computing
Theory of Computation
Theoretical Computer Science
Computer Science
UC Berkeley
Challenges in Quantum Computation