Efficient Verification of Computation on Untrusted Platforms

Speaker: Yael Kalai , MIT and Microsoft

Date: Tuesday, March 08, 2022

Time: 4:00 PM to 5:15 PM Note: all times are in the Eastern Time Zone

Public: Yes

Location: 32-G449 (Kiva)

Event Type: Seminar

Room Description: 32-G449 (Kiva)

Host: Sam Hopkins & Dor Minzer, CSAIL MIT

Contact: Nathan Higgins, nhiggins@csail.mit.edu

Relevant URL:

Speaker URL: None

Speaker Photo:

Reminders to: seminars@csail.mit.edu

Reminder Subject: TALK: Efficient Verification of Computation on Untrusted Platforms

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 both their practical aspects, and their impact on quantum complexity, hardness of approximation, and the complexity of Nash equilibrium.

Milk & Cookies 4-4:15pm

Research Areas:
Algorithms & Theory

Impact Areas:

See other events that are part of the Theory of Computation (ToC) Seminar 2022.

Created by Nathan Higgins Email at Thursday, March 03, 2022 at 11:08 AM.