Plonky3 / awesome-plonky3
A curated list of Plonky3 resources, libraries, tools and more.
☆21Updated last month
Alternatives and similar repositories for awesome-plonky3:
Users that are interested in awesome-plonky3 are comparing it to the libraries listed below
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 2 months ago
- Include halo2 example circuits☆87Updated last year
- A curated list of repos related to Circom☆97Updated 2 years ago
- A PoC repo for a HyperNova impl☆83Updated last year
- Circom interpreter to arithmetic circuit description☆53Updated 6 months ago
- ☆73Updated this week
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆48Updated 2 months ago
- My notes related to Cryptography & Zero-Knowledge.☆42Updated last year
- A curated list of awesome things related to learning Circle STARK.☆29Updated last month
- A monorepo of reusable Circom circuits.☆25Updated last week
- ☆61Updated last year
- Introduction to various ZK languages☆59Updated 4 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆77Updated last year
- ream: an Ethereum Beam client written in Rust☆58Updated this week
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆77Updated 3 months ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆92Updated this week
- Email verification circuit in halo2☆68Updated 8 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆111Updated last year
- A course on Halo2 in collaboration with Zircuit☆22Updated 2 months ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆58Updated 4 months ago
- ☆81Updated 4 years ago
- ☆94Updated 7 months ago
- ZKM Development Template/Framework☆24Updated last week
- ☆43Updated this week
- Solidity implementation of Nova proving system verifier☆60Updated last year
- MoonMath Manual notes, exercise solution and extra comments.☆28Updated 9 months ago
- A lattice-based non-interactive folding scheme written in Rust☆65Updated last week
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆38Updated last year
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Benchmarks of popular zkVMs including Jolt☆59Updated 11 months ago