hub / github.com/Poseidon-ZKP/Applied-ZKP-Workshop

github.com/Poseidon-ZKP/Applied-ZKP-Workshop @main

3 symbols 17 edges 4 files 0 documented · 0%

What it actually does AI analysis from the code graph — generated when you open this

loading…

README

Applied ZKP Workshop

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)

Prerequisites

Workshop Schedule

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

Resources

Circom 2 Tutorials

ZK Hack #2 - Introducing Circom 2.0 by Iden3

Circom Related Tools

hardhat-circom: Hardhat plugin to integrate Circom and SnarkJS into your build process.
zkrepl: an online Circom IDE.
circomsepc: A static analyzer for Circom

Documentations

Circom Documentation

Core symbols most depended-on inside this repo

main

called by 1

zkDApp/scripts/deploy.ts

main

called by 1

zkDApp/scripts/gen_input.ts

deployOneYearLockFixture

called by 0

zkDApp/test/Lock.ts

Shape

Function 3

Languages

TypeScript100%

Modules by API surface

zkDApp/test/Lock.ts1 symbols

zkDApp/scripts/gen_input.ts1 symbols

zkDApp/scripts/deploy.ts1 symbols

For agents

$ claude mcp add Applied-ZKP-Workshop \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact