Why and How zk-SNARK Works

06/17/2019
by   Maksym Petkus, et al.
0

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.

READ FULL TEXT
research
09/22/2008

Modeling and Control with Local Linearizing Nadaraya Watson Regression

Black box models of technical systems are purely descriptive. They do no...
research
10/14/2021

Can Explanations Be Useful for Calibrating Black Box Models?

One often wants to take an existing, trained NLP model and use it on dat...
research
11/10/2022

Black-Hole Radiation Decoding is Quantum Cryptography

We propose to study equivalence relations between phenomena in high-ener...
research
11/26/2020

One-Way Functions Imply Secure Computation in a Quantum World

We prove that quantum-hard one-way functions imply simulation-secure qua...

Please sign up or login with your details

Forgot password? Click here to reset