Zero-Knowledge Proofs Starter Pack

On my journey to join the club of people who possess a reasonable understanding of ZKP cryptography, I stumbled upon many invaluable resources that provided to be very helpful. The problem was that they were rather scattered on the web. The awesome ZKP repo is indeed awesome but a bit verbose and lacks videos and podcasts.

The goal of this post is to serve as an entry point for anyone interested to make their baby steps towards understanding the core technical layers of zero-knowledge-whatever. It is important to note that this is definitely not an exhaustive list, but rather a set of supportive resources for ZKPs that have a connection to the blockchain ecosystem.

Legend

  • ZKP = Zero-Knowledge Proof
  • zkSNARK = Zero-Knowledge Succinct Non-Interactive ARgument of Knowledge
  • zkSTARK = Zero-Knowledge Scalable Transparent ARgument of Knowledge
  • AZTEC = Anonymous Zero-knowledge Transactions with Efficient Communication

Induction

zkSNARKs

zkSTARKs

Bulletproofs

AZTEC

MimbleWimble

Papers

Hope this helps! Open to additions and other suggestions.

51 Likes

This post about ZkDai might be a good addition to these resources:

1 Like

Here’s another super-awesome paper on SNARKs by Christian Reitwießner: https://chriseth.github.io/notes/articles/zksnarks/zksnarks.pdf.

This one will help you fully understand all the “moon math” that is the heart of SNARKs and that is almost never explained in tutorials/presentations. :+1:

2 Likes

This walk thru is a must try if you actually want to get your hands dirty:

https://iden3.io/blog/circom-and-snarkjs-tutorial2.html

1 Like

cool content compilation! Guys, if anyone wants to give a try and learn zkSnarks properly, please ping me https://twitter.com/lebed2045. Would be nice to have a learning companion and to study together.

Another good one is this overview of PCPs, which underpin SNARKs and STARKs

1 Like

zkp rivals enigma, correct?

@Econymous you can view Zero Knowledge Proofs as a family of functions that ensure honest computation. They can be used for privacy, scalability and annonymity .Enigma employs Multi Party Computation which is a subset of ZKP where multiple parties are used to provide the answer to to a problem without revealing it to everyone.

1 Like