TCS+ Talk: Yael Tauman Kalai (MSR New England)

Title: Efficient Verification of Computation on Untrusted Platforms
Abstract: Efficient verification of computation is fundamental to computer science and is at the heart of the P vs. NP question. Recently it has had growing practical significance, especially with the increasing popularity of blockchain technologies and cloud computing. In this talk, I will present schemes for verifying the correctness of a computation. I will discuss their impact on quantum complexity, hardness of approximation, and the complexity of Nash equilibrium.