The Curves of ZoKrates

Programmable zero knowledge proofs unlock a new paradigm of programming that enables verifiable computations over confidential input. In this post, I explain some of the cryptography background necessary for getting started.