Volumous Repositories

CryptoHack - Home

Dr Thaler’s Proofs, Args, and ZK

Privacy Scaling Solutions Github

Zero-Knowledge Proofs Starter Pack

Home - ZK Podcast

Introduction to ZKPs: https://docs.google.com/presentation/d/10JmV3-VxPtdHlrX4MSu-ERH82IonZeLrDdLZ1lJ6Wlc/edit#slide=id.gd3aa85d23a_0_912

Introduction to ZKPs: https://docs.google.com/presentation/d/10JmV3-VxPtdHlrX4MSu-ERH82IonZeLrDdLZ1lJ6Wlc/edit#slide=id.gd3aa85d23a_0_912

Introduction

Zk Snarks vs The Rest

Vitalik: Quadratic Programs from Zero to Hero

vnTinyRAM

ZKP Illustrated Primer

Primer to ZKP

Decentriq zkSNARKs Primer Part 1

Undestanding Zero Knowledge Through Tornado Cash

Dark Forest Introduction to ZK SNARKS Part 1

Dark Forest Introduction to Circuits Part 2

A hands-on tutorial for zk proofs part 1

ZKP Hands-On Tutorial Part 1

ZKP Hands-On Tutorial Part 2

ZKP Hands-On Tutorial Part 3

Intermediate

A Cambrian Explosion of Crypto Proofs

ZKG Polynomial Commitments

The Hunting of the SNARK Part 1

The Hunting of the SNARK Part 2

The Hunting of the SNARK Part 3

STARKS: Proofs with Polynomials, P1

STARKS: Thank Goodness it’s FRI-day, P2

STARKS: Intro the Weeds, P3

STARKS vs SNARKS vs Bulletproofs

Advanced

STARK Math: The Journey Begins

Arithmetization I

Arithmetization II

Low Degree Testing

A Framework for Efficient STARKs

ECs with Prescribed Embedding Degrees

Anatomy of a STARK Introduction

Anatomy of a STARK STARK Overview

Anatomy of a STARK: Basic Tools

Anatomy of a STARK: FRI

Anatomy of a STARK: Polynomial IOP

Anatomy of a STARK: Rescue-Prime STARK

Anatomy of a STARK: Speeding things up

Papers

SNARK [2011]


STARKS [2018] ⭐

Aurora [2018]

vRAM [2018]

GKM+18 [2018]

Sonics [2019]

Libra [2019]

DARKs [2019]

PLONK [2019] ⭐

SLONK [2019]

Recursive Proofs [2019]

Marlin [2019]

Fractal [2019]

Spartan [2019]

Redshift [2019]


Halo 2 [2020] ⭐

Quarks [2020]

QuickSilver [2021]

Shorter Lattice-Based ZKPs [2021]

Wolverine [2021]

Poseiden [2021]

Videos

'Introduction to Zero Knowledge Proofs' - Elena Nadolinski

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

zkSummit5: PLONK without FFTs - Justin Drake (EF)

ZK Tutorial: An Introduction to SNARK Development with arkworks - Pratyush Mishra

Building Resources

Building Practical ZK dApps

Creating a Circom Circuit

Rank 1 Constraint System (R1CS) Tutorial

Implementing Sum-Check with arkworks


🕊️

Resources:

https://github.com/ventali/awesome-zk https://github.com/a16z/zkdocs

https://twitter.com/a16zcrypto/status/1575124707187347457

https://github.com/VictorColomb/stark-snark-recursive-proofs

Math: https://twitter.com/EliBenSasson/status/1578380154476208131