If you have spent any time researching the world of Web 3 then you have no doubt come across the term zkSNARK. The term can be daunting for the casual researcher because search engine queries often present the complex math which makes zkSNARKs possible.
Having a basic grasp of the cryptographic technology is crucial to understanding rollups. Rollups have played a critical role in layer 2 blockchains which are helping solve the scalability trilemma [1].
By the end of this article, you should gain an understanding of:
A zkSNARK is a cryptographic proof that allows one party to prove it posses certain information without revealing that information [2].
The term zkSNARK is an acronym that stands for Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.
Put simply, a zero-knowledge proof is a situation in which each of the two parties in a transaction can verify to each other that they have a particular set of information, while at the same time not revealing what that information is.
The important terms to understand from the acronym are:
In an application of a zkSNARK, there is a prover and a verifier [4]. The prover wants to prove the truth of a statement without leaking any knowledge of the solution itself to the verifier.
The verifier wants to be reassured that the prover does have the solution or that the statement is true.
We can imagine use cases for zkSNARKs almost immediately- imagine frequent scenarios where one must reveal private information to verify something about one’s identity.
Let’s take a look at an example, how can Alice (our prover) prove her age to Bob (our verifier) without revealing her age [5]?
Alice is going to a bar and has to prove she is over the age of 18 to Bob before she can be served in the bar. She is reluctant to show Bob her identity card and instead Alice goes to a trusted source Trent.
Trent sends her a random seed and a proving statement to Alice. Alice now encrypts her age and gives both her encrypted age and the proving statement to Bob. Bob will now be able to verify if Alice is over a certain age without knowing what Alice’s age really is.
zkSNARKs are quite complex and difficult to understand so we will not go into too much detail in this article. They have been described as the “most powerful cryptographic technology” by Vitalik Buterin [6], the creator of Ethereum.
They leverage fascinating properties of polynomials, elliptic curve pairings, hashes and Merkle trees to enable a verifier to check millions of steps in a computation, without doing a piece of work to check each step individually.
A word of warning you will look to have a medium understanding of mathematics to read more into how zkSNARKs work. I recommend getting started with this article: An approximate introduction to how zkSNARKs are possible
To summarise:
zkSNARKs are likely the most powerful cryptographic technology to come out in the last decade.
They have pioneered the way for making rollups possible in layer 2 Blockchains which are helping to solve the scalability trilemma plaguing layer 1.
They allow for a prover to prove the truth of a statement without revealing any information about its solution to a verifier.
The verifier can be subsequently reassured the prover does have the solution or the statement is true.
Proofs are small in size regardless of statement size and fast to verify.
[1] Why sharding is great: demystifying the technical properties. (n.d.). Vitalik Buterin's website. https://vitalik.ca/general/2021/04/07/sharding.html
[2] Frankenfield, J. (2018, May 29). What is zk-SNARK? Investopedia. https://www.investopedia.com/terms/z/zksnark.asp
[3] What are zk-SNARKs? | Zcash. (n.d.). Zcash. https://z.cash/technology/zksnarks/
[4] (n.d.). Home - Jerome Fisher Program in Management & Technology. https://fisher.wharton.upenn.edu/wp-content/uploads/2020/09/Thesis_Terrence-Jo.pdf
[5] Zero-knowledge Proof: Proving age with hash chains. (n.d.). Security and So Many Things. https://asecuritysite.com/encryption/age
[6] An approximate introduction to how zk-SNARKs are possible. (n.d.). Vitalik Buterin's website. https://vitalik.ca/general/2021/01/26/snarks.html