awesome-zk

A curated list of awesome ZK resources, libraries, tools and more.
https://github.com/ventali/awesome-zk

Last synced: 4 days ago
JSON representation

Auditing and Consulting
- Other Tools
  - Trail of Bits
  - Least Authority
  - ABDK
  - Taurus
  - Common Prefix
  - Kudelski Security
  - ZK Security
  - Hashcloak
  - ZK Labs
  - Diligence
  - Taurus
Projects
Communities
- Other Tools
Basics
- Mathematical Foundations
Advanced Topics
- Groth16
  - On the Size of Pairing-based Non-interactive Arguments
- Anonymous Zether
  - MANY-OUT-OF-MANY PROOFS
- Quisquis
  - Quisquis: A New Design for Anonymous Cryptocurrencies
- Bulletproofs
  - Bulletproofs: Short Proofs for Confidential Transactions and More
  - Bulletproofs+: Shorter Proofs for Privacy-Enhanced Distributed Ledger
- Network Privacy
- PLONK
  - Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
  - Understanding PLONK
- Halo
  - Recursive Proof Composition without a Trusted Setup
  - Vitalik Buterin: Halo and more: exploring incremental verification and SNARKs without pairings - Proof size reduction
- Quadratic Span Programs
  - Quadratic Span Programs and Succinct NIZKs without PCPs
- Probabilistic Proof Systems
  - Georgetown University COSC 544 Class Notes
- Pinocchio
  - Pinocchio: Nearly Practical Verifiable Computation
- Systems
  - SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
- Zk-VM
  - Introduction to zkEVM
  - ZKVM book
- Elliptic Curve
- Slush: Fractal Scaling
  - Slush, a proposal for Fractal scaling
- DIZK: Distributed ZKP
  - DIZK: A Distributed Zero Knowledge Proof System
- Hash Functions
  - POSEIDON: A New Hash Function for Zero-Knowledge Proof Systems
- Zether
  - Zether: Towards Privacy in a Smart Contract World
Books
- Other Tools
  - Proofs, Arguments, and Zero-Knowledge
  - A Graduate Course in Applied Cryptography
Tools
Validator Services
- Other Tools
  - ZK Validator
Discussions
- Other Tools
Programming Languages
- Language examples
  - zk-languages: A repo with basic example of most ZK languages

Programming Languages

Rust 11 TypeScript 6 C++ 3 Python 2 JavaScript 2 Assembly 1 Circom 1 Solidity 1 Go 1 WebAssembly 1

Categories

Projects 275 Basics 196 Discussions 42 Advanced Topics 25 Tools 17 Auditing and Consulting 11 Communities 9 Books 2 Validator Services 1 Programming Languages 1

Sub Categories

Zk-Applications 154 Other Tools 68 Zk-EVM 59 Zk-Layer1 19 Mathematical Foundations 15 Zk-VM 12 Zk-Layer2 10 Hardware Acceleration 7 Circuit Building Library 6 Computing Infrastructure 5 Trusted Execution Environment (TEE) Based Projects 4 Formal Verification 4 Elliptic Curve 3 Transpiler 3 Network Privacy 3 PLONK 2 Plonk 2 Bulletproofs 2 ECDSA 2 Framework / SDK 2 Halo 2 Hash Functions 1 Quadratic Span Programs 1 Probabilistic Proof Systems 1 Systems 1 Quisquis 1 Anonymous Zether 1 Groth16 1 Privacy Layer 1 Language examples 1 Pinocchio 1 Zether 1 DIZK: Distributed ZKP 1 Slush: Fractal Scaling 1 Fully Homomorphic Encryption (FHE) Based Projects 1

Keywords

zero-knowledge 7 cryptography 6 zero-knowledge-proofs 3 ethereum 3 rust 3 privacy 3 blockchain 3 stark 3 virtual-machine 2 fair-exchange 1 decentralized-internet 1 data-exchange 1 confidentiality 1 wordle 1 game 1 zkml 1 ai 1 starkware 1 starknet 1 solidity-contracts 1 solidity 1 evm-bytecode 1 evm 1 cairo-lang 1 zk-snarks 1 zeth 1 zerocash 1 research-and-development 1 mixer 1 clearmatics-research 1 programming-language 1 compiler 1 verification 1 security 1 circomlib 1 circom 1 zksnarks 1 wasm 1 typescript 1 sdk 1 nodejs 1 javascript 1 aleo 1 zk-starks 1 plonk 1 risc-v 1