Index

• Projects

  • zkSync
  • zkPoD - decentralized platform for data exchange between untrusted parties realizing "Payment on Delivery" without any trusted third party.
  • ZoKrates - a toolbox for zkSNARKs on Ethereum.
  • Circom - zkSnark circuit compiler.
  • Snarkjs - zkSNARK implementation in JavaScript & WASM.
  • Winterfell - a STARK prover and verifier for arbitrary computations.
  • zkWASM - the crucial part which served as a trustless adopter between the rich application running on WASM runtime and smart contracts on various blockchains.
  • zkLLVM Circuit Compiler - compiler from high-level programming languages into an input for provable computations protocols.
  • EthSnarks - a collection of zkSNARK circuits and supporting libraries to use them with Ethereum smart contracts.
  • Fusion - Ethereum zkRollup written in Rust and focuses on performance, modularity, and applying Verifiable Computation proof systems.
  • ZKSpace
  • Stark.net
  • Hyper Oracle
  • Hyper Oracle - Hyper Oracle is a programmable zkOracle network that safeguards blockchain security and decentralization.
  • Axiom
  • Eigen Layer - Eigen layer is a general-purpose marketplace for decentralized trust, which is built on Ethereum, the largest programmable decentralized trust network, and unbundles the trust layer of Ethereum so components of the trust network can be reused for other purposes.
  • Taiko - Taiko is a fully decentralized, Ethereum-equivalent ZK-Rollup (a Type 1 ZK-EVM).
  • Stark.net
  • Eigen Layer - Eigen layer is a general-purpose marketplace for decentralized trust, which is built on Ethereum, the largest programmable decentralized trust network, and unbundles the trust layer of Ethereum so components of the trust network can be reused for other purposes.
  • Arbitrum Nova - Arbitrum Nova is a suite of Ethereum scaling solutions that enable high-throughput, low-cost smart contracts while remaining trustlessly secure.
  • Coingecko - list of top Zero Knowledge Coins by Coingecko.
  • Qredo

• Tutorials

  • Zero Knowledge on Casper - implementing ZK on Casper using risc0.
  • A Practical Guide To Building Zero Knowledge dApps - tutorial by Kendrick Tan.
  • Circom and SnarkJS tutorial - tutorial how to create Zero Knowledge zkSnark circuit.
  • ZK Learning Resources - materials and demos to learn ZK.
  • Connect RainbowKit with Mantle Testnet - tutorial discussing the code that imports RainbowKit and WAGMI libraries, and sets up a Mantle Testnet environment using Next.js framework.
  • Developer's Guide to Application-Specific Elliptic Curves - article from February 2023.
  • Writing a Zero Knowledge dApp - article from March 2023.
  • Zero knowledge proof circom circuit to determine whether given input is a factor of 9 or not - tutorial by Piash Tanjin from April 2023.
  • Building a Zero Knowledge web app with Halo 2 and Wasm - Part 1 - a-zero-knowledge-web-app-with-halo-2-and-wasm-part-2-379477444dc3) - article by Yu Jiang Tham from April 2023.
  • A Guide To Building Your Web3 Project Proposal: ZK Edition - article by Mina Foundation from May 2023.
  • Zero knowledge rollup using circom for beginner - tutorial by Victor Yeo from May 2023.
  • How To Create a ZK Smart Contract - tutorial by Alex Roan from June 2023.
  • Deploy a Zero-Knowledge Smart Contract - tutorial by John Reynolds from June 2023.
  • How to Use Zero Knowledge Dapp Boilerplate
  • ZK Machine Learning - A tutorial and demo by Horace Pan, Francis Ho, and Henri Palacci.
  • Anatomy of a STARK - six-part tutorial about the STARK proof system by Alan Szepieniec.
  • Libsnark Tutorial - basics of the libsnark software library for creating zk-SNARKs.
  • RollupNC Tutorial - tutorial how to build RollupNC.
  • Zero Knowledge Proofs - Zero Knowledge Proofs and how they can be implemented in Quorum.
  • Libsnark Tutorial - basics of the libsnark software library for creating zk-SNARKs.
  • How To Create a ZK Smart Contract - tutorial by Alex Roan from June 2023.
  • Build a zkSNARK-based Battleship Game on Bitcoin - tutorial learning how to build a zkSnark app.

