Introduction to various ZK languages
☆88Sep 5, 2025Updated last year
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☆15Oct 28, 2025Updated 11 months ago
- Cutting edge on-chain dark pool☆20Sep 26, 2025Updated last year
- ☆11Jul 24, 2025Updated last year
- ☆14Dec 26, 2024Updated last year
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- ☆11Sep 10, 2024Updated 2 years ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆30Oct 13, 2024Updated 2 years ago
- 🪩 verify plonky3 proofs in plonky2☆20Mar 28, 2024Updated 2 years ago
- Examples of Mastermind implemented in different ZK languages and frameworks.☆19Aug 7, 2026Updated 2 months ago
- bottom text☆16Jan 26, 2024Updated 2 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated last year
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆42Sep 14, 2023Updated 3 years ago
- Source code for all entries from the 2023 ZPrize competition☆26Jan 29, 2026Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Source code for "Building Cryptographic Proofs from Hash Functions"☆238Mar 25, 2026Updated 6 months ago
- ZK Circuit Fuzzer (IEEE S&P'26)☆45Nov 19, 2025Updated 10 months ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- A privacy pool implementation in noir☆18Jul 17, 2025Updated last year
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆23Jul 18, 2025Updated last year
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- Noir + Garaga + Starknet web app tutorial (in-browser proving)☆27Dec 4, 2025Updated 10 months ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆29Apr 4, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆14Apr 3, 2026Updated 6 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆51Jul 5, 2023Updated 3 years ago
- Internal engineering designs☆14May 19, 2026Updated 4 months ago
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆40Sep 7, 2023Updated 3 years ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆114Jan 1, 2026Updated 9 months ago
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆28May 30, 2025Updated last year
- ☆12Oct 4, 2023Updated 3 years ago
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated 2 years ago
- Benchmarks of popular zkVMs including Jolt☆64Apr 19, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- FRI Extended for Data Availability: a FRI-based Data Availability Sampling library, written in Rust.☆16May 12, 2025Updated last year
- ☆32Apr 15, 2024Updated 2 years ago
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆43Jun 29, 2025Updated last year
- ☆24Mar 8, 2024Updated 2 years ago
- A SNARK using towers of binary fields, implemented in Rust .☆140Sep 9, 2025Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆35Sep 13, 2023Updated 3 years ago
- Groth16 over ICICLE☆46Jul 16, 2025Updated last year