{"id":19564299,"url":"https://github.com/quillhash/zero-knowledge-mastery","last_synced_at":"2025-04-08T03:11:53.754Z","repository":{"id":184184677,"uuid":"671448284","full_name":"Quillhash/Zero-Knowledge-Mastery","owner":"Quillhash","description":"This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.","archived":false,"fork":false,"pushed_at":"2024-03-29T14:01:10.000Z","size":2390,"stargazers_count":226,"open_issues_count":2,"forks_count":38,"subscribers_count":8,"default_branch":"main","last_synced_at":"2025-03-31T16:20:26.216Z","etag":null,"topics":["ethereum","zero-knowledge-proofs","zk-snarks","zkp","zksync"],"latest_commit_sha":null,"homepage":"https://www.quillaudits.com/services/zksync-audit","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Quillhash.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2023-07-27T10:41:19.000Z","updated_at":"2025-03-13T05:55:03.000Z","dependencies_parsed_at":null,"dependency_job_id":"4d7d4ffa-7327-43ef-bbcf-fc103a7c5657","html_url":"https://github.com/Quillhash/Zero-Knowledge-Mastery","commit_stats":null,"previous_names":["quillhash/zero-knowledge-mastery"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Quillhash%2FZero-Knowledge-Mastery","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Quillhash%2FZero-Knowledge-Mastery/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Quillhash%2FZero-Knowledge-Mastery/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Quillhash%2FZero-Knowledge-Mastery/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Quillhash","download_url":"https://codeload.github.com/Quillhash/Zero-Knowledge-Mastery/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247767236,"owners_count":20992548,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["ethereum","zero-knowledge-proofs","zk-snarks","zkp","zksync"],"created_at":"2024-11-11T05:21:17.949Z","updated_at":"2025-04-08T03:11:53.746Z","avatar_url":"https://github.com/Quillhash.png","language":null,"readme":"\u003cdiv align=\"center\"\u003e\n  \u003ch1 align=\"center\"\u003e Zero Knowledge Mastery \u003c/h1\u003e\n    \u003cp align=\"center\"\u003e A comprehensive list of resources to master Zero Knowledge Proofs \u003c/p\u003e\n  \u003cp align=\"center\"\u003e\n     \u003ca href=\"https://blog.quillaudits.com/\"\u003e\n      \u003cimg alt=\"Website\" src=\"https://blog.quillaudits.com/media/uploads/2021/10/common-sprite-new-1.png\"\u003e\n    \u003c/a\u003e \n    \u003cbr\u003e\n    \u003cbr\u003e\n    \u003ca href=\"https://twitter.com/Quill_Academy\"\u003e\n      \u003cimg alt=\"Twitter\" src=\"https://img.shields.io/badge/Twitter-%231DA1F2.svg?style=for-the-badge\u0026logo=Twitter\u0026logoColor=white\"\u003e\n    \u003c/a\u003e\n    \u003ca href=\"https://quillaudits.substack.com/\"\u003e\n      \u003cimg alt=\"Substack\" src=\"https://img.shields.io/badge/Substack-%23006f5c.svg?style=for-the-badge\u0026logo=substack\u0026logoColor=FF6719\"\u003e\n    \u003c/a\u003e\n   \n  \u003c/p\u003e                   \n\u003c/div\u003e\n\n![](https://github.com/Quillhash/Zero-Knowledge-Mastery/blob/main/files/Zero%20Knowledge%20Mastery.png)\n\n[Zero-Knowledge_Mastery.pdf](https://github.com/Quillhash/Zero-Knowledge-Mastery/blob/main/files/Zero%20Knowledge%20Mastery.pdf) \n\n## Content\n1. [Introduction](#introduction)\n2. [Mathematical Knowledge](#mathematical-knowledge)\n3. [Courses](#courses)\n4. [Programming languages](#programming-languages) \n5. [Libraries](#libraries) \n6. [Layer1 and Layer2](#layer1-and-layer2) \n7. [Puzzles](#puzzles) \n8. [Books](#books) \n10. [Papers](#papers) \n11. [Application and Use Cases](#application-and-use-cases) \n12. [Opensource Projects](#opensource-projects) \n13. [Tools](#tools) \n14. [Tweets](#tweets)\n15. [Communities](#communities) \n16. [Writeups](#writeups)\n17. [Security](#security)\n\u003cbr\u003e\n\u003cbr\u003e\n\n\n## Introduction\n- [An approximate introduction to how zk-SNARKs are possible](https://vitalik.eth.limo/general/2021/01/26/snarks.html)\n- [zk-SNARK Concepts Explained Like You’re 15](https://sjkelleyjr.medium.com/zk-snark-concepts-explained-like-youre-15-54755f87c6d1)\n- [Computer Scientist Explains One Concept in 5 Levels of Difficulty | WIRED](https://www.youtube.com/watch?v=fOGdb1CTu5c)\n- [How To Create a ZK Smart Contract](https://medium.com/cyfrin/how-to-create-a-zk-smart-contract-cd948a673749)\n- [What Is Zero-knowledge Proof and How Does It Impact Blockchain?](https://academy.binance.com/en/articles/what-is-zero-knowledge-proof-and-how-does-it-impact-blockchain)\n- [Introduction to Zero Knowledge Proofs](https://www.youtube.com/watch?v=BT88s7_VtC8) : Youtube\n- [What to know about Zero Knowledge](https://archive.devcon.org/archive/watch/6/what-to-know-about-zero-knowledge/?tab=YouTube)\n- [A beginner's intro to coding zero-knowledge proofs](https://dev.to/spalladino/a-beginners-intro-to-coding-zero-knowledge-proofs-c56)\n- [ZKPs for Engineers: Introduction](https://blog.zkga.me/intro-to-zksnarks)\n- [Zero Knowledge Proofs: An Illustrated Primer by Matthew Green](https://blog.cryptographyengineering.com/2014/11/27/zero-knowledge-proofs-illustrated-primer/)\n- [Understanding ZKPs Through Illustrated Examples](https://blog.goodaudience.com/understanding-zero-knowledge-proofs-through-simple-examples-df673f796d99)\n- Vitalik Buterin\n  - [Part 1: Proofs with Polynomials](https://vitalik.ca/general/2017/11/09/starks_part_1.html)\n  - [Part 2: Thank Goodness It's FRI-day](https://vitalik.ca/general/2017/11/22/starks_part_2.html)\n  - [Part 3: Into the Weeds](https://vitalik.ca/general/2018/07/21/starks_part_3.html)\n  \n\n\n## Mathematical Knowledge\n- [ZK Primer](https://blog.cryptographyengineering.com/2014/11/27/zero-knowledge-proofs-illustrated-primer)\n- [Polynomials 101](https://www.zkcamp.xyz/blog/you-cant-understand-zkps-without-understanding-polynomials)\n- [Mathematics for ZK](https://www.youtube.com/@lambdaclass/playlists) : Youtube\n- [Quadratic Arithmetic Programs: from Zero to Hero](https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649) : Vitalik Buterin\n- [Introduction to Mathematical Cryptography](https://github.com/isislovecruft/library--/blob/master/cryptography%20%26%20mathematics/An%20Introduction%20to%20Mathematical%20Cryptography%20(2014)%20-%20Hoffstein%2C%20Pipher%2C%20Silverman.pdf)\n- [A Graduate Course in Applied Cryptography](https://crypto.stanford.edu/~dabo/cryptobook/BonehShoup_0_4.pdf)\n- [Modern Computer Algebra](https://maths-people.anu.edu.au/~brent/pd/mca-cup-0.5.9.pdf)\n- [Algebraic Number Theory](https://kashanu.ac.ir/Files/Content/ANT.pdf)\n- [Computational Introduction to Number Theory and Algebra](https://shoup.net/ntb/ntb-v2.pdf)\n- [Lattice Cryptography](https://eprint.iacr.org/2015/939.pdf)\n- [The Mathematics behind zkSNARKS](https://www.youtube.com/watch?v=iRQw2RpQAVc)\n\n\n## Courses\n- [Zero Knowledge Proofs MOOC Videos](https://www.youtube.com/@blockchain-web3moocs635)\n- [ZKP WhiteBoard Sessions](https://zkhack.dev/whiteboard/)\n- [ZK Learning](https://zk-learning.org/)\n- [Zero Knowledge Canon](https://a16zcrypto.com/posts/article/zero-knowledge-canon/)\n- [ZK Battleship sCrypt](https://academy.scrypt.io/)\n- [A Practical Guide To Building Zero Knowledge dApps](https://kndrck.co/posts/practical_guide_build_zk_dapps/)\n- [Getting Started with zkSnarks on ZoKrates](https://blog.gnosis.pm/getting-started-with-zksnarks-zokrates-61e4f8e66bcc)\n- [ZK AUDITING FELLOWSHIP - yacademy](https://yacademy.dev/fellowships/zBlock1/)\n- [0xPARC learning group](https://learn.0xparc.org)\n\n## Programming Languages \n### [Programming Languages in ZKP](https://medium.com/delendum/thoughts-of-programming-languages-in-zkp-c906e96f056e)\n- [Cario](https://cairo-lang.org/docs/)\n- [Circom](https://docs.circom.io/)\n- [Noir](http://noir-lang.org/index.html)\n- [Snarky](https://github.com/o1-labs/snarky)\n- [Zinc](https://github.com/matter-labs/zinc)\n- [ZoKrates](https://zokrates.github.io/)\n- [Leo](https://developer.aleo.org/developer/language/layout/)\n- [Juxiv](https://juvix.readthedocs.io/en/latest/index.html)\n- [zkVM](https://github.com/stellar/slingshot/files/3164245/zkvm-whitepaper-2019-05-09.pdf)\n- [ZKPDL](http://cs.brown.edu/research/brownie/usenix10.pdf)\n- [Lurk](https://github.com/lurk-lang/lurk/blob/master/spec/v0-1.md)\n- [Chiquito](https://github.com/privacy-scaling-explorations/chiquito)\n  \n## Libraries\n- [Libsnark](https://github.com/scipr-lab/libsnark)\n- [Bulletproofs](https://github.com/dalek-cryptography/bulletproofs)\n- [gnark](https://github.com/ConsenSys/gnark)\n- [Bellman](https://github.com/zkcrypto/bellman)\n- [libSTARK](https://github.com/elibensasson/libSTARK)\n- [jellyfish](https://github.com/EspressoSystems/jellyfish)\n- [Arkworks](https://github.com/arkworks-rs)\n- [Circomlib](https://github.com/iden3/circomlib)\n- [DIZK](https://github.com/scipr-lab/dizk)\n- [plonky](https://github.com/mir-protocol/plonky2)\n- [Spartan](https://github.com/microsoft/Spartan)\n- [wasmsnark](https://github.com/iden3/wasmsnark)\n- [libiop](https://github.com/scipr-lab/libiop)\n- [Nova](https://github.com/microsoft/Nova)\n- [SnarkyJS](https://github.com/o1-labs/snarkyjs)\n- [DIZK](https://github.com/scipr-lab/dizk)\n- [halo2-lib](https://github.com/axiom-crypto/halo2-lib)\n\n## Layer1 and Layer2\n### Layer 1 \n- [Iron Fish](https://ironfish.network/)\n- [Mir Protocol](https://mirprotocol.org/blog/Introducing-Mir)\n- [Aleo](https://github.com/AleoHQ/aleo)\n- [Lelantus](https://lelantus.io/)\n- [Mina](https://minaprotocol.com/wp-content/uploads/technicalWhitepaper.pdf)\n- [Neptune](https://neptune.cash/)\n- [Espresso Systems](http://espressosys.com/)\n- [DarkFi](https://dark.fi/)\n- [Zeeka Network](https://hackmd.io/_Sw5u2lUR9GfBV5vwtoMSQ#Zeeka-Network---Whitepaper)\n- [Quark](https://github.com/liamzebedee/quark-blockchain/blob/master/whitepaper.md)\n- [Celo](https://celo.org/)\n\n\n### Layer 2 \n- [Aztec](https://aztec.network/)\n- [StarkNet](https://starkware.co/starknet/)\n- [ZEXE on Plasma](https://devpost.com/software/zexe-on-ethereum)\n- [zkSync](https://zksync.io)\n- [Scroll](https://scroll.io/)\n- [Twilight](https://twilight.finance/)\n- [Polygon Zero](https://polygon.technology/solutions/polygon-zero/)\n- [Polygon Miden](https://polygon.technology/solutions/polygon-miden/)\n- [Taikocha](https://taikocha.in/)\n- [Radius](https://ethresear.ch/t/mev-resistant-zk-rollups-with-practical-vde-pvde/12677)\n- [Orbis](https://linktr.ee/orbisprotocol)\n- [Nightfall](https://github.com/EYBlockchain/nightfall/blob/master/doc/whitepaper/nightfall-v1.pdf)\n\n\n## Puzzles\n- [Let's Hash It Out](https://zkhack.dev/events/puzzle1.html)\n- [Sudoku](https://github.com/nalinbhardwaj/snarky-sudoku)\n- [Battleship](https://xiaohuiliu.medium.com/introducing-zkbattleship-the-worlds-first-interactive-zero-knowledge-proof-tutorial-95d1fc5f65cb)\n- [Incomplete Information Games on Bitcoin](https://xiaohuiliu.medium.com/incomplete-information-games-on-bitcoin-d79408050882)\n- [Dark Forest](https://zkga.me/)\n- [Zordle](https://github.com/nalinbhardwaj/zordle)\n- [Lottery](https://killari.medium.com/zero-knowledge-lottery-437e456dc3f2)\n- [zkAutoChess](https://talk.harmony.one/t/zkautochess-an-on-chain-auto-chess-battle-game/18375)\n- [GoL2](https://github.com/perama-v/GoL2)\n- [Cachebox](https://github.com/qcomps/cachebox)\n- [Exgrasia](https://github.com/nalinbhardwaj/exgrasia)\n- [Crypto Maze](https://www.cryptomaze.app/)\n  \n\n## Books\n- [Proofs, Arguments, and Zero-Knowledge](https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf)\n- [A Graduate Course in Applied Cryptography](http://toc.cryptobook.us/book.pdf)\n- [The MoonMath Manual to zk-SNARKs](https://leastauthority.com/community-matters/moonmath-manual)\n\n\n \n## Papers\n- [Why and How zk-SNARK Works](https://arxiv.org/abs/1906.07221)\n- [zk research](https://zkresear.ch/)\n- [A simplified polynomial protocol for lookup tables](https://eprint.iacr.org/2020/315.pdf)\n- [Dandelion: Redesigning the Bitcoin Network for Anonymity](https://arxiv.org/pdf/1701.04439.pdf)\n\n  \n\n## Application and Use Cases\n- [Checks and balances: Machine learning and zero-knowledge proofs](https://a16zcrypto.com/posts/article/checks-and-balances-machine-learning-and-zero-knowledge-proofs/)\n- [ZK Machine Learning: truly private machine learning, with zk-SNARKs and blockchain](https://github.com/zk-ml/demo)\n- [Reinventing Vulnerability Disclosure using Zero-knowledge Proofs](https://blog.trailofbits.com/2020/05/21/reinventing-vulnerability-disclosure-using-zero-knowledge-proofs/)\n- [Zero Knowledge Proof and its Applications in Bitcoin](https://xiaohuiliu.medium.com/zero-knowledge-proof-and-its-applications-in-bitcoin-aca833d7d745)\n- [Zcash: Privacy-Protecting Digital Currency](https://z.cash/)\n- [Awesome Privacy on Blockchains](https://github.com/Mikerah/awesome-privacy-on-blockchains)\n- [A Flexible Network Approach to Privacy of Blockchain Transactions](https://arxiv.org/pdf/1807.11338.pdf)\n- [Quisquis: A New Design for Anonymous Cryptocurrencies](https://eprint.iacr.org/2018/990.pdf)\n- [Pinocchio: Nearly Practical Verifiable Computation](https://eprint.iacr.org/2013/279.pdf)\n- [Waku: a suite of privacy-preserving, peer-to-peer messaging protocols](https://waku.org)\n- [StealthDrop: Anonymous Airdrops using ZK proofs](https://github.com/nalinbhardwaj/stealthdrop)\n- [zk-NftMint: Mint an NFT if you know a secret](https://github.com/weijiekoh/zknftmint)\n- [Loopring  zkRollup Exchange](https://medium.com/loopring-protocol/loopring-launches-zkrollup-exchange-loopring-io-d6a85beeed21)\n- [zk-SQL: Self-sovereign SQL queries](https://github.com/timoth-y/zk-SQL)\n- [Hyper Oracle: Programmable zkOracle network ](https://www.ora.io/)\n- [Foundation's Proof Market](https://proof.market.nil.foundation)\n- [Integrating Zerocash on Ethereum](https://github.com/clearmatics/zeth)\n\n\n\n## Opensource Projects\n- [ZK EVM](https://t.co/HE4D8lJfkt)\n- [Starknet](https://t.co/8LR9MHvVnV)\n- [ZK Sync](https://t.co/DQpoHdsR0C)\n- [Light Protocol on Solana](https://www.lightprotocol.com/)\n- [Tornado Cash](https://tornado-cash.medium.com/introducing-private-transactions-on-ethereum-now-69fb059a14a1)\n- [ZKaggle](https://ethglobal.com/showcase/zkaggle-70g3b)\n- [ZKPhoto](https://github.com/socathie/zkPhoto)\n\n  \n## Tools\n- [ZK Toolkit](https://github.com/socathie/keras2circom)\n- [hello-noir: Hardhat x Foundry Template](https://github.com/socathie/hello-noir)\n\n  \n\n## Tweets\n- [I spent the past week reading hundreds of resources](https://twitter.com/jarrodWattsDev/status/1674312138402283520)\n- [Solidity devs  do you want to get into ZK but don't know where to start?](https://twitter.com/alexroan/status/1666739234215002119)\n- [ZK Fundamentals: What is proof aggregation, recursion, and composition?](https://twitter.com/tracecrypto1/status/1653007267728355328)\n- [Explain ZK Proofs to someone new to web3](https://twitter.com/a16zcrypto/status/1623742284134252544)\n- [Simplifying zkEVM for a 10year old](https://twitter.com/0xSalazar/status/1605636584631566371)\n- [ZK rollup categorization](https://twitter.com/pseudotheos/status/1622698514475061252)\n- [About zk](https://twitter.com/0xSalazar/status/1587492234223558656)\n- [Here are the best released (and unreleased) ZK projects to keep your eye on](https://twitter.com/milesdeutscher/status/1620799259976007681)\n- [ZK setup process](https://twitter.com/jonataspvt/status/1615524375385763840)\n- [A question on ZK circuit development](https://twitter.com/smpalladino/status/1607483400021241856)\n- [ConsenSys zkEVM is such a giant leap forward for the Ethereum ecosystem, and here’s why…](https://twitter.com/DeclanFox14/status/1602830122796523520)\n- [zk rollups](https://twitter.com/trading_vapor/status/1624002289844252678)\n\n## Communities\n- [ZK Hack](https://discord.gg/rcCjDb8sya) : Discord Server\n- [Zero-knowledge podcast](https://www.zeroknowledge.fm)\n- [ZK Tech](https://www.reddit.com/r/zkTech) : Reddit \n- [0xPARC](https://0xparc.org/) : Supporting the next generation of cryptography-enabled applications.\n- [ZKProof](https://zkproof.org/) : Open-Industry academic initiative\n\n  \n## Writeups \n- [Hickup’s ZK Journey](https://www.notion.so/quillaudits/Hickup-s-ZK-Journey-affa9ce9cdf44a33b3549c37f908521a?pvs=4)\n- [Zero Knowledge Database : Notion ](https://blog.cryptographyengineering.com/2014/11/27/zero-knowledge-proofs-illustrated-primer/)\n- [Zero Knowledge Blog](https://www.zeroknowledgeblog.com)\n  \n## Security\n- [zk Bug Tracker - Github](https://github.com/0xPARC/zk-bug-tracker)\n- [Circom-Pairing: A Million-Dollar ZK Bug Caught Early](https://medium.com/veridise/circom-pairing-a-million-dollar-zk-bug-caught-early-c5624b278f25)\n- [ZK privacy landscape \u003e Zero-knowledge privacy-enhancing solutions](https://github.com/web3privacy/web3privacy/blob/main/ZKprivacylandscape/Readme.md)\n- [DeFi security Summit 2023 - Session 12: Vulnerabilities \u0026 Exploits - Dmitry Khovratovich](https://www.youtube.com/watch?v=r1j3zfjar-4\u0026t=276s)\n\n## Security Firms\n- [Quill Audits](https://www.quillaudits.com/services/zksync-audit)\n- [Diligence](https://consensys.net/diligence/)\n- [Trail of Bits](https://www.trailofbits.com/)\n- [ZK Labs](https://zklabs.io/#audits)\n- [Least Authority](https://leastauthority.com/)\n- [ABDK](https://www.abdk.consulting/)\n- [Kudelski Security](https://kudelskisecurity.com/)\n- [Hashcloak](https://hashcloak.com/)\n- [Taurus](https://blog.taurushq.com/zero-knowledge-security/)\n- [Common Prefix](https://www.commonprefix.com/)\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fquillhash%2Fzero-knowledge-mastery","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fquillhash%2Fzero-knowledge-mastery","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fquillhash%2Fzero-knowledge-mastery/lists"}