CS 601.742: Advanced Topics in Cryptography (Spring 2023)

Overview: We will cover recent advances in the theory and practice of succinct (zero-knowledge) proof systems. The focus will be on developing a modular view of the literature and understanding the core techniques that have been developed over the years.

Class Schedule (Tentative):

Date Topic Notes Reading Presenter
Jan 24 IntroductionA modular approach to (ZK)-SNARGs Papers: [Kilian92], [Micali94]
Talks: [Ishai]
Abhishek Jain
Jan 31 Sumcheck and GKRPolynomials, Schwartz-Zippel, Multivariate Sumcheck, Low-Degree Extensions, GKR Papers: [Lund-Fortnow-Karloff-Nisan92],
Guest Lecture: Arka Rai Choudhuri
Feb 7 Interactive Oracle ProofsIOPs, Univariate Sumcheck, Polynomial IOP Papers: [Ben-Sasson-Chiesa-Spooner16], [Reingold-Rothblum-Rothblum16], [Ben-Sasson-Chiesa-Riabzev-Spooner-Virza-Ward18]Guest Lecture: Aarushi Goel
Feb 14 Polynomial CommitmentsKZG, FRI Pratyush Ranjan Tiwari
Feb 21 Holographic IOPs and Pre-Processing SNARGs TBA
Feb 28 Linear PCPs and SNARGs - I TBA
March 7 Linear PCPs and SNARGs - II TBA
March 14 Folding-based Proofs TBA
March 18 - 26 Spring break
March 28 Linear-Time Provers - I TBA
April 4 Linear-Time Provers - II TBA
April 11 Time-Space TBA
April 18 Standard Assumptions - I TBA
April 28 Standard Assumptions - II TBA