⋄ Zero-Knowledge Proofs Explained