Curated Resources
Our curated resources consist of carefully selected, links, linktrees and other almanacs like “Ingopedia”. These resources are aimed at helping users access high-quality information in a quick and efficient manner.
What you will find here: Links, Linktrees, Almanacs
References
A collection of links and Almanacs breaking down ZKPs and related topics.
- zkProof Standards - Resource
- ZK Mesh - resource
- Zero Knowledge Fm
- Curated list of ZKP implementations
- Awesome - Matter labs - ZK proofs
- Awesome - Mikerah - Privacy on Blockchains
- Awesome - Worldcoin - ZK Machine Learning
- Awesome - ChengYueJia - ZK Verifier
- Resource: Awesome_Plonk
- Resource: Awesome Folding
- ZK research 0x
- ZK canon
- Moonmath manual
- Rareskills ZKP book
- ZKP knowledge base: Delendum
- ZKP beginner resources
- Proofs Arguments and Zero Knowledge - Justin Thaler
- Hash based SNARGs book - Chiesa and Yogev
- Awesome ZKEVM
- Awesome lattice FPGA’s
Libraries
A collection of libraries where you can create a ZKP.
- Rust Cryptographic libraries
- Arkworks
- Lambdaworks by Lambdaclass
- Gnark: in Golang
- Circom: creating zk circuits
- Halo 2 - library
- Halo2 source code guide
- Guide to halo2 API
- Awesome: Halo2
- Halo2 club
- Latest development in Halo2
- Guide to Halo2 source code
- ZK MOOC halo2 circuit building
- Anatomy of proof generation by Scroll (KZG) version
- Halo2 workshop by 0xparc
- lookup args in Halo2
- circuit development in halo2
- Icemelon circuit development tutorial
- Halo2 tutorial: ZK natives
- Getting started with halo2 Axiom
- Halo2 app and wasm 1
- Halo2 app and wasm 2
- Halo2 review
- Automated analysis of halo2 circuits
- halo2 circuitry tutorial
- Zero cost commitments in Halo2
- Splitting and parallelizing proofs in ezkl
- origami folding scheme for halo2 lookup
- Zokrates
- Crrl: Cryptography research library - Thomas Pornin
- Bellman (not updated)
- libsnark in C++
- Snarky frontend
- Constantine
- Cairo