A main tool of Privacy-Enhancing Cryptography (PEC) is the Zero-Knowledge Proof (ZKP). It enables proving the truthfulness of a mathematical statement, without revealing additional information that may have been useful in finding said truthfulness. For...
