Talks
Fall 2019

Interactive Proofs (Part II)
Monday, August 26th, 2019 11:00 am – 12:00 pm
Speaker:
Justin Thaler (Georgetown University)
This tutorial will introduce the notion of interactive proofs, which are protocols that enable a computationally weak verifier to offload computations to a powerful but untrusted prover. The tutorial will survey the main techniques underlying the design of efficient interactive proofs, including arithmetization and low-degree extensions, the sum-check protocol, and the notion of doubly-efficient interactive proofs. No prior knowledge will be assumed.