Plonky3 / awesome-plonky3Links
A curated list of Plonky3 resources, libraries, tools and more.
☆33Updated 4 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:
- Include halo2 example circuits☆91Updated last year
- Introduction to various ZK languages☆85Updated last week
- A curated list of repos related to Circom☆100Updated 2 years ago
- A lattice-based non-interactive folding scheme written in Rust☆103Updated 2 weeks ago
- ☆59Updated 2 weeks ago
- Technical documentation of the zkEVM☆91Updated last year
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 5 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- A PoC repo for a HyperNova impl☆83Updated 2 years ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆100Updated last week
- Accelerate Early Stage Programmable Cryptography Talents☆110Updated 11 months ago
- ☆94Updated last year
- Circom interpreter to arithmetic circuit description☆55Updated last year
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆38Updated 2 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 9 months ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆84Updated 8 months ago
- ☆62Updated this week
- ☆120Updated this week
- RISC-V prover system for ZKsync OS☆88Updated this week
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆172Updated this week
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- barretenburg in rust (here we go)☆98Updated last year
- A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.☆30Updated last month
- Verifiable FHE with GKR☆26Updated 11 months ago
- Solidity implementation of Nova proving system verifier☆64Updated last year
- Proof system backends for OpenVM.☆32Updated last week
- Verify a chain of x509 certificates in halo2☆31Updated last year
- ZK Email in Noir☆74Updated 2 months ago