Introduction to various ZK languages
☆89Sep 5, 2025Updated 7 months ago
Alternatives and similar repositories for zk-languages
Users that are interested in zk-languages are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WebGPU MSM implementation☆17Oct 28, 2025Updated 5 months ago
- Noir + Garaga + Starknet web app tutorial (in-browser proving)☆27Dec 4, 2025Updated 4 months ago
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated 10 months ago
- ☆11Sep 10, 2024Updated last year
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆27Apr 4, 2025Updated last year
- 🪩 verify plonky3 proofs in plonky2☆19Mar 28, 2024Updated 2 years ago
- ☆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☆42Sep 14, 2023Updated 2 years ago
- Source code for all entries from the 2023 ZPrize competition☆26Jan 29, 2026Updated 2 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆94Jan 7, 2026Updated 3 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Source code for "Building Cryptographic Proofs from Hash Functions"☆227Mar 25, 2026Updated 2 weeks 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☆70Feb 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
- ☆14Apr 3, 2026Updated last week
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆28May 30, 2025Updated 10 months ago
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆40Sep 7, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆12Oct 4, 2023Updated 2 years ago
- Benchmarks of popular zkVMs including Jolt☆64Apr 19, 2024Updated last year
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated last year
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆42Jun 29, 2025Updated 9 months ago
- The registry with Distributed Lab papers☆69Nov 9, 2025Updated 5 months ago
- ☆32Apr 15, 2024Updated last year
- A curated list of Zero Knowledge links, mostly focusing on blockchain.☆355Sep 2, 2025Updated 7 months ago
- A SNARK using towers of binary fields, implemented in Rust .☆134Sep 9, 2025Updated 7 months ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆114Jan 1, 2026Updated 3 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Cutting edge on-chain dark pool☆20Sep 26, 2025Updated 6 months ago
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated 11 months ago
- ☆24Mar 8, 2024Updated 2 years ago
- Polyhedra ZK knowledge base☆26Oct 28, 2024Updated last year
- 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.☆17Mar 26, 2025Updated last year
- ☆31Apr 4, 2026Updated last week