Writing Circuits

Circuit DSL
Circuit DSL dsl

Domain Specific Language for writing zero-knowledge circuits
SNARK Primitives
SNARK Primitives primitive

Hash functions, Merkle trees, and other ZK building blocks
Applications
Applications application

Real-world applications of zero-knowledge proofs
Gas Estimation
Gas Estimation gas

Cost estimation for ZK circuits and optimizations
Gnark Cheatsheet
Gnark Cheatsheet gnark

Circuit cheatsheet for gnark
Plonkish Gadgets
Plonkish Gadgets plonkish

Essential gadgets for building Plonkish constraint circuits
Construction WIP
R1CS Gadgets
R1CS Gadgets r1cs

Essential gadgets for building R1CS constraint circuits
Construction WIP
Common Bugs
Common Bugs bugs

Common ZK bugs and debugging techniques

Resources

Learning
Learning learning

Getting started with zero-knowledge proofs
Discovery
Discovery discovery

Discover the latest news, events, and awesome lists.
Construction WIP
Research Papers
Research Papers paper

Current research papers in zero-knowledge proofs

SNARK Systems

Elliptic Curve
Elliptic Curve curve

Comparison of common elliptic curves used in zero knowledge proofs
Construction WIP
Constraint System
Constraint System constraint

Comparing different ZK constraint systems
Construction WIP
Popular zkSNARK
Popular zkSNARK snark

Overview of mainstream zkSNARK systems
Construction WIP
Transpiler
Transpiler transpiler

Transpiling between different DSL or constraint system
Construction WIP
SNARK Argument
SNARK Argument argument

Technical overview of ZK argument structures, like lookup
Construction WIP
Commitment Schemes
Commitment Schemes commitment

Commitment schemes from pedersen to KZG

Foundations & Future

Landmark Papers
Landmark Papers landmark

Essential academic papers in zero-knowledge research
Construction WIP
Terminology Glossary
Terminology Glossary glossary

Common terms and definitions in zero-knowledge proofs

Ecosystem

EIPs
EIPs eip

ZKP related EIPs
Construction WIP
BitVM
BitVM bitvm

BitVM is the most significant improvement to Bitcoin, with targeting ZK proofs on Bitcoin.

Interactive

3-Colorability
3-Colorability 3color

Interactive demonstration of the 3-colorability problem