Introduction to various ZK languages
☆89Sep 5, 2025Updated 10 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☆15Oct 28, 2025Updated 8 months ago
- Cutting edge on-chain dark pool☆20Sep 26, 2025Updated 9 months ago
- ☆14Dec 26, 2024Updated last year
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated last year
- ☆11Sep 10, 2024Updated last year
- 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.
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- 🪩 verify plonky3 proofs in plonky2☆20Mar 28, 2024Updated 2 years ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆30Oct 13, 2024Updated last year
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated last year
- bottom text☆16Jan 26, 2024Updated 2 years 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 5 months ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆234Mar 25, 2026Updated 3 months ago
- ZK Circuit Fuzzer (IEEE S&P'26)☆45Nov 19, 2025Updated 8 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- A privacy pool implementation in noir☆18Jul 17, 2025Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆23Jul 18, 2025Updated last year
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated last year
- Noir + Garaga + Starknet web app tutorial (in-browser proving)☆27Dec 4, 2025Updated 7 months ago
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆28Apr 4, 2025Updated last year
- ☆14Apr 3, 2026Updated 3 months ago
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆40Sep 7, 2023Updated 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.
- Examples of Mastermind implemented in different ZK languages and frameworks.☆17Mar 26, 2025Updated last year
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆28May 30, 2025Updated last year
- ☆12Oct 4, 2023Updated 2 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
- FRI Extended for Data Availability: a FRI-based Data Availability Sampling library, written in Rust.☆15May 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
- A SNARK using towers of binary fields, implemented in Rust .☆138Sep 9, 2025Updated 10 months ago
- AI Agents on 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.
- ☆24Mar 8, 2024Updated 2 years ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆114Jan 1, 2026Updated 6 months ago
- In-browser ECDSA aggregation using Nova over secp/secq☆35Sep 13, 2023Updated 2 years ago
- Polyhedra ZK knowledge base☆26Oct 28, 2024Updated last year
- Groth16 over ICICLE☆46Jul 16, 2025Updated last year
- Frobenius sumcheck for vectorized boolean ops☆56Jul 1, 2026Updated 3 weeks ago
- A curated list of Zero Knowledge links, mostly focusing on blockchain.☆358Sep 2, 2025Updated 10 months ago