Zero-knowledge proofs have become a central tool for blockchain privacy and scalability. I will give a few examples of such proofs, starting from toy examples requiring no math, and ending with the state of the art zk-SNARK constructions based on elliptic curve pairings.