A simple introduction — Zero-knowledge proofs (ZKP) are proofs that an agent knows some particular piece of information, without revealing what you know. Imagine you are playing “Where’s Waldo” with a friend and they claim that they have found Waldo. The simplest way to prove to you that they found him is to point…

Locking your front door on the internet. — Tech billionaires tell us that “Privacy is Dead — Get Over It!” (Sun Microsystems CEO Scott McNealy in 1999), or that privacy is no longer a social norm (Mark Zuckerberg in 2010). …

Often in software engineering we are expected to develop using new tools; and so, it is incredibly helpful to be able to learn at least somewhat quickly. …