A curated list of awesome ZK resources, libraries, tools and more.
1,594
186 commits
updated Oct 15, 2024
A curated list of awesome ZK resources, libraries, tools and more. For a ZK knowledge base, please see https://github.com/delendum-xyz/zk-knowledge
Join the discussion group chat with other developers and researchers
If you are interested in working together with top experts to explore practical use cases of new research ideas, consider applying to our fellowship program.
More specific to ZK:
| Name | Host Language | Features | GitHub |
|---|---|---|---|
| Libsnark | C++ | General-purpose proof systems, gadget libraries | https://github.com/scipr-lab/libsnark |
| Bulletproofs | Rust | Single-party proofs, online multi-party computation, R1CS | https://github.com/dalek-cryptography/bulletproofs |
| Bellman | Rust | Circuit traits, primitive structures, basic gadget implementations | https://github.com/zkcrypto/bellman |
| gnark | Go | High level API with frontend and backend to design circuits | https://github.com/ConsenSys/gnark |
| Arkworks | Rust | R1CS, curves, Groth16, finite field, curves | https://github.com/arkworks-rs |
| Circomlib | Javascript | Circom templates | https://github.com/iden3/circomlib |
| libSTARK | C++ | ZK-STARK library | https://github.com/elibensasson/libSTARK |
| plonky2 | rust | SNARK implementation based on techniques from PLONK and FRI | https://github.com/mir-protocol/plonky2 |
| plonk | rust | Pure Rust implementation of the PLONK ZKProof System | https://github.com/dusk-network/plonk |
| Spartan | rust | High-speed zkSNARKs without trusted setup | https://github.com/microsoft/Spartan |
| DIZK | Java | Distributed polynomial interpolation, Lagrange polynomials, multi-scalar multiplication | https://github.com/scipr-lab/dizk |
| wasmsnark | Javascript | Generate zkSnark proofs and verify from web browser | https://github.com/iden3/wasmsnark |
| jellyfish | rust | Rust Implementation of the PLONK ZKP System and Extensions | https://github.com/EspressoSystems/jellyfish |
| libiop | C++ | IOP-based zkSNARKs | https://github.com/scipr-lab/libiop |
| Nova | rust | Recursive SNARKs without trusted setup | https://github.com/microsoft/Nova |
| plonky3 | rust | A toolkit for implementing polynomial IOPs (PIOPs), such as PLONK and STARKs | https://github.com/Plonky3/Plonky3 |
184 followers · starred Jul 2022
420 followers · starred Nov 2022
385 followers · starred Mar 2025
83 followers · starred Jun 2022
A curated list of awesome ZK resources, libraries, tools and more.
1,594
186 commits
updated Oct 15, 2024
A curated list of awesome ZK resources, libraries, tools and more. For a ZK knowledge base, please see https://github.com/delendum-xyz/zk-knowledge
Join the discussion group chat with other developers and researchers
If you are interested in working together with top experts to explore practical use cases of new research ideas, consider applying to our fellowship program.
More specific to ZK:
| Name | Host Language | Features | GitHub |
|---|---|---|---|
| Libsnark | C++ | General-purpose proof systems, gadget libraries | https://github.com/scipr-lab/libsnark |
| Bulletproofs | Rust | Single-party proofs, online multi-party computation, R1CS | https://github.com/dalek-cryptography/bulletproofs |
| Bellman | Rust | Circuit traits, primitive structures, basic gadget implementations | https://github.com/zkcrypto/bellman |
| gnark | Go | High level API with frontend and backend to design circuits | https://github.com/ConsenSys/gnark |
| Arkworks | Rust | R1CS, curves, Groth16, finite field, curves | https://github.com/arkworks-rs |
| Circomlib | Javascript | Circom templates | https://github.com/iden3/circomlib |
| libSTARK | C++ | ZK-STARK library | https://github.com/elibensasson/libSTARK |
| plonky2 | rust | SNARK implementation based on techniques from PLONK and FRI | https://github.com/mir-protocol/plonky2 |
| plonk | rust | Pure Rust implementation of the PLONK ZKProof System | https://github.com/dusk-network/plonk |
| Spartan | rust | High-speed zkSNARKs without trusted setup | https://github.com/microsoft/Spartan |
| DIZK | Java | Distributed polynomial interpolation, Lagrange polynomials, multi-scalar multiplication | https://github.com/scipr-lab/dizk |
| wasmsnark | Javascript | Generate zkSnark proofs and verify from web browser | https://github.com/iden3/wasmsnark |
| jellyfish | rust | Rust Implementation of the PLONK ZKP System and Extensions | https://github.com/EspressoSystems/jellyfish |
| libiop | C++ | IOP-based zkSNARKs | https://github.com/scipr-lab/libiop |
| Nova | rust | Recursive SNARKs without trusted setup | https://github.com/microsoft/Nova |
| plonky3 | rust | A toolkit for implementing polynomial IOPs (PIOPs), such as PLONK and STARKs | https://github.com/Plonky3/Plonky3 |
184 followers · starred Jul 2022
420 followers · starred Nov 2022
385 followers · starred Mar 2025
83 followers · starred Jun 2022
