Dear awesome person,
the very first newsletter I ever send to Weekly CS Paper is about the topic zk-SNARK a Non-interactive zero-knowledge proof underlying the Zcash cryptocurrency.
The paper is quite long as I wanted to start with a big bang on the first release 😀 Despite zero-knowledge proofs being a math heavy topic, the papers manages to break the topic down, so you will understand it with basic college math.
Despite the existence of multiple great resources on zk-SNARK construction, from original papers to explainers, due to the sheer number of moving parts the subject remains a black box for many. While some pieces of the puzzle are given one can not see the full picture without the missing ones. Hence the focus of this work is to shed light onto the topic with a straightforward and clean approach based on examples and answering many whys along the way so that more individuals can appreciate the state of the art technology, its innovators and ultimately the beauty of math. Paper’s contribution is a simplistic exposition with a sufficient and gradually increasing level of complexity, necessary to understand zk-SNARK without any prerequisite knowledge of the subject, cryptography or advanced math. The primary goal is not only to explain how it works but why it works and how it came to be this way.