Plonky3 / awesome-plonky3
A curated list of Plonky3 resources, libraries, tools and more.
☆16Updated last month
Alternatives and similar repositories for awesome-plonky3:
Users that are interested in awesome-plonky3 are comparing it to the libraries listed below
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆72Updated last month
- Include halo2 example circuits☆86Updated last year
- A curated list of zkVM, zero-knowledge virtual machine☆149Updated this week
- Circom interpreter to arithmetic circuit description☆53Updated 4 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆120Updated this week
- ☆72Updated 3 weeks ago
- Poseidon hash function implemented in Solidity☆44Updated 5 months ago
- A lattice-based non-interactive folding scheme written in Rust☆57Updated 2 weeks ago
- Introduction to various ZK languages☆58Updated 2 months ago
- Benchmark of multiple zk implementations.☆83Updated last year
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 10 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- A PoC repo for a HyperNova impl☆82Updated last year
- Benchmarks of popular zkVMs including Jolt☆59Updated 9 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆44Updated last week
- A curated list of repos related to Circom☆95Updated 2 years ago
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆13Updated 3 months ago
- ☆82Updated last year
- A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)☆78Updated this week
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆35Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆41Updated 3 weeks ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆26Updated 2 weeks ago
- ☆95Updated 5 months ago
- ☆61Updated 10 months ago
- MoonMath Manual notes, exercise solution and extra comments.☆26Updated 7 months ago
- Technical documentation of the zkEVM☆91Updated 7 months ago
- ☆48Updated this week
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆56Updated 2 months ago
- A course on Halo2 in collaboration with Zircuit☆22Updated 2 weeks ago
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆15Updated last week