A quick look at zero-knowledge proofs