ZK Hints

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

Recent News

BinarySpartan: Spartan over binary fields

From the cryptographer's desk: how we chose Sui's post-quantum signature schemes

Sluice: Prove-Phase Bounded-Memory Groth16 via Read-Write Streaming

A Unified Framework for Contract-Validated Benchmarking of Zero-Knowledge Proving Systems

Verifiable Compression of Images

Writing Circuits

Circuit DSL

Circuit DSLdsl

Domain Specific Language for writing zero-knowledge circuits

SNARK Primitives

SNARK Primitivesprimitive

Hash functions, Merkle trees, and other ZK building blocks

Applications

Applicationsapplication

Real-world applications of zero-knowledge proofs

Gas Estimation

Gas Estimationgas

Cost estimation for ZK circuits and optimizations

Gnark Cheatsheet

Gnark Cheatsheetgnark

Circuit cheatsheet for gnark

Plonkish Gadgets

Plonkish Gadgetsplonkish

Essential gadgets for building Plonkish constraint circuits

R1CS Gadgets

R1CS Gadgetsr1cs

Essential gadgets for building R1CS constraint circuits

Common Bugs

Common Bugsbugs

Common ZK bugs and debugging techniques

Resources

Learning

Learninglearning

Getting started with zero-knowledge proofs

Discovery

Discoverydiscovery

Discover the latest news, events, and awesome lists.

Research Papers

Research Paperspaper

Current research papers in zero-knowledge proofs

Daily News

Daily Newsdaily

Daily digest of ZK news

SNARK Systems

Elliptic Curve

Elliptic Curvecurve

Comparison of common elliptic curves used in zero knowledge proofs

Constraint System

Constraint Systemconstraint

Comparing different ZK constraint systems

Popular zkSNARK

Popular zkSNARKsnark

Overview of mainstream zkSNARK systems

Transpiler

Transpilertranspiler

Transpiling between different DSL or constraint system

SNARK Argument

SNARK Argumentargument

Technical overview of ZK argument structures, like lookup

Commitment Schemes

Commitment Schemescommitment

Commitment schemes from pedersen to KZG

Foundations & Future

Landmark Papers

Landmark Paperslandmark

Essential academic papers in zero-knowledge research

Terminology Glossary

Terminology Glossaryglossary

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-Colorability3color

Interactive demonstration of the 3-colorability problem