• Upcoming events

  • DevCon 2024 - Devcon for new Ethereum explorers in South East Asia, 2024.
  • ETHDenver - yearly Ethereum event on February/March 2025 in Denver, United States.
  • EthPrague 2025 - conference on May 2025 in Prague, Czechia.
  • DappCon 2025 - conference on June 2025 in Berlin, Germany.
  • DevX Global Tour - Regional Hackathons and Guild Events by Polygon since March 2023 until December 2023.
  • Journal of Cryptology Call for Papers: Topical Collection on Modern Zero-Knowledge Protocols - submissions will be open to March 1st, 2024.
  • ETHSeoul 2024 - conference on March 2024 in Seoul, South Korea.
  • RWC 2024 - conference on March 2024 in Toronto, Canada.
  • ZKproof 6 - workshop on May 2024 in Berlin, Germany.
  • The Ethereum Community Conference 2025 - conference in June/July 2025 in Cannes, France.
  • Paris Blockchain Week 2024 - conference on April 2024 in Paris, France.
  • ZH Hack Kraków - hackathon on May 2024 in Kraków, Poland.
  • ETHBerlin - conference on May 2024 in Berlin, Germany.
  • FHE Summit 2024 - summit on July 2024 in Brussels, Belgium.
  • ETHGlobal Brussels - conference on July 2024 in Brussels, Belgium.
  • ETHGlobal Singapore - conference on September 2024 in Singapore.
  • ETHGlobal San Francisco - conference on October 2024 in San Francisco, USA.
  • ETHGlobal Bangkok - conference on November 2024 in Bangkok, Thailand.
  • ZK Hack V - a virtual event featuring workshops and advanced puzzle-solving competitions on November/December 2024.
  • TCC 2024 - conference on December 2024 in Milan, Italy.
  • ZKProof 7 - conference in March 2025 in Sofia, Bulgaria.
  • ETHGlobal Taipei - summit on April 2025 in Taipei, Taiwan.
  • ETHGlobal Cannes - summit on July 2025 in Cannes, France.
  • ETHGlobal New York - summit on August 2025 in New York, United States.
  • ETHGlobal New Delhi - summit on September 2025 in New Delhi, India.
  • World Blockchain Summit 2025 - summit on April 2025 in Dubai, United Arab Emirates.

