{"id":13449909,"url":"https://github.com/matter-labs/awesome-zero-knowledge-proofs","last_synced_at":"2025-05-14T16:15:23.048Z","repository":{"id":37390848,"uuid":"156949882","full_name":"matter-labs/awesome-zero-knowledge-proofs","owner":"matter-labs","description":"A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).","archived":false,"fork":false,"pushed_at":"2024-09-25T13:04:59.000Z","size":192,"stargazers_count":5477,"open_issues_count":21,"forks_count":866,"subscribers_count":184,"default_branch":"master","last_synced_at":"2025-05-01T13:01:54.351Z","etag":null,"topics":["explaining-snarks","knowledge-proofs","snark","team-crypto","zk-snarks"],"latest_commit_sha":null,"homepage":"","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/matter-labs.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","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":"2018-11-10T05:14:37.000Z","updated_at":"2025-04-30T15:10:05.000Z","dependencies_parsed_at":"2023-02-09T13:00:39.530Z","dependency_job_id":"81f2c12e-508e-4c95-b290-ae1303300875","html_url":"https://github.com/matter-labs/awesome-zero-knowledge-proofs","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/matter-labs%2Fawesome-zero-knowledge-proofs","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/matter-labs%2Fawesome-zero-knowledge-proofs/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/matter-labs%2Fawesome-zero-knowledge-proofs/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/matter-labs%2Fawesome-zero-knowledge-proofs/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/matter-labs","download_url":"https://codeload.github.com/matter-labs/awesome-zero-knowledge-proofs/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":254101581,"owners_count":22014905,"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":["explaining-snarks","knowledge-proofs","snark","team-crypto","zk-snarks"],"created_at":"2024-07-31T07:00:21.624Z","updated_at":"2025-05-14T16:15:23.010Z","avatar_url":"https://github.com/matter-labs.png","language":null,"funding_links":[],"categories":["Learn more about Zero Knowledge Proofs","Mission and vision","Zero-knowledge Proofs and zk-SNARKs","Index","ZKPs","Others","Learn ZK","related awesome lists","Security","GitHub Repositories","1. Introduction","Rollups","Roadmap","miscellaneous","Zero Knowledge Proofs","ZKP Resources","三、实用工具与开发库","Related Lists","Zero-Knowledge-Proofs","Footnotes","Uncategorized","Resources - libraries, tools","Other Lists","网站外链","Proof Systems","Misc","ZKP-based Solutions","Awesome Privacy Engineering [![Awesome](https://awesome.re/badge.svg)](https://awesome.re)","\u003ca name=\"Not%20Set\"\u003e\u003c/a\u003eNot Set"],"sub_categories":["Unofficial Resources","Tools","Other awesomes","Curated Lists for ZKPs","EDEN","Cairo","ZK Rollups","General Introduction","[Algebraic Error Correcting Codes](https://web.stanford.edu/class/cs250/)","1. 零知识证明核心库","Grin/Beam","See Also","Uncategorized","Zero-Knowledge-Proofs","TeX Lists","隐私相关领域法规/条例","Snarkjs: zkSNARK implementation in JavaScript \u0026 WASM","Basic Zero-knowledge Proofs","Other Awesome Privacy Curations","Zero-Knowledge Proofs"],"readme":"# Awesome zero knowledge proofs (zkp)\n\n\u003e [![Awesome](https://awesome.re/badge.svg)](https://awesome.re)\n\u003e A curated list of awesome things related to learning zero knowledge proofs\n\n## Contents\n\n- [Awesome zero knowledge proofs (zkp)](#awesome-zero-knowledge-proofs-zkp)\n  - [Contents](#contents)\n  - [General introduction](#general-introduction)\n  - [Courses](#courses)\n  - [Use cases](#use-cases)\n  - [Applications](#applications)\n    - [Ethereum](#ethereum)\n    - [Other blockchains](#other-blockchains)\n    - [Non-blockchain](#non-blockchain)\n  - [Comparison of the most popular zkp systems](#comparison-of-the-most-popular-zkp-systems)\n  - [Bulletproofs](#bulletproofs)\n    - [Try](#try)\n    - [Proof system implementations](#proof-system-implementations)\n    - [Halo](#halo)\n  - [SNARKs](#snarks)\n    - [Learn](#learn)\n    - [Try](#try-1)\n    - [Scaling the prover](#scaling-the-prover)\n    - [Multi-Party Ceremony (MPC) for Trusted Setup](#multi-party-ceremony-mpc-for-trusted-setup)\n  - [SNORKs](#snorks)\n    - [Sonic](#sonic)\n    - [PLONK](#plonk)\n    - [Marlin](#marlin)\n  - [STARKS](#starks)\n    - [Learn](#learn-1)\n    - [FRI-STARKs](#fri-starks)\n    - [SuperSonic](#supersonic)\n    - [Fractal](#fractal)\n  - [Social media](#social-media)\n\n## General introduction\n\n[Zero-Knowledge Proofs Starter Pack](https://ethresear.ch/t/zero-knowledge-proofs-starter-pack/4519): alternative introductory list for beginners (more videos).\n\n- [Zero Knowledge Proofs: An illustrated primer by Matthew Green](https://blog.cryptographyengineering.com/2014/11/27/zero-knowledge-proofs-illustrated-primer/)\n- [Demystifying zero-knowledge proofs](https://docs.google.com/presentation/d/1gfB6WZMvM9mmDKofFibIgsyYShdf0RV_Y8TLz3k1Ls0/edit#slide=id.p) ([video](https://www.youtube.com/watch?v=_6TqUNVLChc)) (math-heavy, awesome introduction into underlying cryptography)\n- [Introduction to SNARKs/STARKs by Eli Ben-Sasson](https://www.youtube.com/watch?v=VUN35BC11Qw) (YouTube)\n- [On Interactive Proofs and Zero-Knowledge: A Primer](https://medium.com/magicofc/interactive-proofs-and-zero-knowledge-b32f6c8d66c3)\n- [ZK Basics Cheatsheet](https://github.com/baro77/ZKbasicsCS) - a \"for (not too much) dummies\" poster, trying to not miss core concepts despite the simplified approach and topics selection\n- [A Non-Mathematical Introduction to Zero Knowledge Proof](https://mirror.xyz/krinza.eth/5_Cr91cBK3XdkeHPQ9yjc7z_4NoTNxyqBiM4Jz4d5VE) - a ZKP primer for those who flunked algebra\n\n[ZK whiteboard sessions by ZK Hack](https://zkhack.dev/whiteboard/):\n\n- [Part 1: What is a SNARK?](https://zkhack.dev/whiteboard/module-one/)\n- [Part 2: Building a SNARK (Part 1):](https://zkhack.dev/whiteboard/module-two/)\n- [Part 3: Building a SNARK (Part 2)](https://zkhack.dev/whiteboard/module-three/)\n- [Part 4: SNARKS vs. STARKS](https://zkhack.dev/whiteboard/module-four/)\n- [Part 5: PLONK and Custom Gates with Adrian Hamelink](https://zkhack.dev/whiteboard/module-five/)\n- [Part 6: Lookup Arguments for Performance Optimisation](https://zkhack.dev/whiteboard/module-six/)\n- [Part 7: Zero Knowledge Virtual Machines (zkVM)](https://zkhack.dev/whiteboard/module-seven/)\n- [Part 8: Achieving Decentralised Private Computation](https://zkhack.dev/whiteboard/module-eight/)\n- [Part 9: Introduction to zkRollups](https://zkhack.dev/whiteboard/module-nine/)\n\nA Hands-On Tutorial for Zero-Knowledge Proofs by Shir Peled (StarkWare):\n\n- [Part I](https://www.shirpeled.com/2018/09/a-hands-on-tutorial-for-zero-knowledge.html)\n- [Part II](https://www.shirpeled.com/2018/10/a-hands-on-tutorial-for-zero-knowledge.html)\n- [Part III](https://www.shirpeled.com/2018/10/a-hands-on-tutorial-for-zero-knowledge_2.html)\n- [Appendix](https://www.shirpeled.com/2018/10/a-hands-on-tutorial-for-zero-knowledge_4.html)\n\nZero-Knowledge Proofs for Engineers (Dark Forest)\n\n- [Part I](https://blog.zkga.me/intro-to-zksnarks)\n- [Part II](https://blog.zkga.me/df-init-circuit)\n\nMore complete curated list of implementations and scientific resources:\n[https://zkp.science](https://zkp.science)\n\n## Courses\n\n- [The 9th BIU Winter School on Cryptography: Zero Knowledge](https://cyber.biu.ac.il/event/the-9th-biu-winter-school-on-cryptography/)\n- [UIUC: ECE498AC/CS498AM: Applied Cryptography, Fall 2019](http://soc1024.ece.illinois.edu/teaching/ece498ac/fall2019/)\n- [Zero Knowledge Proof, MOOC Spring 2023](https://zk-learning.org/)\n- [[MIT IAP 2023] Modern Zero Knowledge Cryptography](https://zkiap.com/)\n\n## Use cases\n\n- [Awesome Privacy on Blockchains](https://github.com/Mikerah/awesome-privacy-on-blockchains)\n\n## Applications\n\n### Ethereum\n\n- [ZK Sync](https://medium.com/matter-labs/introducing-zk-sync-the-missing-link-to-mass-adoption-of-ethereum-14c9cea83f58) by [Matter Labs](https://matter-labs.io)\n  - [ZK SDK](https://zksync.io)\n  - [ZK Sync code](https://github.com/matter-labs/zksync)\n- [SNARK-based permissioned database: rollup by BarryWhitehat](https://github.com/barryWhiteHat/roll_up)\n- [Gnosis dFusion: DEX on SNARKs](https://github.com/gnosis/dex-research/tree/master/dFusion)\n- [Loopring DEX Protocol (v3)](https://github.com/Loopring/protocols/blob/master/packages/loopring_v3/DESIGN.md)\n- [zkPoD: A Practical Decentralized System for Data Exchange](https://github.com/sec-bit/zkPoD-node)\n- [Dark Forest: zkSNARK space warfare strategy game](https://zkga.me/)\n\n### Other blockchains\n\n- [Zcash: Privacy-Protecting Digital Currency](https://z.cash) (SNARKs)\n  - [Community Chat](https://discord.com/invite/zcash)\n  - [Forums](https://forum.zcashcommunity.com)\n- [Monero: Private Digital Currency](https://www.getmonero.org) (Bulletproofs)\n- [Mina Protocol: A Constant-Size Blockchain](https://minaprotocol.com/) (recursive SNARKs)\n  - [YouTube introduction](https://www.youtube.com/watch?v=qCVACpgQSjo)\n- [Grin: Simple, privacy-focused, scalable MimbleWimble chain implementation](https://grin.mw/) (Bulletproofs)\n- [Beam: Private and Scalable Coin based on MimbleWimble](https://www.beam.mw)\n- [Namada: Asset Agnostic, Multichain privacy](https://namada.net/) (SNARKs)\n  - [Youtube Introduction](https://youtu.be/F2cPd7nwG7A?si=iHw93A3ziLc9neH5)\n  - [Specs Documentation](https://specs.namada.net/masp)\n- [IronFish: Privacy-Preserving Regulatory-Friendly Cryptocurrency Platform](https://ironfish.network/use/get-started/get-started) (Groth16 zk-SNARKs)\n  - [Whitepaper](https://ironfish.network/learn/whitepaper)\n  - [Community Chat](https://discord.ironfish.network/)\n  - [YouTube Channel](https://www.youtube.com/@ironfishnetwork)\n- [succinct: Write ZKPs with Rust using SP1, a performant, open-source zkVM and generate proofs in 1-click on Succinct’s decentralized prover network](https://succinct.xyz/)\n  - [document](https://succinctlabs.github.io/sp1/)\n- [Valida： Valida is a STARK-based virtual machine，The VM has a RISC-inspired instruction set，The VM is designed to be customizable. It can easily be extended to include an arbitrary number of user-defined instructions](https://github.com/valida-xyz/valida)\n- [Nexus zkVM:  Nexus is a modular, extensible, open-source, highly-parallelized, prover-optimized, contributor-friendly, zkVM written in Rust, focused on performance and security.](https://nexus.xyz/)\n\n### Non-blockchain\n\n- Zero-Knowledge Machine Learning - [awesome-zkml](https://github.com/worldcoin/awesome-zkml)\n- [zk-email](https://github.com/zkemail)\n- [Proof of Passport](https://github.com/zk-passport/proof-of-passport)\n- [Semaphore](https://github.com/semaphore-protocol/semaphore)\n\n## Comparison of the most popular zkp systems\n\n|                                       | SNARKs                     | STARKs                        | Bulletproofs    |\n| ------------------------------------: | -------------------------: | ----------------------------: | --------------: |\n| Algorithmic complexity: prover        | O(N * log(N))              | O(N * poly-log(N))            | O(N * log(N))   |\n| Algorithmic complexity: verifier      | ~O(1)                      | O(poly-log(N))                | O(N)            |\n| Communication complexity (proof size) | ~O(1)                      | O(poly-log(N))                | O(log(N))       |\n| - size estimate for 1 TX              | Tx: 200 bytes, Key: 50 MB  | 45 kB                         | 1.5 kb          |\n| - size estimate for 10.000 TX         | Tx: 200 bytes, Key: 500 GB | 135 kb                        | 2.5 kb          |\n| Ethereum/EVM verification gas cost    | ~600k (Groth16)            | ~2.5M (estimate, no impl.)    | N/A             |\n| Trusted setup required?               | YES :unamused:             | NO :smile:                    | NO :smile:      |\n| Post-quantum secure                   | NO :unamused:              | YES :smile:                   | NO :unamused:   |\n| Crypto assumptions                    | DLP + secure bilinear pairing :unamused:          | Collision resistant hashes :smile: | Discrete log :smirk: |\n\n## Bulletproofs\n\n- [Introduction and collection of resources](https://crypto.stanford.edu/bulletproofs/)\n- [From Zero (Knowledge) to Bulletproofs](https://github.com/AdamISZ/from0k2bp) - a long and very nice gradual explanation\n- [Bulletproofs](http://sikoba.com/docs/SKOR_DK_Bulletproofs_201905.pdf) - succinct and complete description of the protocol\n\n### Try\n\n- [Implementation in Haskell](https://github.com/adjoint-io/bulletproofs)\n- [Implementation in Rust](https://github.com/dalek-cryptography/bulletproofs)\n- [Implementation in C](https://github.com/Tongsuo-Project/Tongsuo)\n\n### Proof system implementations\n\n- [Programmable Constraint Systems for Bulletproofs](https://medium.com/interstellar/programmable-constraint-systems-for-bulletproofs-365b9feb92f7)\n\n### Halo\n\n- [Halo: Recursive bullet proof composition](https://www.coindesk.com/you-can-now-prove-a-whole-blockchain-with-one-math-problem-really)\n\n## SNARKs\n\n\u003e SNARK = **S**uccinct **N**on-interactive **AR**guments of **K**nowledge\n\n### Learn\n\nGet started:\n\n- [Introduction to zk-SNARKs with examples](https://consensys.io/blog/introduction-to-zk-snarks)\n- [What are zk-SNARKs (Zcash blog)](https://z.cash/technology/zksnarks)\n- [BabySNARK- The simplest possible SNARK for NP. You know, for kids!](https://github.com/initc3/babySNARK)\n- [The MoonMath Manual to zk-SNARKs (A free learning resource for beginners to experts)](https://leastauthority.com/community-matters/moonmath-manual/)\n\nWhy and How zk-SNARK Works:\n\n- [Why and How zk-SNARK Works 1: Introduction \u0026 the Medium of a Proof](https://medium.com/@imolfar/why-and-how-zk-snark-works-1-introduction-the-medium-of-a-proof-d946e931160)\n- [Why and How zk-SNARK Works 2: Proving Knowledge of a Polynomial](https://medium.com/@imolfar/why-and-how-zk-snark-works-2-proving-knowledge-of-a-polynomial-f817760e2805)\n- [Why and How zk-SNARK Works 3: Non-interactivity \u0026 Distributed Setup](https://medium.com/@imolfar/why-and-how-zk-snark-works-3-non-interactivity-distributed-setup-c0310c0e5d1c)\n- [Why and How zk-SNARK Works 4: General-Purpose Computation](https://medium.com/@imolfar/why-and-how-zk-snark-works-4-general-purpose-computation-dcdc8081ee42)\n- [Why and How zk-SNARK Works 5: Variable Polynomials](https://medium.com/@imolfar/why-and-how-zk-snark-works-5-variable-polynomials-3b4e06859e30)\n- [Why and How zk-SNARK Works 6: Verifiable Computation Protocol\n](https://medium.com/@imolfar/why-and-how-zk-snark-works-6-verifiable-computation-protocol-1aa19f95a5cc)\n- [Why and How zk-SNARK Works 7: Constraints and Public Inputs](https://medium.com/@imolfar/why-and-how-zk-snark-works-7-constraints-and-public-inputs-e95f6596dd1c)\n- [Why and How zk-SNARK Works 8: Zero-Knowledge Computation](https://medium.com/@imolfar/why-and-how-zk-snark-works-8-zero-knowledge-computation-f120339c2c55)\n\nZkStudyClub:\n\n- [ZkStudyClub Part 1: Polynomial Commitments with Justin Drake](https://www.youtube.com/watch?v=bz16BURH_u8)\n- [ZkStudyClub Part 2: Polynomial Commitments with Justin Drake](https://www.youtube.com/watch?v=BfV7HBHXfC0)\n- [ZkStudyClub Part 3: Polynomial Commitments with Justin Drake](https://www.youtube.com/watch?v=TbNauD5wgXM)\n\nElectric Coin blog series:\n\n- [Explaining SNARKs Part I: Homomorphic Hidings](https://electriccoin.co/blog/snark-explain/)\n- [Explaining SNARKs Part II: Blind Evaluation of Polynomials](https://electriccoin.co/blog/snark-explain2/)\n- [Explaining SNARKs Part III: The Knowledge of Coefficient Test and Assumption](https://electriccoin.co/blog/snark-explain3/)\n- [Explaining SNARKs Part IV: How to make Blind Evaluation of Polynomials Verifiable](https://electriccoin.co/blog/snark-explain4/)\n- [Explaining SNARKs Part V: From Computations to Polynomials](https://electriccoin.co/blog/snark-explain5/)\n- [Explaining SNARKs Part VI: The Pinocchio Protocol](https://electriccoin.co/blog/snark-explain6/)\n- [Explaining SNARKs Part VII: Pairings of Elliptic Curves](https://electriccoin.co/blog/snark-explain7/)\n\nVitalik Buterin's blog series on SNARKs:\n\n- [Part 1: Quadratic Arithmetic Programs: from Zero to Hero](https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649)\n- [Part 2: Exploring Elliptic Curve Pairings](https://medium.com/@VitalikButerin/exploring-elliptic-curve-pairings-c73c1864e627)\n- [Part 3: Zk-SNARKs: Under the Hood](https://medium.com/@VitalikButerin/zk-snarks-under-the-hood-b33151a013f6)\n\nProtocol descriptions:\n\n- [zkSNARKs in a Nutshell](https://chriseth.github.io/notes/articles/zksnarks/zksnarks.pdf)\n- [Groth16 protocol](https://eprint.iacr.org/2016/260.pdf) (original paper)\n- [Zcash Sapling protocol spec](https://github.com/zcash/zips/blob/master/protocol/protocol.pdf) (very useful as detailed cheat-sheet of all cryptography used)\n\nOxPARC learning group:\n\n- [Circom](https://learn.0xparc.org/circom)\n- [Halo2](https://learn.0xparc.org/halo2)\n\n### Try\n\n- [libsnark (C++)](https://github.com/scipr-lab/libsnark)\n  - [great tutorial](https://github.com/christianlundkvist/libsnark-tutorial)\n- [bellman (rust)](https://github.com/zkcrypto/bellman/)\n  - [demo circuit](https://github.com/ebfull/bellman-demo)\n- [jsnark (Java, bindings to libsnark)](https://github.com/akosba/jsnark)\n- [snarky (Ocaml, from O(1) labs, team behind Mina Protocol)](https://github.com/o1-labs/snarky)\n- [zokrates (toolbox for zkSNARKs on Ethereum)](https://github.com/Zokrates/ZoKrates)\n  - [ZoKrates Remix plugin tutorial](https://medium.com/coinmonks/zokrates-zksnarks-on-ethereum-made-easy-8022300f8ba6)\n  - [Zero Knowledge Proof Application Demo, with libsnarks, truffle and docker](https://medium.com/hackernoon/zero-knowledge-proof-application-demo-2a457cfc73c1)\n- [ethsnarks by HarryR (alternative toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop)](https://github.com/HarryR/ethsnarks)\n- [gnark - library for zero-knowledge proof protocols written in Go](https://github.com/ConsenSys/gnark)\n- [circom and snarkjs tutorial](https://github.com/iden3/circom_old/blob/master/TUTORIAL.md)\n  - [Roll-up tutorial using Circom and SnarkJS by Ying Tong](https://github.com/therealyingtong/roll_up_circom_tutorial)\n  - [A circuit and zk-snark implement using Circom and SnarkJS by Luozhu](https://github.com/LuozhuZhang/zkps-circuit-snark)\n- [SnarkyJS - a TypeScript framework for writing zk-SNARKs in the browser and developing Snapps for Mina Protocol by O(1) labs - WIP](https://github.com/o1-labs/snarkyjs)\n\n### Scaling the prover\n\n- [DIZK: Java library for distributed zero knowledge proof systems with Apache Spark](https://github.com/scipr-lab/dizk) (see the [research paper](https://eprint.iacr.org/2018/691))\n- [SnarkyGPU: distributed GPU based zkSNARKs prover](https://github.com/matterinc/snarkyGPU) (work in progress)\n\n### Multi-Party Ceremony (MPC) for Trusted Setup\n\n- [“Powers of Tau” protocol for scalable generation of structured reference string](https://eprint.iacr.org/2017/1050)\n- [Implementation of ZCash MPC Ceremony, Part I: \"Powers of Tau\"](https://github.com/ebfull/powersoftau)\n  - [Archived independent implementation in Go](https://github.com/FiloSottile/powersoftau/)\n- [Implementation of ZCash MPC Ceremony, Part I: \"Sapling Circuit\"](https://github.com/zcash-hackworks/sapling-mpc)\n\n## SNORKs\n\n\u003e SNORK = **S**uccinct **N**on-interactive **O**ecumenical (Universal) a**R**guments of **K**nowledge\n\nSNORKs are SNARKs with universal and updateable trusted setup.\n\n### Sonic\n\n- [Introducing Sonic: A Practical zk-SNARK with a Nearly Trustless Setup](https://www.benthamsgaze.org/2019/02/07/introducing-sonic-a-practical-zk-snark-with-a-nearly-trustless-setup/)\n- [Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updateable Structured Reference Strings](https://eprint.iacr.org/2019/099)\n- [Sonic MPC implementation by Matter Labs](https://github.com/matter-labs/alpha_line)\n\n### PLONK\n\n(This is a recent development. Contributions are welcome!)\n\n- [Awesome PLONK](https://github.com/Fluidex/awesome-plonk): A curated list of awesome things related to plonk proof system.\n- [Understanding PLONK by Vitalik Buterin](https://vitalik.eth.limo/general/2019/09/22/plonk.html)\n- [Ignition: Trusted Setup MPC Ceremony for PLONK](https://medium.com/aztec-protocol/aztec-announcing-our-ignition-ceremony-757850264cfe)\n- [Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge](https://eprint.iacr.org/2019/953.pdf)\n\n\n### Marlin\n\n(This is a recent development. Contributions are welcome!)\n\n- [A Marlin is One of the Fastest SNARKs in the Ocean](https://www.benthamsgaze.org/2019/09/19/a-marlin-is-one-of-the-fastest-snarks-in-the-ocean/)\n- [Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS](https://eprint.iacr.org/2019/1047.pdf)\n\n## STARKS\n\n\u003e STARK = **S**uccinct (**S**calable) **T**ransparent **AR**guments of **K**nowledge\n\nSTARKs are SNARKs without Trusted Setup.\n\n### Learn\n\nGet started:\n\n- [STARK @ Home {video playlist}](https://www.youtube.com/playlist?list=PLcIyXLwiPilUFGw7r2uyWerOkbx4GFMXq)\n\n### FRI-STARKs\n\nIntroduction:\n\n- [Transparent Succinct Arguments by Alessandro Chiesa (Oct 2018)](https://gist.github.com/Haseeb-Qureshi/f552fdbbb649ed4bbfeb681beb4091e1)\n- [State of the STARK by Eli Ben-Sasson (Devcon IV, Oct 2018)](https://drive.google.com/file/d/1Osa0MXu-04dfwn1YOSgN6CXOgWnsp-Tu/view) ([video](https://www.youtube.com/watch?v=1KSwVIZ82hs))\n- [Introduction to ZK-STARKs by remco@0x.org](https://hackmd.io/s/rJHYnQ3Z4)\n\nVitalik Buterin's blog series on STARKs:\n\n- [Part I: Proofs with Polynomials](https://vitalik.eth.limo/general/2017/11/09/starks_part_1.html)\n- [Part II: Thank Goodness It's FRI-day](https://vitalik.eth.limo/general/2017/11/22/starks_part_2.html)\n- [Part III: Into the Weeds](https://vitalik.eth.limo/general/2018/07/21/starks_part_3.html)\n\nAcademic resources:\n\n- [The STARK paper](https://eprint.iacr.org/2018/046.pdf)\n- [libstark implementation](https://github.com/elibensasson/libSTARK)\n\nMore resources available at [starkware.co](https://www.starkware.co)\n\n### SuperSonic\n\n(This is a recent development. Contributions are welcome!)\n\n- [Transparent SNARKs from DARK Compilers (Dec 2019)](https://eprint.iacr.org/2019/1229.pdf)\n- [Introducing Sonic: A Practical zk-SNARK with a Nearly Trustless Setup](https://www.benthamsgaze.org/2019/02/07/introducing-sonic-a-practical-zk-snark-with-a-nearly-trustless-setup/)\n\n### Fractal\n\n(This is a recent development. Contributions are welcome!)\n\n- [Fractal: Post-Quantum and Transparent Recursive Proofs from Holography](https://eprint.iacr.org/2019/1076)\n\n## Social media\n\nStay tuned!\n\n- [Awesome zero knowledge twitter list](https://twitter.com/gluk64/lists/awesome-zkp)\n- [Zero-knowledge podcast](https://www.zeroknowledge.fm)\n- [ZKProof, an academic and industry initiative for standardizing Zero Knowledge Proofs](https://zkproof.org/)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmatter-labs%2Fawesome-zero-knowledge-proofs","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmatter-labs%2Fawesome-zero-knowledge-proofs","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmatter-labs%2Fawesome-zero-knowledge-proofs/lists"}