Build Zero-Knowledge Proofs

Build ZK proofs from sigma protocols up to SNARKs: commitments, Schnorr's protocol, Fiat-Shamir transform, OR proofs, arithmetic circuits, R1CS, polynomial commitments, and the production landscape (Groth16, PLONK, STARKs). The cryptographic technique behind Zcash, zkRollups, and private credentials.