• YouTube clips

  • Zero-Knowledge Proof (ZKP): How It Works and Why Its Important - Short video created by CoinGecko explaining basics of ZKP.
  • What are Rollups in Crypto? ZKSnarks vs Optimistics Rollups Explained - Short video introducing Rollups.
  • Computer Scientist Explains One Concept in 5 Levels of Difficulty | WIRED - video explaining Zero Knowledge in 5 Levels of Difficulty.
  • Zero Knowledge Proofs - Computerphile - short video explaining Zero Knowledge Proofs by Alberto Sonnino.
  • Introduction to Zero Knowledge Proofs' - Elena Nadolinski - 20 minutes long webinar introducing Zero Knowledge Proofs' by Elena Nadolinski.
  • Zero Knowledge Proof (with Avi Wigderson) - Numberphile - lecture explaining Zero Knowledge Proof by Avi Wigderson from the Institute for Advanced Study, Princeton
  • Zero Knowledge Cryptography Introduction | Solidity Fridays - Workshop from EthSafari in Keny by Tamara Ringas.
  • What to know about Zero Knowledge | Devcon Bogotá - Meeting at Ethereum conference by Ethereum Foundation.
  • ELI5: Zero Knowledge by Wanseob Lim | Devcon Bogotá - lecture given by Wanseob Lim at Devcon Bogotá.
  • Zero Knowledge Proofs and Their Future Applications by Elad Verbin at Web3 Summit 2018 - lecture given by Elad Verbin at Web3 Summit 2018 in Berlin.
  • Zero Knowledge Proof on Casper Network! ZK for dummies - interview with CEO of Odra.dev - Maciej Zieliński about ZKP.
  • Projective Rollups: a class of rollups supporting data projections - explanation of projective rollups and how this class relates to existing rollup categories like zk rollups, optimistic rollups, sovereign rollups as well as sidechains by Sebastien Guillemot.
  • ZK Tech You Should Now - part 1 - series of quick videos explaining SNARKs, STARKs, ZK Rollups and zkApps.
  • What Are Zero-Knowledge Rollups and How Do They Work - simple explanation of the zkRollups.
  • zk-SNARKs Explained - Binance’s Proof of Reserves System - video sortly explaining zk-SNARKs.
  • Delendum - Daniel Kang, Scaling Zero Knowledge Proofs to ImageNet Scale Models - lecture by Daniel Kang.
  • Scaling Ethereum Summit | An Introduction to zkRollup and zkEVM - Haichen Shen - talk by Haichen Shen from Scroll.
  • How Zero Knowledge Proofs Change the Narrative Around Privacy - discussion with Horizen Co-founder Rob Viglione.
  • Session on Privacy and ZKP - lectures by TheIACR from March 2023.
  • Zero knowledge proofs simplified - Paweł Kowalewski - talk by Paweł Kowalewski from May 2023.
  • Jason Morton - What Is Unlocked by Practical Zero-Knowledge Proofs? | EDCON2023 - lecture by Jason Morton from May 2023.
  • Zero knowledge made simple | Justin Thaler - lecture by Justin Thaler from June 2023.
  • Client-side ZK - Dan Tehrani (Personae Labs) - lecture by Dan Tehrani.
  • Zero Knowledge Proofs 101 / Daniel Lumi - lecture by Daniel Lumi.
  • An introduction to Zero-Knowledge Machine Learning / Dcbuilder.eth - lecture by dcbuilder.eth.
  • Eos: Efficient Private Delegation of zkSNARK Provers - Ryan Lehmkuhl - lecture by Ryan Lehmkuhl.
  • The immediate next steps of ZKML - Cathie So | Ethereum Foundation - lecture by Cathie So.
  • Efficient Zero-Knowledge (CHES 2023) - presentations from CHES 2023 from September 2023.
  • ZK Whiteboard Sessions - series of videos explaining all things zero knowledge.
  • Zero-Knowledge Proofs coming to Casper: The Odra Framework - video about Odra Smart contract framework being built on the Casper Network.
  • Scaling Up Blockchains with Zero-Knowledge Proofs - a16z Crypto general partner Ali Yahya speaks with Alex Gluchowski and Alex Vlasov, co-founders of Matter Labs; and Dan Boneh, professor of computer science at Stanford University; about the the "beautiful" technology behind zero-knowledge proofs and how zkSync enables Ethereum to scale in a way that preserves its values of decentralization and security.
  • Bilinear Pairings-based Zero-Knowledge Proofs - Jens Groth, DFINITY - Jens Groth, the member of the ZKProof Steering Committee, presented the framework of bilinear pairings for constructing zero-knowledge proofs at Dfinity conference.
  • Probabilistically Checkable and Interactive Proof Systems (playlist) - informative series of videos by Simons Institute.
  • StarkNet – Scaling with a STARK-Based ZK-Rollup - TOKEN2049 Singapore 2022 - 16 minutes lecture about StarkNet - project based on ZK-Rollup in TOKEN2049 Singapore 2022.
  • ZK-SYNC Interview with Alex Gluchowski - Scaling Ethereum with Zero Knowledge Rollups - interview with Alex Gluchowski - co-founder of ZK-Sync project.
  • Associate Professor Ron Steinfield : Post Quantum ZK proofs and Blockchain applications - a lecture from Algorand Centre of Excellence on Sustainability Informatics for the Pacific (ACE-SIP) Summer School 2023.
  • Snark Design, Part I - series from a16z crypto research talks about Snark survey, rollups and more by Justin Thaler.
  • Arrr ZK Trusted Setup Pirate Chain Capt. Draeth In Miami - interview with discussion on Zero Knowledge proofs trusted setup and misconceptions about it.
  • Zero-Knowledge Proof: PLONK - video by DoraHacks.
  • S21 // Tweet Size Zero-Knowledge Proof Blockchain by Brian McKenna - presentation of the Head of Product of Mina Foundation.
  • STARKDenver Conference 2023 - Defining Onchain Possibilities - lecture from ETHDenver 2023.
  • Pioneering Use Cases of Zero-Knowledge Tech, ZKEX, Holonym, BTQ, and zkLink - panel discussion on the application of ZK at ETHDenver 2023.
  • Private Smart Contracts Using Homomorphic Encryption - Rand Hindi (Zama) - lecture by Rand Hindi from April 2023.
  • ZK Symposium (playlist) - lectures by Scroll.
  • ZK-Actus - Verifiable Financial Contracts - lecture by Mark Greenslade. (09.09.2023)
  • Daniel Wang (Taiko) - A Progressively Hybrid Rollup Design | ETH Singapore - lecture by Daniel Wang from September 2023.
  • Accessing Ethereum historical data with zkProofs: Lido Validators' Balance zkOracle - webinar by Nick Volynkin from September 2023.
  • Zero Knowledge Proofs in Node.JS - Federico Rampazzo - talk about ZK by Federico Rampazzo presented at London Node User Group.
  • Dystopia Labs | Demystifying Zero Knowledge Proofs: How To Build DApps With zk-SNARKs - informative series of videos about building DApps With zk-SNARKs by Elena Nadolinski (CEO of Beanstalk, DevCon Speaker) and Remco Bloemen (Technical Fellow at 0x, ETH Hackathon Speaker).
  • Zero Knowledge Machine Learning - 16 minutes lecture about Machine Learning in ZK at the Ethereum conference.
  • Are Your Zero-Knowledge Proofs Correct? by Jon Stephens | Devcon Bogotá - lecture given by Jon Stephens at Devcon Bogotá.
  • Zero Knowledge Proof Study Group (playlist) - lectures by Bitcoin Class with Satoshi.
  • Zero Knowledge Programming with TypeScript - Jack Servia | Mina zkApps | Devfolio - lecture about SnarkyJS by Jack Servia.
  • How to build and deploy on-chain AI/ML with zero-knowledge machine learning - lecture from ETHDenver 2023 by Jason Morton.
  • ZKML with EZKL sharing session（EN) - lecture on Zero Knowledge Machine Learning by Jason Morton.
  • SnarkyJS: Recursive ZK Proofs in Typescript - recording from ZKP/Web3 Hackathon from March 2023.
  • How to Create Prover and Verifier App on zkVM - Zero Knowledge Simplified - tutorial by WEB3Dev - Devs in Chains.
  • Scaling Trustless DNN Inference with zkml - Daniel Kang - lecture by Daniel Kang.
  • What is ZKML and how can Devs get involved
  • Folding Circom circuits: a ZKML case study - Dr. Cathie So - lecture by Cathie So.
  • Scaling dApps with Bonsai (RISC Zero @ ETH Waterloo) - lecture from ETH Waterloo 2023.
  • ZKML: Verifiable & Privacy-Preserving Compute in Blockchain - lecture by Cathie So.
  • Building zkApps with Typescript and SnarkyJS on Mina Protocol - workshop by Developer DAO.
  • Building zkApps with TypeScript on Mina (tutorials)
  • tutorial 1
  • SISMO: Redefining Privacy with Zero-Knowledge Proofs - video explaining SISMO.
  • Build a Decentralized Application on Polygon zkEVM part 1 - tutorial by Charming Data.
  • Vitalik Buterin: Zero Knowledge Proofs and Ethereum Update @ Ethereum HK Meetup - 1-hour meetup from 2017 with Vitalik Buterin (founder of Ethereum) speaking about Zero Knowledge Proofs and ZKSnarks.
  • Blockchain-Web3 MOOCs - Lecture 10.3: What is a zk-SNARK? - Part of a larger lecture. Simple, but the in-depth explanation of zk-SNARK with some mathematic notation, but explained as it goes.
  • The PLONK zero-knowledge proof system (playlist) - informative series of videos about PLONK zero-knowledge proof system by David Wong.
  • ZK Study Club - Plonk with Zac Williamson - lecture given by Zac Williamson - founder of Aztec - about the math behind Plonk.
  • PLONK: Privacy in a World of Universal SNARKs - Zac Williamson - another lecture about Plonk given by Zac Williamson.
  • The 9th BIU Winter School on Cryptography - Zero Knowledge (playlist) - informative series of videos about Zero Knowledge from The 9th BIU Winter School on Cryptography.
  • Stacked Garbling for Disjunctive Zero-Knowledge Proofs - lecture given by David Heath, Vladimir Kolesnikov presented at Eurocrypt 2020.
  • Efficient Fully Secure Computation via Distributed Zero-Knowledge Proofs - lecture given by Ariel Nof presented at Asiacrypt 2020.
  • Public-Coin Zero-Knowledge Arguments with (almost) Minimal Time and Space Overheads - lecture presented at TCC 2020.
  • Common Zero-Knowledge Proof Vulnerabilities - lecture about common vulnerabilities found in ZK programs by Dylan Davis.
  • Zero-knowledge proof composition and recursion (playlist) - series about how proof composition and recursion work with different schemes by David Wong.
  • HCPP22 | Ariel Gabizon - Zero-knowledge proofs: From novice to master - lecture from Hackers Congress Paralelni Polis by Ariel Gabizon.
  • Zero-Knowledge Proof: Groth16 - workshop by Alexey Kalmykov.
  • STARKs: a tool for computational integrity - video explaining how STARKs work by Diego Kingston.
  • FRI Mechanics: Folding, Committing, and Batching - talk about FRI Protocol by Paul Gafni.
  • Proving UNSAT in Zero Knowledge - lecture by Ning Luo.
  • Zero Knowledge Proofs: A Technical Deep Dive - webinar by Jim Zhang.
  • ASPLOS'23 - Session 7B - GZKP: A GPU Accelerated Zero-Knowledge Proof System - lecture by Nathan Dautenhahn.
  • The Mathematics behind zkSNARKS - lecture by Mirco Richter.
  • Plonk-DIZK GPU Acceleration - Allen Au, Chengru Zhang (PolyU) - lecture by Allen Au and Chengru Zhang (PolyU).
  • A Unifying Framework for Folding and Accumulation Schemes - Nicolas Mohnblatt (Geometry) - lecture by Nicolas Mohnblatt.
  • Proof Recursion in ZKML - lecture by Cathie So.
  • Computer Scientist Explains One Concept in 5 Levels of Difficulty | WIRED - video explaining Zero Knowledge in 5 Levels of Difficulty.
  • ZK-Actus - Verifiable Financial Contracts - lecture by Mark Greenslade. (09.09.2023)
  • Dystopia Labs | Demystifying Zero Knowledge Proofs: How To Build DApps With zk-SNARKs - informative series of videos about building DApps With zk-SNARKs by Elena Nadolinski (CEO of Beanstalk, DevCon Speaker) and Remco Bloemen (Technical Fellow at 0x, ETH Hackathon Speaker).
  • Zero Knowledge Proof Study Group (playlist) - lectures by Bitcoin Class with Satoshi.
  • Probabilistically Checkable and Interactive Proof Systems (playlist) - informative series of videos by Simons Institute.
  • ZK Symposium (playlist) - lectures by Scroll.
  • The 9th BIU Winter School on Cryptography - Zero Knowledge (playlist) - informative series of videos about Zero Knowledge from The 9th BIU Winter School on Cryptography.
  • The PLONK zero-knowledge proof system (playlist) - informative series of videos about PLONK zero-knowledge proof system by David Wong.