ATATTVA JNANA
ZK Workshop IIT Delhi
A 2 day workshop on introductory zero knowledge.
SCHEDULE
6 hrs per day
on
Aug 30th & Aug 31st, 2025
VENUE
Indian Institute Of Technology Delhi (IIT Delhi)
IIT Campus, Hauz Khas, New Delhi, Delhi 110016, India
Day 1: Mathematical Foundations of Zero Knowledge
| Time | Topic | Speaker | Contents |
|---|
3:00 PM
-
5:00 PM | I Have Zero Knowledge About Zero Knowledge? What Does It Mean to Me? | Soumya | - General introduction to Zero Knowledge (ZK)
- Mathematical introduction to ZK
- P and NP
- Recap of Linear Algebra
- Set and Group Theory, Abstract Algebra, Homomorphism, ECC (addition, scalar multiplication, bilinear pairings, Field Extensions)
- Commitment Schemes
|
5:30 PM
-
7:00 PM | Introduction to SNARKs and STARKs | Muskan | - What is a SNARK?
- SNARK systems(Groth16, Plonk)
- What is a STARK?
- STARK systems
- Circuits in Circom
|
7:30 PM
-
9:30 PM | SNARKs & Groth16 | Nikhilesh | - Groth16 and its build up
- Quadratic Arithmetic Programs (QAP) and Rank-1 Constraint Systems (R1CS)
- Groth16 theory (full rundown of involved steps)
|
Day 2: Let's Go Further!
| Time | Topic | Speaker | Contents |
|---|
10:00 AM
-
12:30 PM | Building a Stark System: Part 1 | Reeshabh & Arnav | - Hands On
- Statements, Low Degree Extensions
- Commitments
- Lagrange Interpolation, Polynomial Commitments, Schwartz Zippel Lemma, Merkle Trees
- FFT
|
1:15 PM
-
3:45 PM | Building a Stark System: Part 2 | Reeshabh & Arnav | - F.R.I
- Fiat Shamir Heuristic
- F.R.I queries
- STARK proof in action
|
4:15 PM
-
7:00 PM | Boom 💥 Zero Knowlege Virtual Machines | Aayush | - What is a zkVM?
- How is using a zkVM different from writing circuits in circom?
- zkVM components
- Theorizing a simple zkVM
|
REGISTER ON LUMA