Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
(NIZKs). We plan to write about Sigma-Protocols, the Fiat-Shamir Transformation along some concrete examples of NIZK constructions in the next article. Stay tuned! Further Reading The theory of interactive proof systems is by far more elaborated than what we treated in this article. Here is a list