ZK Hints

Hey! I'm @icerdesign and this is a modest collection of ZK Hints I've written.

Recent News

Announcing the OpenVM 2.1 Preview Release

Flock: Fast Proving for Batch Boolean Computations

LeanIMT+: Efficient Merkle Tree for Membership and Non-Membership Proofs

Authenticated Data Structures for Dynamic Workloads

Taiko drained for ~$1.7M after SGX enclave signing key was exposed

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

R1CS Gadgets

R1CS Gadgets r1cs

Essential gadgets for building R1CS constraint circuits

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.

Research Papers

Research Papers paper

Current research papers in zero-knowledge proofs

Daily News

Daily News daily

Daily digest of ZK news

SNARK Systems

Elliptic Curve

Elliptic Curve curve

Comparison of common elliptic curves used in zero knowledge proofs

Constraint System

Constraint System constraint

Comparing different ZK constraint systems

Popular zkSNARK

Popular zkSNARK snark

Overview of mainstream zkSNARK systems

Transpiler

Transpiler transpiler

Transpiling between different DSL or constraint system

SNARK Argument

SNARK Argument argument

Technical overview of ZK argument structures, like lookup

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

Terminology Glossary

Terminology Glossary glossary

Common terms and definitions in zero-knowledge proofs

Ecosystem

EIPs

ZKP related EIPs

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