- zkProof Standards - Resource
- ZK Mesh - resource
- Curated list of ZKP implementations
- Awesome - Matter labs - ZK proofs
- Awesome - Mikerah - Privacy on Blockchains
- Resource: Awesome_Plonk
- Introductory:
- An incomplete guide to zk: why zk matters
- ZKP beginner resources
- Amit Sahai explaining ZK to people of all ages - video
- An introduction to how zk snarks are possible - Vitalik
- ZudoKu - intuitive no-math ZK Primer using Sudokus
- Zk blog
- Zk_primer_1 M.Green
- Zk_primer_2 M.Green
- Interactive_proofs and Zk
- Zk - proofs with examples
- Merkle Trees
- Trusted Setup:
- Vitalik Snark tutorial:
- Vitalik Stark Tutorials:
- STARK Math series:
- Recursive Snarks:
- Zero Knowledge Hands-on:
- Ethereum
- General
- Gaming:
- Comprehensive protocol books:
- ZK Rollups
- Accelerating Zero Knowledge:
- Anatomy of a STARK
- STARK vs SNARK
- STARK Week
- Dmitry Khovratovich notes
- MIT research site
- Why and how Zero knowledge works
- The math behind ZkSNARK - video
- De-mystifying Zk proofs -workshop
- BIU_Crypto_School_2019 -Zero Knowledge
- BIU_Crypto_School_2022 - Advances in Secure computation
- Foundations of Block chains - Tim Roughgarden
- Foundations of probabilistic proofs - Alessandro Chisea
- Basics of zkSTARK and zkSNARK
- An Introduction to Secret-Sharing-Based Secure Multiparty Computation - Daniel Escudero
- Proofs Arguments and Zero Knowledge - Justin Thaler
- This is a regularly updated book, discord zk study club from mid april.
- ZKP - Modular approach -Yuval Ishai
- A review of zk-SNARKS
- Recursive SNARKs - Stanford lecs
- All about Verifiable Delay Functions (VDF's) - VDFresearch
- Chiesea - Thesis - Recursive SNARK
- Berry Lecture Notes
- AppliedZk workshop
- Zk summit videos
- Pinocchio - 2013
- TinyRAM - 2013
- vnTinyRAM - 2014
- Geppetto - 2015
- Buffet - 2015
- Groth -2016
- Ligero - 2017
- ZoKrates - 2018, Code: ZoKrates
- xjSNARK - 2018
- vRAM - 2018
- Bulletproof - 2018
- Hyrax - 2018
- zk-STARK -2018
- Sonic - 2019
- Plonk - 2019
- Plonk high level summary
- Talk: Ariel Gabizon
- Talk: Zac Williamson
- Understanding Plonk - Vitalik
- From AIRs to RAPs - how PLONK-style arithmetization works
- On optimizations of Plonk
- Custom gates on plonk -Do whatever
- Plonk Cafe
- code: Heliaxdev, code: Kobigurkan ,code: ZKgarage, code: Dusknetwork,code: Jellyfish includes plookup ,Resource: Awesome_Plonk
- Resource: Plonk by hand -1 Metastate
- Resource: Plonk by hand -2 Metastate
- Resource: Plonk by hand -3 Metastate
- Resource: Plonk and Plookup Metastate
- Turboplonk
- Custom gates in plonk
- Plonk: Thomas Piellard
- Multi set checks in Plonk and Plookup: Gabizon
- Redshift - 2019
- Spartan - 2019
- Halo - 2019
- Aurora - 2019
- MIRAGE - 2020
- Marlin - 2020
- Fractal -2020
- Lunar - 2020 - Optimizations for Marlin.
- SuperSonic - 2020
- Virgo - 2020, code
- Plookup -2020
- Zilch - 2021, code
- Darlin - 2021,code
- Plonkup -2021
- FFlonk -2021 a FFT friendly Plonk
- Brakedown - 2021
- Nova - 2021, code - Srinath Setty - Talk - Srinath Setty - Video
- Plonky2 - 2022,
- Halo 2 - library
- Gemini - 2022, Arkworks
- An introduction to the theory of finite fields
- MIT lectures -FInite Field arithmetic
- Finite field arithmetic Doche Lange
- An introduction to the Arithmetic of Elliptic curves - Comprehensive series of lectures - Pre req: Galois Theory,
- Elliptic curves Chapter 4 Washington
- Elliptic Curves: MIT lectures
- Corbellini - ECC
- ECC primer
- Silverman - ECC talk
- Faster Point Multiplication on Elliptic Curves with Efficient Endomorphisms
- Solinas - Efficient Arithmetic on Koblitz Curves
- Koblitz curve cryptosystems
- Elliptic Curve Cryptosystems (Koblitz Curves)
- Algorithm to Find Elliptic curves with a subgroup of a given size
- Elliptic curves number theory and cryptography
- Elliptic curve Arithmetic Curve addition - Doche-Lange
- Elliptic Curve Arithmetic Exponentiation -Doche Lange
- Elliptic curves of characteristic 2 or 3 - John Cook
- Addition/Doubling formulae
- Pairings:
- Specific curves
- R1CS constraint system
- Daira Hopwood - Efficient R1CS circuits: Video
- Quadratic Arithmetic programs R1CS 0 to H - Vitalik Buterin
- Aleo - Basics of R1CS Zero Knowledge Proofs: How Cryptographers can prove anything
- Alex Pinto - Constraint system for snarks
- Alex Pinto - How to build QAP
- Alex Pinto - Vanishing polynomial for QAP
- QAP from zero to hero: Vitalik
- R1CS workshop - Mir
- Polynomials and Commitments
- Finite fields and polynomials
- KZG commitments
- Polynomial commitments - Dankrad Feist
- PCS multiproofs using random evaluation - Dankrad Feist
- Schwarz - Zippel Lemma
- Inner product arguments - Dankrad Feist
- New sharding design with tight beacon and shard block integration - Dankrad Feist
- Barycentric low deg check - Dankrad Feist
- Protodanksharding - FAQ Vitalik
- A quick barycentric evaluation tutorial - Vitalik
- Barycentric interpolation - Math Oxford
- Fast KZG proofs
- Amortized KZG - Khovratovich
- Vector Commitments
- FRI Fast Reed Solomon Interactive Oracle Proofs of Proximity
- FFT - Vitalik
- Reed-Solomon code: Vitalik
- FFT Notes
- The Fast Fourier Transform in a Finite Field - Pollard
- Number Theoretic Transform (NTT): Introduction
- NTT with code
- NTL: a library for NTT
- Elliptic Curve Fast Fourier Transform (ECFFT) Part I: Fast Polynomial Algorithms over all Finite Fields: Eli Ben-Sasson et.al
- FFT - Ferror Moreno thesis
- Zcash once again for FFT
- FFT for polynomial multiplication
- Hardware acceleration
- Fast Multi-scalar Multiplication Methods on Elliptic Curves with Precomputation Strategy Using Montgomery Trick
- Faster batch forgery identification See section 4 for MSM, bucket method
- Pippenger's exponentiation algorithm - Bernstein
- Efficient multi-exponentiation
- A Taxonomy of Circuit Languages - Talk - Alex Ozdemir
- Multi-scalar multiplication: state of the art & new ideas with Gus Gutoski
- Improved Fast exponentiations - Bodo Moller
- Fast exponentiation with precomputation - Brickell Gordon et al
- Matter labs -ALgorithms
- Ryah Henry - Thesis
- Hardware acceleration
- A Fast Large-Integer Extended GCD Algorithm and Hardware Design for Verifiable Delay Functions and Modular Inversion
- Optimized Binary GCD for Modular Inversion
- Library of Algorithms
- Modular Multiplication and Hardware implementations - Review
- Evaluation of large integer multiplications in hardware - Review