Santiago Palladino
Introduction to coding and using zero-knowledge proofs, covering Circom, Halo2, and Noir
baro77
Comprehensive beginner-friendly guide to understanding ZK proofs with minimal cryptography background
Zama
Beginner-friendly introduction to homomorphic encryption concepts and use cases
Ethereum Foundation
Official Ethereum.org non-technical introduction to zero-knowledge proofs for beginners
Matthew Green (Johns Hopkins)
Matthew Green's foundational introduction explaining ZK basics through accessible examples
Accessible overview of ZKP designed for readers without advanced mathematical background
Aztec Labs
Introduction to Noir as a Rust-influenced ZK programming language
KU Leuven COSIC
Academic introduction to homomorphic encryption from COSIC research group
0xPARC
Comprehensive learning materials from Applied ZK Learning Group covering Circom and Halo2
Open online course introducing ZK concepts, proof systems, and applications
Jonathan Katz & Yehuda Lindell
Comprehensive textbook covering modern cryptographic principles, protocols, and provable security
RareSkills
Free comprehensive ebook for programmers to learn ZK proofs with code examples and practical implementations
Microsoft Research
Video series from Microsoft Research on SEAL library and CKKS homomorphic encryption
ZK Hack
Interactive video series covering ZK building blocks with top researchers and practitioners
Anna Rose & Freddy
Podcast diving into ZK research, open source software, and decentralized web
StarkWare
Visual introduction to STARK proof systems from StarkWare
Comprehensive guide covering circuit development to smart contract integration
Hands-on guide to building and verifying zero-knowledge proofs with both frameworks
iden3
Language for writing arithmetic circuits for zero-knowledge proofs
Aztec
Domain-specific language for creating and verifying zero-knowledge proofs
Programming language for writing provable programs on StarkNet
Mina Protocol
TypeScript framework for building zkApps on Mina Protocol
Toolbox for zkSNARKs on Ethereum with its own DSL
JavaScript implementation of zkSNARK schemes including Groth16, PLONK, and FFLONK
Ethereum Foundation PSE
ZK toolkit for proving group membership and anonymous signaling
Curated list of zero-knowledge virtual machines and related resources
Official documentation for Circom circuit language
Official documentation for Noir domain-specific language for zero-knowledge proofs
RISC Zero
Comprehensive documentation for RISC Zero zkVM development
Succinct Labs
Official documentation for SP1 zkVM
Official documentation for Mina Protocol and o1js zkApp development
Comprehensive guide to Cairo programming language for StarkNet
Official documentation for StarkNet L2 scaling solution
Lucas Barthelemy (Quarkslab)
Technical survey of FHE schemes and their evolution, covering computing on encrypted data
Accessible explanation of the bootstrapping mechanism in FHE for beginners
Vitalik Buterin
Vitalik's approachable explanation of zkSNARKs and related cryptographic concepts
Igor Molfar
Step-by-step breakdown of zkSNARKs from polynomial knowledge through verification
Explores foundational concepts in interactive proof systems and zero-knowledge protocols
Official Ethereum.org introduction to zero-knowledge rollups and Layer 2 scaling
Comprehensive comparison of zkSNARKs and zkSTARKs technologies
Comprehensive overview of different ZK programming languages and their use cases
Vitalik's comprehensive comparison of STARK and SNARK proof systems
Vitalik's taxonomy of zkEVM types and their tradeoffs
Boaz Barak (Harvard University)
Comprehensive cryptography course covering foundations, public-key cryptography, FHE, ZK proofs, and quantum computing
Dan Boneh (Stanford)
Free textbook and online cryptography course by Dan Boneh covering fundamentals including ZK proofs
Dan Boneh (Stanford), Shafi Goldwasser (UC Berkeley), Dawn Song (UC Berkeley), Justin Thaler (Georgetown), Yupeng Zhang (Texas A&M)
Comprehensive zero-knowledge proof course from UC Berkeley RDI covering theory, implementation, and applications
MIT
Contemporary approaches to zero-knowledge cryptography covering latest developments
Craig Gentry (Stanford)
Craig Gentry's foundational PhD thesis introducing the first fully homomorphic encryption scheme
Frederik Armknecht et al.
Introduction to FHE schemes allowing computation on encrypted data
Least Authority
Academic resource for understanding zk-SNARKs through pen-and-paper computations
ZKProof Community
Collection of presentations and recordings from ZKProof community workshops
UC Berkeley
Workshop gathering researchers and practitioners for ZKP design and blockchain applications
ZK Summit
Talks and workshops from ZK Summit conferences covering latest ZK research
Fully Homomorphic Encryption (FHE) compiler for building encrypted applications
Rust implementation of TFHE (Fully Homomorphic Encryption over the Torus)
Easy-to-use Homomorphic Encryption library from Microsoft Research
Versatile framework for multi-party computation (MPC)
Rust ecosystem of libraries for zkSNARKs (Groth16, Marlin, etc.)
ConsenSys
Fast zero-knowledge proof library written in Go
Polygon
Fast recursive zkSNARK library with PLONK and FRI
Open-source toolkit for building zkVMs with 5-10x performance improvement over Plonky2
STARK prover and verifier for arbitrary computations
PLONK-based proof system with custom gates and lookups used by Mina Protocol
KZG-backended fork of Halo2 with Ethereum L1 verifiability support
Rust library for building zk-SNARK circuits and proofs (Groth16)
Production-ready zkVM for RISC-V programs, securing over $1B TVL
Zero-knowledge verifiable general computing platform based on zk-STARKs and RISC-V
a16z Crypto
The simplest and most extensible zkVM for RISC-V
Nexus
Modular, extensible, prover-optimized zkVM written in Rust
Axiom
Modular zkVM framework with no-CPU design, v1.0 released in 2025
Lita Foundation
Performance-oriented zkVM with custom ISA and Plonky3 proof system
STARK-based zkVM prioritizing parallelism and throughput
Powdr Labs
Modular zkVM toolkit with multi-prover support (Halo2, Valida)
ZKM
zkMIPS-based zkVM with Rust toolchain and modular proof aggregation
Type 2-3 zkEVM scaling solution with zkASM interpretation
Ethereum Foundation's PSE zkEVM implementation
Scroll
Type 2 zkEVM with EVM-equivalence focus
Matter Labs
Type 4 zkEVM L2 scaling solution with account abstraction
LambdaClass
Cairo-rs VM, Lambdaworks prover, and Starknet implementation in Rust
Protocol for proving authenticity of web data using ZK proofs
Official documentation for gnark Go ZK library
Open industry-academic initiative for ZKP standardization and interoperability
Community-driven reference document for ZKP development and implementation
Vitalik Buterin's explanation of the PLONK proving system
In-depth technical breakdown of the PLONK protocol
OpenZeppelin
Security guide covering common vulnerabilities in Noir circuit development
Vitalik's deep dive into elliptic curve pairings, the cryptographic foundation for zkSNARKs
Vitalik's technical deep dive into the architecture and protocols of zkSNARKs
Vitalik's deep dive into QAPs, the mathematical foundation of zkSNARKs
Vitalik on Verkle trees and their role in Ethereum's future
Justin Drake (Ethereum Foundation)
Justin Drake's proposal for Ethereum consensus layer redesign using zkSNARKs
Comprehensive curated list of resources for learning Zero-Knowledge Proofs
sCrypt Inc
Curated list of awesome ZKP resources, libraries, tools and applications
Ethereum Foundation's research and development lab for privacy and scaling