A curated list of Plonky3 resources, libraries, tools and more.
☆43Dec 1, 2025Updated 3 months ago
Alternatives and similar repositories for awesome-plonky3
Users that are interested in awesome-plonky3 are comparing it to the libraries listed below
Sorting:
- Rust implementation of KZG point evaluation☆35Feb 16, 2026Updated 3 weeks ago
- Empirical Study of the Prominence of Zero-Knowledge Proof (ZKP) Languages☆22Aug 6, 2025Updated 7 months ago
- A toolkit for polynomial IOPs (PIOPs)☆757Updated this week
- stone-cli is a CLI for proving and verifying Cairo programs.☆24Aug 7, 2025Updated 7 months ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- ☆10Oct 24, 2022Updated 3 years ago
- ☆14May 8, 2025Updated 10 months ago
- A curated list of zkVM, zero-knowledge virtual machine☆304Sep 29, 2025Updated 5 months ago
- ☆14Jun 8, 2025Updated 9 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆56Jun 20, 2024Updated last year
- Foundry project for the RLN☆17Nov 10, 2023Updated 2 years ago
- Initia optimistic rollup Cosmos SDK modules☆16Feb 20, 2026Updated 2 weeks ago
- A curated list of educational materials, guides, and research papers for beginners interested in learning about Fully Homomorphic Encrypt…☆13Aug 8, 2024Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆146Feb 20, 2026Updated 2 weeks ago
- A Fully Homomorphic Encryption Library from Primus☆20Aug 27, 2025Updated 6 months ago
- 📚 Study and resource materials for the bootcamp program, updated weekly.☆14Sep 6, 2024Updated last year
- ☆35Jan 17, 2025Updated last year
- (Deprecated) Demo for Valence ZK programs.☆14May 30, 2025Updated 9 months ago
- ☆18Jul 16, 2025Updated 7 months ago
- ☆21Updated this week
- ☆18Feb 16, 2026Updated 3 weeks ago
- RISC-V prover system for ZKsync OS☆119Updated this week
- A Rust library to interact with ERC-20 contracts using Alloy.☆15Feb 21, 2026Updated 2 weeks ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆136Updated this week
- A performant and modular zkVM framework built for customization and extensibility.☆313Updated this week
- pod2 & spec☆21Updated this week
- A monorepo of reusable crates for zero-knowledge technologies.☆21Feb 8, 2026Updated last month
- ☆16Nov 17, 2024Updated last year
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆42Jun 29, 2025Updated 8 months ago
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- ☆17Mar 18, 2023Updated 2 years ago
- ☆21Aug 23, 2024Updated last year
- Out-of-circuit zkEVM implementation☆79Aug 16, 2024Updated last year
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆161Apr 2, 2025Updated 11 months ago
- 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
- ☆24Mar 2, 2025Updated last year
- ☆176Updated this week
- Cohort 6 of Ethereum Protocol Fellowship☆49Dec 31, 2025Updated 2 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆80Dec 23, 2023Updated 2 years ago