Link Search Menu Expand Document

See also: zBlock2

1st ZK Auditing Fellowship    |    May 27th - July 6th 2023

        
 

ZK in Context


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