Module 1: Writing Circom circuits

A zero-knowledge proof system rests on Circom circuits. With them, you express mathematical constraints that show you know some private information while keeping that information hidden.

This module walks you through writing, compiling, and understanding the three core circuits behind the private token transfer demo: shielding, unshielding, and private transfers.

Working through these circuits gives you practical experience with the domain-specific language that turns the demo's privacy requirements into cryptographic proofs anyone can verify.