Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
Detail While the properties of a proof system may seem intuitive, defining completeness, soundness or zero-knowledge in a rigorous and mathematically sound way took the research community decades. In order to formalize the properties we will need a model of computation to express what an