1. Karp reduction I: Exact Cover, Knapsack       Recording Slides

2. Karp reduction II: SAT, 3COL, Witnesses      Recording Slides Chat

3. Gödel reduction: provability                             Recording Slides

4. Turing reduction: universality, decidability  Recording Slides

5. Cook reduction: NP in ZK                                  Recording Slides

- Discussion channel: module-1-zk-context

- Karp reduction exercise Solution

- Circom quiz and puzzle

- Circom startup kit

1. Codebase overview      Recording Slides Chat

2. Office hour                     Recording Chat

3. Audit report & review   Recording  Audit reports Chat

- Discussion channel: module-2-rln-audit

1. Pairing with Lev Soukhanov (Ethereum Foundation)   Recording Slides Chat

2. Groth16 with Yin Tong (Geometry)   Recording Slides Chat Discussion channel

- RLN Audit Reports

1. Codebase overview: Part I     Recording Slides Chat

2. Codebase overview: Part II   Recording Chat

3. Office hour 1                             Recording Quizzes Chat

4. Office hour 2                             Recording Chat

5. Audit reports & review            Recording Audit reports Chat

- Discussion channel: module-3-spartan-audit

- Quiz 1

- Quiz 2

- Solutions

- PLONKish Arithmetization with Pratyush R Tiwari Slides Chat

- Spartan-ECDSA Audit Reports