Applied ZKP Workshop is a 3-week online workshop focus on ZK Applications (a.k.a. Applied ZKP). Upon finishing this workshop, you should:
- understand the basic concepts of ZKP
- know how to write a (maybe simple-ish) circuit in Circom
- know about basic security principles of writing circuits
- understand how to architect and deploy a zkDApp (on Ethereum or Ethereum L2)
- Install Circom 2.0
- Install SnarkJS
- things to know before start
| Topic | Speaker | Time | Video | Slides | code |
|---|---|---|---|---|---|
| 1. Intro to ZKP and Circom | Shumo Chu | 9:00 PM, Nov. 14 (New York Time) | video | slides | hello_zkp |
| 2. Deep Dive into Circom Lang | Shumo Chu | 9:00 PM, Nov. 19 (New York Time) | video | slides | simple_mul |
| 3. Building zkDApp using Circom and Hardhat | Shumo Chu | 9:00 PM, Nov. 21 (New York Time) | video | slides | zkDApp |
| 4. Applied ZKP Usecase: Semaphore | Andy Guzman (Ethereum Foundation) | 9:00 PM, Nov. 23 (New York Time) | video | slides | repo |
| 5. ZKP Security | Jon Stephens (CTO, Veridise) | 9:00 PM, Nov. 28 (New York Time) | video | slides | repo |
- hardhat-circom: Hardhat plugin to integrate Circom and SnarkJS into your build process.
- zkrepl: an online Circom IDE.
- circomsepc: A static analyzer for Circom