Awesome-Links-For-ZK

I want to share the resources that I used to learn and prepare the challenge of #DaysOfZeroKnowledge:

• Foundations of Probabilistic Proofs

• Proofs, Arguments, and Zero-Knowledge

• A Primer on Cryptographic Proof Systems

• Mathematics behind Ethereum & Bitcoin Cryptography

• 'Introduction to Zero Knowledge Proofs' - Elena Nadolinski [slides]

• Navigating Zero Knowledge

• Zero-Knowledge-Proof Mining

• Zero-Knowledge Proofs: A General Understanding

• A Survey of Noninteractive Zero Knowledge Proof System and Its Applications

• Introducing circom 2.0

• Hardware Acceleration for Zero Knowledge Proofs

• Dystopia Labs | (Part 1/3) Demystifying Zero Knowledge Proofs: How To Build DApps With zk-SNARKs [slides]

• HackMoney Summit | Why everyone should know ZKPs [slides]

• Computer Scientist Explains One Concept in 5 Levels of Difficulty | WIRED. Computer scientist Amit Sahai, PhD, is asked to explain the concept of zero-knowledge proofs to 5 different people; a child, a teen, a college student, a grad student, and an expert. Using a variety of techniques, Amit breaks down what zero-knowledge proofs are and why it's so exciting in the world of cryptography.

• Zero Knowledge Proof - ZKP by Simply Explained

• Zero Knowledge - Not Boring by Packy McCormick

• On Interactive Proofs and Zero-Knowledge: A Primer

• Understanding Zero-knowledge proofs through illustrated examples This is a somewhat illustrated guide to Zero Knowledge.

• Zero Knowledge Proof — A popular Explanation

• Know nothing and everything at once: zero-knowledge and blockchain security

• Zero-Knowledge Proofs. What are they, how do they work, and are they fast yet?

• Elliptic Curve Cryptography: a gentle introduction

• Exploring Elliptic Curve Pairings

• Improving Scalability and Privacy of Blockchains: 2022 Update on Zero-Knowledge Proofs An overview of current Zero-Knowledge Proof (ZKP) implementations in the crypto space and discusses what to expect from ZKP as an exciting cryptographic method in the upcoming months and years.

• zk-SNARKs on Bitcoin. Present the algorithms (key generation, prover and verifier) used in zk-SNARK.

• How to create a Zero Knowledge DApp: From zero to production. This is a step-by-step guide on how to build a Zero Knowledge (zk) Decentralized Application (DApp) from zero to production. The goal is to explain the flow of a zk dapp and deploy it so that users can use it.

• Implementing Zero Knowledge Lottery’s Circom circuits PART 1 / 2

• Walkthrough of an Interactive Zero-Knowledge Proof for Sudoku Puzzle

• An approximate introduction to how zk-SNARKs are possible by Vitalik Buterin

• Some ways to use ZK-SNARKs for privacy. Vitalik explain some examples about how to use zk-SNARK for privacy

• The Evolution of Zero-Knowledge Proofs in Web3.

• A Basic Primer to How Zero Knowledge Proofs and zkSNARKs Work

• zk-SNARKs Explained with Bellman. Steps to apply zk-SNARK from computation to QAP.

• Why and How zk-SNARK Works by Maksym

• Diving into the zk-SNARKs Setup Phase. This post discuss why some zero-knowledge proofs rely on pre-generated keys (produced by a trusted setup or a multiparty ceremony), and why this can be a good trade-off for many applications and in a sense, is even logically necessary.

• Explaining SNARKs Part I: Homomorphic Hidings. In this post explain what an Homomorphic Hidings is, and then give an example of why it is useful and how it is constructed.

• Introduction to zk-SNARKs (Part 1). A brief introduction to zk-SNARK by Decentriq

• Create your first zero-knowledge snark circuit using circom and snarkjs. In this tutorial, guide you through the creation and execution of your first zero-knowledge proof using circom and snarkjs libraries.

• Quadratic Arithmetic Programs: from Zero to Hero. The purpose of this post is not to serve as a full introduction to zk-SNARKs;the post digs deeper into the machinery behind the technology, and tries to explain as well as possible the steps from computation to obtain a quadratic arithmetic programs.

• R1CS

• R1CS

• Explaining Quadratic Arithmetic Programs. Explains more easy theQuadratic Arithmetic Programs: from Zero to Hero by Vitalik Buterin

• zkSNARKs in a nutshell

• Zk-SNARKs: Under the Hood. A series of articles explaining how the technology behind zk-SNARKs work by Vitalik Buterin

• What are zk-SNARKs? This article explain How zk-SNARKs are constructed in Zcash

• Trusted setud in zkSNARK

• Setup ceremonies

• Know The Difference Between Zk-SNARKS Vs. Zk-STARKS

• Comparing Privacy Technologies: Zk-SNARKs Vs Zk-STARKs Vs Snapps And More

• Zksnarks Vs Zkstarks – Key Differences

• STARK

  • STARKs, StarkEx, and StarkNet
  • ZK-STARKs — Create Verifiable Trust, even against Quantum Computers
  • Anatomy of STARK
  • STARK week

• Plonk

  • Understanding PLONK
  • L2 — Deep into PLONK Aggregation circuit.
  • L2 — Deep Dive into zkSync circuit preprocessing

• Halo2

  • Explaining halo2
  • Zero Knowledge Proof — A Guide to Halo2 Source Code

• ZKEVM

  • Zero Knowledge Proof — Deep into zkEVM source code (EVM Circuit)

  • Foresight Ventures: zk, zkVM, zkEVM and their Future

Other compilations:

• Zero-Knowledge Proofs Starter Pack
• Extra resources. A compilation of resources useful to learn ZK.
• Learning resources by 0xPARC. The learning resources here at learn.0xparc.org were born out of the first cohort of the Applied ZK Learning Group by 0xPARC in December 2021.
• Awesome zero knowledge proofs (zkp) by matter labs
• Awesome zkEVM
• ZK Whiteboard Sessions
• SHIELD - A development framework for ZK based languages
• ZK compilation by ingopedia