Programming ZKPs: From Zero to Hero

This tutorial, by a programmer writing under the name oskarth, teaches working programmers to write zero-knowledge proofs from scratch using Circom and the Groth16 proving system. It builds toward a signature scheme that lets a person prove they sent a message without revealing which group member they are. The first program proves knowledge of two secret numbers whose product is a public number, such as 33 from secret numbers 11 and 3. The setup uses the zkintro-tutorial git repo, which includes a justfile and install scripts, with circom 2.1.8 and snarkjs 0.7.4 as the required versions.