{"id":19368113,"url":"https://github.com/extropyio/awesomezk","last_synced_at":"2026-03-02T11:31:28.324Z","repository":{"id":213503906,"uuid":"734275912","full_name":"ExtropyIO/AwesomeZK","owner":"ExtropyIO","description":"A curated list of ZK and Maths resources","archived":false,"fork":false,"pushed_at":"2023-12-23T08:57:45.000Z","size":27,"stargazers_count":50,"open_issues_count":0,"forks_count":7,"subscribers_count":4,"default_branch":"main","last_synced_at":"2026-02-18T20:31:13.892Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"cc0-1.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/ExtropyIO.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"contributing.md","funding":null,"license":"license","code_of_conduct":"code-of-conduct.md","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-12-21T09:33:57.000Z","updated_at":"2025-10-17T07:02:58.000Z","dependencies_parsed_at":null,"dependency_job_id":"ac80d477-00c5-4f3f-a752-3d36950bbc41","html_url":"https://github.com/ExtropyIO/AwesomeZK","commit_stats":null,"previous_names":["extropyio/awesomezk"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/ExtropyIO/AwesomeZK","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ExtropyIO%2FAwesomeZK","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ExtropyIO%2FAwesomeZK/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ExtropyIO%2FAwesomeZK/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ExtropyIO%2FAwesomeZK/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ExtropyIO","download_url":"https://codeload.github.com/ExtropyIO/AwesomeZK/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ExtropyIO%2FAwesomeZK/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30000029,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-02T11:09:27.951Z","status":"ssl_error","status_checked_at":"2026-03-02T11:08:53.255Z","response_time":60,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"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":[],"created_at":"2024-11-10T08:05:38.301Z","updated_at":"2026-03-02T11:31:28.283Z","avatar_url":"https://github.com/ExtropyIO.png","language":null,"funding_links":[],"categories":["Other Lists"],"sub_categories":["TeX Lists"],"readme":"# AwesomeZK\nA curated list of ZK and Maths resources\n\nTable of Contents\n=================\n* [Maths](#Maths)\n    * [Elliptic Curves](#elliptic-curves)\n    * [Polynomials](#polynomials)\n* [Cryptography](#cryptography)\n* [General ZKP Theory](#general-zkp-theory)\n* [SNARK Theory](#snark-theory)\n* [STARK Theory](#stark-theory)\n* [zkML Theory](#zkml-theory)\n    \n\n\n## Maths\n\n[Moonmath Manual](https://leastauthority.com/community-matters/moonmath-manual/)\n\n[Number Theory](https://explained-from-first-principles.com/number-theory/)\n\n### Elliptic Curves\n[Visualisation](https://curves.xargs.org/?source=post_page-----ee00d6accb4d--------------------------------#finite-field-math) \n\n[Cheat Sheet](https://hackmd.io/@timofey/rJ8HP8Yaj)\n\n[Stanford Course Notes](https://crypto.stanford.edu/pbc/notes/ep/)\n\n### Polynomials\n[Understanding Polynomials](https://www.zkcamp.xyz/blog/you-cant-understand-zkps-without-understanding-polynomials)\n\n[Polynomial Techniques](https://www.youtube.com/watch?v=OqNNDjnCC6c)\n\n[Why Polynomials](https://www.youtube.com/watch?v=iAaSQfZ-2AM)\n\n## Cryptography\n\n[Practical Cryptography for Developers](https://cryptobook.nakov.com/)\n\n\n## Formal Verification\n\n[Horus](https://medium.com/nethermind-eth/introduction-to-horus-part-1-fbc16af3ba67)\n\n\n## General ZKP Theory\n[The Thaler book](https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.html)\n\n[ZK Jargon Disclaimer](https://nmohnblatt.github.io/zk-jargon-decoder/foreword.html)\n\n\n## Polynomial Commitment Schemes\n\n[FRI Study Club](https://drive.google.com/file/d/1TuufbM8py2mGDkjMUg5FWZzw8VqNri4O/view)\n\n[DEEP FRI](https://arxiv.org/abs/1903.12243)\n\n[DEEP FRI STARK@Home](https://www.youtube.com/watch?v=CBw5d520vqk)\n\n\n## SNARK Theory\n[How zkSNARKS Work](https://arxiv.org/pdf/1906.07221.pdf)\n\n[Lets Disect a SNARK -series](https://medium.com/@yujiangtham/lets-dissect-a-zksnark-part-1-a82fc092f58a)\n\n[Lasso and Jolt](https://a16zcrypto.com/posts/article/introducing-lasso-and-jolt/)\n\n[Misconceptions about SNARKS](https://a16zcrypto.com/posts/article/17-misconceptions-about-snarks/)\n\n[R1CS and QAP](https://risencrypto.github.io/R1CSQAP/)\n\n[Collaborative SNARKS project](https://github.com/alex-ozdemir/collaborative-zksnark)\n\n[Collaborative SNARKS](https://morgana-proofs.github.io/mpc-maci/master/chapter-2-preliminaries/collab.html)\n\n[Experimenting with Collaborative SNARKS](https://eprint.iacr.org/2021/1530)\n\n[Using GKR in SNARKS](https://ethresear.ch/t/using-gkr-inside-a-snark-to-reduce-the-cost-of-hash-verification-down-to-3-constraints/7550)\n\n[Vortex - Lattice based SNARK](https://eprint.iacr.org/2022/1633)\n\n[Lambda Works library](https://blog.lambdaclass.com/lambdaworks-or-how-we-decided-to-created-our-zksnarks-library-and-a-stark-prover/)\n\n[Lambda Works - SNARK Arithmetisation](https://blog.lambdaclass.com/arithmetization-schemes-for-zk-snarks/)\n\n## STARK Theory\n\n[STARK white paper](https://eprint.iacr.org/2018/046.pdf)\n\n[STARK introduction](https://www.youtube.com/watch?v=1KSwVIZ82hs)\n\n[Starkware series explaining STARKS](https://medium.com/starkware/tagged/stark-math)\n\n[STARK 101 Playlist](https://www.youtube.com/playlist?list=PLcIyXLwiPilWoXrDbmwHPxaH8Gxk5I_fG)\n\n[Starknet Workshops](https://www.youtube.com/playlist?list=PLcIyXLwiPilV5RBZj43AX1FY4FJMWHFTY)\n\nIntroductory STARK series\n\n    - [Part 1](https://zeroknowledgedefi.com/2021/12/13/starks-i-polynomials-everywhere/)\n\n    - [Part 2](https://zeroknowledgedefi.com/2021/12/26/starks-ii-is-that-a-polynomial/)\n\n\n[STARKS by hand](https://dev.risczero.com/proof-system/stark-by-hand)\n\n[Recursive STARKS](https://medium.com/starkware/recursive-starks-78f8dd401025)\n\n[Arithmetisation in STARKS](https://threesigma.xyz/blog/an-introduction-to-air)\n\n[Periodic constraints](https://blog.lambdaclass.com/periodic-constraints-and-recursion-in-zk-starks/)\n\n[Anatomy of a STARK Series](https://aszepieniec.github.io/stark-anatomy/)\n\n[ethSTARK](https://eprint.iacr.org/2021/582.pdf)\n\n\n## Fiat Shamir\n[Security](https://eprint.iacr.org/2023/1071)\n\n## Lookup Schemes\n\n[A History](https://github.com/ingonyama-zk/papers/blob/main/lookups.pdf)\n\n[Lasso and Jolt](https://a16zcrypto.com/posts/article/introducing-lasso-and-jolt/)\n\n[Updates to Lasso and Jolt](https://a16zcrypto.com/posts/article/boosting-lassojolt/)\n\n[Recent Updates](https://www.youtube.com/watch?v=bPXPIGBo0G0)\n\n## Recursion\n[Recursion with STARKS](https://twitter.com/bobbinth/status/1608690628652838915)\n\n## zkML Theory\n\n## PLONK\n[PLONK By Hand](https://research.metastate.dev/plonk-by-hand-part-1/)\n\n[PLONK Algorithm](https://trapdoortech.medium.com/zkp-plonk-algorithm-introduction-834556a32a)\n\n[FFTs in PLONK](https://twitter.com/rishotics/status/1661276315037622273)\n\n\n## Halo and Halo2\n[Circuits in Halo2](https://jtriley.substack.com/p/constructing-zk-snark-circuits)\n\n## Mina\n[Mina Book](https://o1-labs.github.io/proof-systems/)\n\n## Folding Schemes\n[Protogalaxy](https://eprint.iacr.org/2023/1106)\n\n[SuperNova compared to Pickles and Kimchi](https://twitter.com/bkase_/status/1653419549549809664)\n\n\n\n## Hardware Acceleration\n[FPGA Acceleration](https://blog.janestreet.com/zero-knowledge-fpgas-hardcaml/)\n\n\n## Projects\n\n### zkRollups\n\n### zkVM\n\n[Miden VM](https://0xpolygonmiden.github.io/miden-vm/)\n\n[OlaVM](https://github.com/Sin7Y/olavm)\n\n\n#### Risc Zero\n\n[Risc Zero](https://dev.risczero.com/api)\n\n[Risc Zero Paper](https://dev.risczero.com/proof-system-in-detail.pdf)\n\n\n## zkML\n[Awesome zkML](https://github.com/worldcoin/awesome-zkml)\n\n[Research from PSE Team](https://hackmd.io/@cathie/zkml-research)\n\n## Courses\nBerkley ZKP [MOOC](https://www.youtube.com/@blockchain-web3moocs635)\n\n## Podcasts\n\nZero Knowledge [Podcast](https://zeroknowledge.fm/)\n\nStarknet [podcast](https://starknet.io/what-is-starknet/stark-struck-podcast/)\n\n## Study Club\nZK Hack and ZK Study Club [Videos](https://www.youtube.com/@zeroknowledgefm)\n\nZK Whiteboard [sessions](https://zkhack.dev/whiteboard/)  \n\n[Risc Zero Study Club](https://www.youtube.com/playlist?list=PLcPzhUaCxlCjdhONxEYZ1dgKjZh3ZvPtl)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fextropyio%2Fawesomezk","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fextropyio%2Fawesomezk","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fextropyio%2Fawesomezk/lists"}