Zero Knowledge Proofs
Course Index
29 Lessons · 3 Sections
Master Zero Knowledge Proofs — ZK-SNARKs, ZK-STARKs, Circom circuits, SnarkJS, and on-chain Solidity verifiers. Covers zkEVM architecture, zkVM frameworks, private transactions & 3 production ZK builds.
29Lessons
3Sections
3Projects
FreeAccess
Section 1ZK Fundamentals & Proof SystemsLessons 1–10
Lesson 1
What are Zero Knowledge Proofs?
Lesson 2
Complete, Sound & ZK Properties
Lesson 3
Interactive vs Non-Interactive
Lesson 4
ZK-SNARKs Explained
Lesson 5
ZK-STARKs Explained
Lesson 6
SNARKs vs STARKs: Key Differences
Lesson 7
Groth16 Protocol
Lesson 8
PLONK Protocol
Lesson 9
Arithmetic Circuits
Lesson 10
R1CS: Rank-1 Constraint Systems
Section 2Circom, SnarkJS & ZK ApplicationsLessons 11–22
Lesson 11
Circom: ZK Circuit Language
Lesson 12
Writing Your First Circom Circuit
Lesson 13
SnarkJS: Generating Proofs
Lesson 14
Trusted Setup & Powers of Tau
Lesson 15
Verify Proofs On-Chain in Solidity
Lesson 16
ZK for Private Transactions
Lesson 17
ZK for Anonymous Voting
Lesson 18
ZK for Identity & KYC
Lesson 19
ZK Rollups: Architecture
Lesson 20
zkEVM: EVM in Zero Knowledge
Lesson 21
StarkNet & Cairo Language
Lesson 22
SP1 & Risc Zero: zkVM
Section 3Advanced Topics & ProjectsLessons 23–29