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
  • DAO canon
  • NFT canon
  • Crypto Canon
• Moonmath manual
• Rareskills ZKP book
• ZKP knowledge base: Delendum
• ZKP beginner resources
• Proofs Arguments and Zero Knowledge - Justin Thaler
  • Discord group
• Hash based SNARGs book - Chiesa and Yogev
• Awesome ZKEVM
• Awesome ZKVM
• 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
• Noir
  • Awesome Noir
• Circom: creating zk circuits
  • Circom tutorials by 0xparc
  • Paper
  • Circ compiler
  • circom tutorial
• 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
    • Building and testing with halo2 workshop
    • slides
  • 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
  • Halo2: Zk security book
• Zokrates
• Crrl: Cryptography research library - Thomas Pornin
• Bellman (not updated)
• libsnark in C++
• Snarky frontend
• Constantine
• Cairo
  • Cairo resource
• Plonky3
  • Small fields in P3
  • Brakedown in P3
  • Poseidon2 in P3
  • Audit

Math/Crypto/Lattice libraries

• FLINT - number theory
• CryptoPP
• nalgebra - linear algebra for rust
• NTL lattice lib
• Lazarus rust
• Lazer c++
• Lattice based snarks over libsnark - c++

HW libraries

GPU for ZK

• ICICLE
• SPPARK

learn GPUs/FPGAs

• ICICLE cuda mini course
• tinyGPU - tutorials
• GPU puzzles
• fpga4fun.com

FPGA for ZK

• BLAZE
  • Blaze developer walkthrough