![Proofs, Consensus, and Decentralizing Society_hi-res logo](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-01/Proofs%2C%20Consensus%2C%20and%20Decentralizing%20Society_hi-res.png.jpg?itok=gluZ2qCs)
Abstract
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.