https://github.com/extropyio/awesomezk
A curated list of ZK and Maths resources
https://github.com/extropyio/awesomezk
List: awesomezk
Last synced: 3 months ago
JSON representation
A curated list of ZK and Maths resources
- Host: GitHub
- URL: https://github.com/extropyio/awesomezk
- Owner: ExtropyIO
- License: cc0-1.0
- Created: 2023-12-21T09:33:57.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2023-12-23T08:57:45.000Z (over 1 year ago)
- Last Synced: 2025-02-16T05:01:43.082Z (3 months ago)
- Size: 26.4 KB
- Stars: 46
- Watchers: 5
- Forks: 6
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Contributing: contributing.md
- License: license
- Code of conduct: code-of-conduct.md
Awesome Lists containing this project
- ultimate-awesome - awesomezk - A curated list of ZK and Maths resources. (Other Lists / Julia Lists)
README
# AwesomeZK
A curated list of ZK and Maths resources
Table of Contents
=================
* [Maths](#Maths)
* [Elliptic Curves](#elliptic-curves)
* [Polynomials](#polynomials)
* [Cryptography](#cryptography)
* [General ZKP Theory](#general-zkp-theory)
* [SNARK Theory](#snark-theory)
* [STARK Theory](#stark-theory)
* [zkML Theory](#zkml-theory)
## Maths
[Moonmath Manual](https://leastauthority.com/community-matters/moonmath-manual/)
[Number Theory](https://explained-from-first-principles.com/number-theory/)
### Elliptic Curves
[Visualisation](https://curves.xargs.org/?source=post_page-----ee00d6accb4d--------------------------------#finite-field-math)
[Cheat Sheet](https://hackmd.io/@timofey/rJ8HP8Yaj)
[Stanford Course Notes](https://crypto.stanford.edu/pbc/notes/ep/)
### Polynomials
[Understanding Polynomials](https://www.zkcamp.xyz/blog/you-cant-understand-zkps-without-understanding-polynomials)
[Polynomial Techniques](https://www.youtube.com/watch?v=OqNNDjnCC6c)
[Why Polynomials](https://www.youtube.com/watch?v=iAaSQfZ-2AM)
## Cryptography
[Practical Cryptography for Developers](https://cryptobook.nakov.com/)
## Formal Verification
[Horus](https://medium.com/nethermind-eth/introduction-to-horus-part-1-fbc16af3ba67)
## General ZKP Theory
[The Thaler book](https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.html)
[ZK Jargon Disclaimer](https://nmohnblatt.github.io/zk-jargon-decoder/foreword.html)
## Polynomial Commitment Schemes
[FRI Study Club](https://drive.google.com/file/d/1TuufbM8py2mGDkjMUg5FWZzw8VqNri4O/view)
[DEEP FRI](https://arxiv.org/abs/1903.12243)
[DEEP FRI STARK@Home](https://www.youtube.com/watch?v=CBw5d520vqk)
## SNARK Theory
[How zkSNARKS Work](https://arxiv.org/pdf/1906.07221.pdf)
[Lets Disect a SNARK -series](https://medium.com/@yujiangtham/lets-dissect-a-zksnark-part-1-a82fc092f58a)
[Lasso and Jolt](https://a16zcrypto.com/posts/article/introducing-lasso-and-jolt/)
[Misconceptions about SNARKS](https://a16zcrypto.com/posts/article/17-misconceptions-about-snarks/)
[R1CS and QAP](https://risencrypto.github.io/R1CSQAP/)
[Collaborative SNARKS project](https://github.com/alex-ozdemir/collaborative-zksnark)
[Collaborative SNARKS](https://morgana-proofs.github.io/mpc-maci/master/chapter-2-preliminaries/collab.html)
[Experimenting with Collaborative SNARKS](https://eprint.iacr.org/2021/1530)
[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)
[Vortex - Lattice based SNARK](https://eprint.iacr.org/2022/1633)
[Lambda Works library](https://blog.lambdaclass.com/lambdaworks-or-how-we-decided-to-created-our-zksnarks-library-and-a-stark-prover/)
[Lambda Works - SNARK Arithmetisation](https://blog.lambdaclass.com/arithmetization-schemes-for-zk-snarks/)
## STARK Theory
[STARK white paper](https://eprint.iacr.org/2018/046.pdf)
[STARK introduction](https://www.youtube.com/watch?v=1KSwVIZ82hs)
[Starkware series explaining STARKS](https://medium.com/starkware/tagged/stark-math)
[STARK 101 Playlist](https://www.youtube.com/playlist?list=PLcIyXLwiPilWoXrDbmwHPxaH8Gxk5I_fG)
[Starknet Workshops](https://www.youtube.com/playlist?list=PLcIyXLwiPilV5RBZj43AX1FY4FJMWHFTY)
Introductory STARK series
- [Part 1](https://zeroknowledgedefi.com/2021/12/13/starks-i-polynomials-everywhere/)
- [Part 2](https://zeroknowledgedefi.com/2021/12/26/starks-ii-is-that-a-polynomial/)
[STARKS by hand](https://dev.risczero.com/proof-system/stark-by-hand)
[Recursive STARKS](https://medium.com/starkware/recursive-starks-78f8dd401025)
[Arithmetisation in STARKS](https://threesigma.xyz/blog/an-introduction-to-air)
[Periodic constraints](https://blog.lambdaclass.com/periodic-constraints-and-recursion-in-zk-starks/)
[Anatomy of a STARK Series](https://aszepieniec.github.io/stark-anatomy/)
[ethSTARK](https://eprint.iacr.org/2021/582.pdf)
## Fiat Shamir
[Security](https://eprint.iacr.org/2023/1071)
## Lookup Schemes
[A History](https://github.com/ingonyama-zk/papers/blob/main/lookups.pdf)
[Lasso and Jolt](https://a16zcrypto.com/posts/article/introducing-lasso-and-jolt/)
[Updates to Lasso and Jolt](https://a16zcrypto.com/posts/article/boosting-lassojolt/)
[Recent Updates](https://www.youtube.com/watch?v=bPXPIGBo0G0)
## Recursion
[Recursion with STARKS](https://twitter.com/bobbinth/status/1608690628652838915)
## zkML Theory
## PLONK
[PLONK By Hand](https://research.metastate.dev/plonk-by-hand-part-1/)
[PLONK Algorithm](https://trapdoortech.medium.com/zkp-plonk-algorithm-introduction-834556a32a)
[FFTs in PLONK](https://twitter.com/rishotics/status/1661276315037622273)
## Halo and Halo2
[Circuits in Halo2](https://jtriley.substack.com/p/constructing-zk-snark-circuits)
## Mina
[Mina Book](https://o1-labs.github.io/proof-systems/)
## Folding Schemes
[Protogalaxy](https://eprint.iacr.org/2023/1106)
[SuperNova compared to Pickles and Kimchi](https://twitter.com/bkase_/status/1653419549549809664)
## Hardware Acceleration
[FPGA Acceleration](https://blog.janestreet.com/zero-knowledge-fpgas-hardcaml/)
## Projects
### zkRollups
### zkVM
[Miden VM](https://0xpolygonmiden.github.io/miden-vm/)
[OlaVM](https://github.com/Sin7Y/olavm)
#### Risc Zero
[Risc Zero](https://dev.risczero.com/api)
[Risc Zero Paper](https://dev.risczero.com/proof-system-in-detail.pdf)
## zkML
[Awesome zkML](https://github.com/worldcoin/awesome-zkml)
[Research from PSE Team](https://hackmd.io/@cathie/zkml-research)
## Courses
Berkley ZKP [MOOC](https://www.youtube.com/@blockchain-web3moocs635)
## Podcasts
Zero Knowledge [Podcast](https://zeroknowledge.fm/)
Starknet [podcast](https://starknet.io/what-is-starknet/stark-struck-podcast/)
## Study Club
ZK Hack and ZK Study Club [Videos](https://www.youtube.com/@zeroknowledgefm)
ZK Whiteboard [sessions](https://zkhack.dev/whiteboard/)
[Risc Zero Study Club](https://www.youtube.com/playlist?list=PLcPzhUaCxlCjdhONxEYZ1dgKjZh3ZvPtl)