EulerFold
Cryptography & Web3

Zero-Knowledge Proofs: From Theory to Circom

6 weeks
0 Learners
Jul 23

Master zero-knowledge proof concepts, R1CS constraint systems, and write production ZK circuits using Circom and SnarkJS.

Share:

About this Course

Master zero-knowledge proof concepts, R1CS constraint systems, and write production ZK circuits using Circom and SnarkJS. This Cryptography & Web3 curriculum is designed to give you hands-on experience and deep conceptual understanding. Across 6 intensive modules, you'll tackle real-world challenges and build practical projects that reinforce your learning. By the end of this journey, you'll have the skills and proof of work to demonstrate your expertise.

What you'll learn

Master the core concepts of foundations of zero-knowledge proofs.
Gain hands-on experience with introduction to circom circuit programming.
Understand the architecture behind building complex circuits & hash functions.
Implement production-grade proof generation, verification & smart contract integration.

Prerequisites

intermediate Level

Requires basic familiarity with the tech stack.

  • Familiarity with core concepts

Ideal for

Cryptography & Web3 Developers

Cryptography & Web3 Professionals
Tech Enthusiasts
W1

Foundations of Zero-Knowledge Proofs

Master the core concepts of foundations of zero-knowledge proofs.

4 videos89m
3 readings
4 topics
1 homework
Learn

Topics

1.1
Interactive vs Non-Interactive Proofs
19 minutes
1.2
Homomorphic Encryption & Commitment Schemes
12 minutes
1.3
Quadratic Arithmetic Programs (QAP)
47 minutes
1.4
Groth16 vs PLONK Proving Systems
11 minutes
W2

Introduction to Circom Circuit Programming

Gain hands-on experience with introduction to circom circuit programming.

4 videos105m
3 readings
4 topics
1 homework
Learn
W3

Building Complex Circuits & Hash Functions

Understand the architecture behind building complex circuits & hash functions.

4 videos106m
2 readings
4 topics
1 homework
Learn
W4

Proof Generation, Verification & Smart Contract Integration

Implement production-grade proof generation, verification & smart contract integration.

4 videos86m
3 readings
4 topics
1 homework
Learn
W5

Polynomial Commitments (KZG)

Understand KZG commitments and how they enable succinct verification of polynomial equations.

3 videos68m
3 readings
3 topics
1 homework
Learn
W6

Writing Circuits in Circom

Write, compile, and generate zero-knowledge proofs using the Circom language and snarkjs.

3 videos72m
3 readings
3 topics
1 homework
Learn
01

Learn

Watch curated videos and read study resources

02

Practice

Practice what you learned

03

Build Projects

Build projects using your new gained knowledge

04

Submit & Verify

Submit your project and get verified by our system

Rate this course

0.0
0 reviews

Help the community find verified technical paths.

Community Insights

0

Join the discussion

Sign in to share your thoughts and technical insights.

Loading insights...