Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
the validity of the assertion. Note however that the property makes only sense, if the prover has some secret information — in zk-jargon referred to as witness — and wants the verifier to learn no partial information about it. Hence, the third magical property of proof systems can be summarized as