Why and How zk-SNARK Works
It addresses the problem of complexity in understanding zk-SNARKs for learners and practitioners, though it is incremental as it focuses on exposition rather than new technical advances.
This paper tackles the challenge of making zk-SNARK technology accessible by providing a clear, example-based explanation without requiring prior knowledge, aiming to help more people understand its workings and mathematical beauty.
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.