| 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 | Introduction | A modular approach to (ZK)-SNARGs | Papers: [Kilian92], [Micali94] Talks: [Ishai] | Abhishek Jain |
| Jan 31 | Sumcheck and GKR | Polynomials, Schwartz-Zippel, Multivariate Sumcheck, Low-Degree Extensions, GKR | Papers: [Lund-Fortnow-Karloff-Nisan92], [Goldwasser-Kalai-Rothblum08] | Guest Lecture: Arka Rai Choudhuri |
| Feb 7 | Interactive Oracle Proofs | IOPs, 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 Commitments | KZG, 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 |