Thinking in Constraints: Notes from Building Zero-Knowledge Systems

The first mistake most engineers make when approaching zero-knowledge proofs is assuming they are learning a new cryptographic tool. In…