Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
by a honest prover. Soundness: if the statement is false, no cheating/malicious prover can convince the honest verifier that it is true, except with some negligible probability. Put in different words, the soundness property asserts that the proof verification procedure cannot be “tricked” into