Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
Zero-knowledge: if the statement is true, no cheating verifier learns anything other than this fact. In the zero-knowledge literature is a canonical example to explain the property. In this example, there is a cave whose path divides into two. These two paths are connected by a door that can only