Zero-knowledge proofs for everyone.