Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

matter-labs/awesome-zero-knowledge-proofs

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Source code at GitHub https://github.com/matter-labs/awesome-zero-knowledge-proofs
matter-labs/awesome-zero-knowledge-proofs.json
{
  "createdAt": "2018-11-10T05:14:37Z",
  "defaultBranch": "master",
  "description": "A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).",
  "fullName": "matter-labs/awesome-zero-knowledge-proofs",
  "homepage": "",
  "language": null,
  "name": "awesome-zero-knowledge-proofs",
  "pushedAt": "2024-09-25T13:04:59Z",
  "stargazersCount": 5701,
  "topics": [
    "explaining-snarks",
    "knowledge-proofs",
    "snark",
    "team-crypto",
    "zk-snarks"
  ],
  "updatedAt": "2025-11-25T08:09:32Z",
  "url": "https://github.com/matter-labs/awesome-zero-knowledge-proofs"
}

Awesome zero knowledge proofs (zkp)

Section titled “Awesome zero knowledge proofs (zkp)”

Awesome A curated list of awesome things related to learning zero knowledge proofs

Contents

Section titled “Contents”
  • [Awesome zero knowledge proofs (zkp)]!(#awesome-zero-knowledge-proofs-zkp)
    • [Contents]!(#contents)
    • [General introduction]!(#general-introduction)
    • [Courses]!(#courses)
    • [Use cases]!(#use-cases)
    • [Applications]!(#applications)
      • [Ethereum]!(#ethereum)
      • [Other blockchains]!(#other-blockchains)
      • [Non-blockchain]!(#non-blockchain)
    • [Comparison of the most popular zkp systems]!(#comparison-of-the-most-popular-zkp-systems)
    • [Bulletproofs]!(#bulletproofs)
      • [Try]!(#try)
      • [Proof system implementations]!(#proof-system-implementations)
      • [Halo]!(#halo)
    • [SNARKs]!(#snarks)
      • [Learn]!(#learn)
      • [Try]!(#try-1)
      • [Scaling the prover]!(#scaling-the-prover)
      • [Multi-Party Ceremony (MPC) for Trusted Setup]!(#multi-party-ceremony-mpc-for-trusted-setup)
    • [SNORKs]!(#snorks)
      • [Sonic]!(#sonic)
      • [PLONK]!(#plonk)
      • [Marlin]!(#marlin)
    • [STARKS]!(#starks)
      • [Learn]!(#learn-1)
      • [FRI-STARKs]!(#fri-starks)
      • [SuperSonic]!(#supersonic)
      • [Fractal]!(#fractal)
    • [Social media]!(#social-media)

General introduction

Section titled “General introduction”

Zero-Knowledge Proofs Starter Pack: alternative introductory list for beginners (more videos).

ZK whiteboard sessions by ZK Hack:

A Hands-On Tutorial for Zero-Knowledge Proofs by Shir Peled (StarkWare):

Zero-Knowledge Proofs for Engineers (Dark Forest)

More complete curated list of implementations and scientific resources: https://zkp.science

Courses

Section titled “Courses”

Use cases

Section titled “Use cases”

Applications

Section titled “Applications”

Ethereum

Section titled “Ethereum”

Other blockchains

Section titled “Other blockchains”

Non-blockchain

Section titled “Non-blockchain”
Section titled “Comparison of the most popular zkp systems”
SNARKsSTARKsBulletproofs
Algorithmic complexity: proverO(N * log(N))O(N * poly-log(N))O(N * log(N))
Algorithmic complexity: verifier~O(1)O(poly-log(N))O(N)
Communication complexity (proof size)~O(1)O(poly-log(N))O(log(N))
- size estimate for 1 TXTx: 200 bytes, Key: 50 MB45 kB1.5 kb
- size estimate for 10.000 TXTx: 200 bytes, Key: 500 GB135 kb2.5 kb
Ethereum/EVM verification gas cost~600k (Groth16)~2.5M (estimate, no impl.)N/A
Trusted setup required?YES :unamused:NO :smile:NO :smile:
Post-quantum secureNO :unamused:YES :smile:NO :unamused:
Crypto assumptionsDLP + secure bilinear pairing :unamused:Collision resistant hashes :smile:Discrete log :smirk:

Bulletproofs

Section titled “Bulletproofs”

Try

Section titled “Try”

Proof system implementations

Section titled “Proof system implementations”

Halo

Section titled “Halo”

SNARKs

Section titled “SNARKs”

SNARK = Succinct Non-interactive ARguments of Knowledge

Learn

Section titled “Learn”

Get started:

Why and How zk-SNARK Works:

ZkStudyClub:

Electric Coin blog series:

Vitalik Buterin’s blog series on SNARKs:

Protocol descriptions:

OxPARC learning group:

Try

Section titled “Try”

Scaling the prover

Section titled “Scaling the prover”

Multi-Party Ceremony (MPC) for Trusted Setup

Section titled “Multi-Party Ceremony (MPC) for Trusted Setup”

SNORKs

Section titled “SNORKs”

SNORK = Succinct Non-interactive Oecumenical (Universal) aRguments of Knowledge

SNORKs are SNARKs with universal and updateable trusted setup.

Sonic

Section titled “Sonic”

PLONK

Section titled “PLONK”

(This is a recent development. Contributions are welcome!)

Marlin

Section titled “Marlin”

(This is a recent development. Contributions are welcome!)

STARKS

Section titled “STARKS”

STARK = Succinct (Scalable) Transparent ARguments of Knowledge

STARKs are SNARKs without Trusted Setup.

Learn

Section titled “Learn”

Get started:

FRI-STARKs

Section titled “FRI-STARKs”

Introduction:

Vitalik Buterin’s blog series on STARKs:

Academic resources:

More resources available at starkware.co

SuperSonic

Section titled “SuperSonic”

(This is a recent development. Contributions are welcome!)

Fractal

Section titled “Fractal”

(This is a recent development. Contributions are welcome!)

Social media

Section titled “Social media”

Stay tuned!