Zero-Knowledge Proofs: The Fundamentals