With zero-knowledge protocols in the spotlight recently, it's worth (air)dropping the question: What exactly are Zero-knowledge proofs?