ADVANCED
Build real ZK applications — from constraint systems and arithmetic circuits through Circom, PLONK, Halo2, Noir, and RISC Zero. Learn to write ZK circuits, generate proofs, and verify them on-chain.
The mathematical primitives that underpin every ZK proof system.
Build, compile, and prove ZK circuits using the Circom DSL and the SnarkJS toolchain.
Modern universal SNARK systems — PLONK's permutation argument, KZG commitments, and Halo2's trustless IPA backend.
Write ZK circuits in Noir — Aztec's Rust-like language with a clean abstraction over constraint systems.
Prove arbitrary Rust programs with RISC Zero — the zkVM model, guest programs, receipts, and on-chain verification.
Design a complete zero-knowledge proof system for a real-world privacy application.
