Plonky3 / awesome-plonky3Links
A curated list of Plonky3 resources, libraries, tools and more.
☆27Updated 2 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:
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆156Updated this week
- A lattice-based non-interactive folding scheme written in Rust☆82Updated this week
- Include halo2 example circuits☆89Updated last year
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆108Updated last year
- ☆99Updated 11 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 last year
- Accelerate Early Stage Programmable Cryptography Talents☆110Updated 9 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 7 months ago
- ☆55Updated last week
- A curated list of repos related to Circom☆99Updated 2 years ago
- Circom interpreter to arithmetic circuit description☆55Updated 10 months ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆104Updated last year
- ☆102Updated this week
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆34Updated 2 weeks ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆82Updated 6 months ago
- ☆76Updated 6 months ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆95Updated this week
- RISC-V prover system for ZKsync OS☆79Updated this week
- ☆94Updated 10 months ago
- Benchmark of multiple zk implementations.☆83Updated last year
- ☆61Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆73Updated last week
- ☆127Updated 6 months ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆136Updated last month
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆117Updated this week
- A testing & development environment for Circom.☆113Updated last week
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆131Updated 7 months ago
- A SNARK using towers of binary fields, implemented in Rust☆120Updated last week
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆59Updated 6 months ago