Zero Knowledge Proofs¶

Zero-knowledge proofs (ZKPs) allow one party to prove knowledge of information without revealing the information itself. They are fundamental to blockchain privacy and scalability.

Proof Systems¶

System	Description
ZKP Overview	Introduction to zero-knowledge proofs
zk-SNARKs	Succinct non-interactive proofs
zk-STARKs	Transparent, post-quantum proofs
zkVM	General-purpose ZK virtual machines
Groth16	Efficient SNARK construction
Halo2	Recursive proof system without trusted setup
PLONK	Universal SNARK with updateable SRS
Bulletproofs	Short non-interactive proofs

Tools & Languages¶

Tool	Description
Circom	Circuit description language
Noir	Aztec's ZK programming language

Cryptographic Primitives¶

Primitive	Description
Poseidon	ZK-friendly hash function
Pedersen Commitment	Hiding commitment scheme
Fiat-Shamir	Non-interactive proof heuristic
KZG	Polynomial commitment scheme
FRI	Fast Reed-Solomon proximity testing

Privacy Protocols¶

Protocol	Description
Zcash	Privacy-focused cryptocurrency
Aleo	Private application platform
Aztec	Private Ethereum L2
Monero	Privacy-by-default cryptocurrency