Introduction to various ZK languages
☆88Sep 5, 2025Updated 6 months ago
Alternatives and similar repositories for zk-languages
Users that are interested in zk-languages are comparing it to the libraries listed below
Sorting:
- WebGPU MSM implementation☆17Oct 28, 2025Updated 4 months ago
- Noir + Garaga + Starknet web app tutorial (in-browser proving)☆27Dec 4, 2025Updated 3 months ago
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated 9 months ago
- ☆11Sep 10, 2024Updated last year
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆27Apr 4, 2025Updated 11 months ago
- 🪩 verify plonky3 proofs in plonky2☆19Mar 28, 2024Updated last year
- ☆14Dec 26, 2024Updated last year
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆29Oct 13, 2024Updated last year
- bottom text☆16Jan 26, 2024Updated 2 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated 10 months ago
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Sep 14, 2023Updated 2 years ago
- Source code for all entries from the 2023 ZPrize competition☆25Jan 29, 2026Updated last month
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆91Jan 7, 2026Updated 2 months ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆226Dec 4, 2025Updated 3 months ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated last year
- Create a Stark prover & verifier from zero☆69Feb 17, 2026Updated last month
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 8 months ago
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- ☆14May 8, 2025Updated 10 months ago
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆29May 30, 2025Updated 9 months ago
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆40Sep 7, 2023Updated 2 years ago
- ☆12Oct 4, 2023Updated 2 years ago
- Benchmarks of popular zkVMs including Jolt☆64Apr 19, 2024Updated last year
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆42Jun 29, 2025Updated 8 months ago
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated last year
- The registry with Distributed Lab papers☆69Nov 9, 2025Updated 4 months ago
- ☆32Apr 15, 2024Updated last year
- A curated list of Zero Knowledge links, mostly focusing on blockchain.☆355Sep 2, 2025Updated 6 months ago
- A SNARK using towers of binary fields, implemented in Rust .☆132Sep 9, 2025Updated 6 months ago
- Polyhedra ZK knowledge base☆25Oct 28, 2024Updated last year
- Cutting edge on-chain dark pool☆20Sep 26, 2025Updated 5 months ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆114Jan 1, 2026Updated 2 months ago
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated 11 months ago
- ☆23Mar 8, 2024Updated 2 years ago
- In-browser ECDSA aggregation using Nova over secp/secq☆35Sep 13, 2023Updated 2 years ago
- Examples of Mastermind implemented in different ZK languages and frameworks.☆16Mar 26, 2025Updated 11 months ago
- ☆31Feb 19, 2026Updated last month