Description
Zero-knowledge proofs are reshaping blockchain. They power Ethereum’s rollups, enable privacy-preserving identity, and unlock scalability. But they’re hard to learn—most resources are academic or scattered.
This course teaches ZK from first principles to production code. You will understand what a proof actually attests, why the witness stays hidden, and how a verifier can be a contract on a public chain. You will compare SNARKs and STARKs on proof size, setup, assumptions, and verifier cost, then choose a stack with a table instead of a slogan.
You will write circuits in Circom and Noir. The labs take you through a Merkle membership proof, a range proof, and a thin integration of a Circom proof into a Solidity wrapper, with tests for a valid proof and a rejected one. You will learn how proofs are generated from a witness and a proving key, what a trusted setup and a ceremony actually risk, and how to pin verifying keys honestly, including when parameters are only for development.
The rollup modules explain the difference between optimistic and validity designs, the roles of sequencer, prover, and settlement contract, and the data-availability choice that a proof does not automatically solve. You will read official case studies of Starknet, Polygon zkEVM, and Scroll as dated documentation, then design a small transfer-only validity rollup on paper with a public-input table and a liveness story.
The privacy and identity modules name anonymity, unlinkability, and a careful disclosure story. You will study shielded-transfer and membership-vote mechanisms as teaching tools, with play funds and lawful use only, and you will prove attributes without revealing a whole credential. The final module covers proving time, verification gas, common circuit bugs such as unconstrained values, and a checklist you will apply to your own capstone.
Every lesson includes a worked example and an exercise. The capstone is to design, build, and audit one narrow ZK application—such as an anonymous vote, a toy shielded transfer, or an attribute proof—with circuit code, a verifier or test harness, measurements, and a short audit. Pass the module quizzes and meet the capstone rubric on correctness, security, and clarity to earn the certificate.
Who this is for: blockchain engineers and protocol developers with 1–2 years of Solidity or Rust experience who know hashing and signatures and want to build and review ZK systems.
What you will leave with: 7 modules, 33 lessons, labs in Circom and Noir, quizzes, and a portfolio capstone. Questions? Contact us at https://blockrelations.com/contact/
Reviews
There are no reviews yet.