Security, Zero Knowledge Proofs, Snark, Cryptography, Research.
knowledge (STARKs). In this article we describe the foundational theory behind interactive proof systems and hope to ease the entry for newcomers into the very exciting and promising field of SNARKs and STARKs. 1. Introduction Proof systems have recently gained tremendous interests in the context