Plonky3 / awesome-plonky3Links
A curated list of Plonky3 resources, libraries, tools and more.
☆28Updated 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:
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆160Updated this week
- Introduction to various ZK languages☆78Updated last month
- Include halo2 example circuits☆90Updated last year
- ☆99Updated last year
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- A lattice-based non-interactive folding scheme written in Rust☆88Updated last week
- ☆56Updated 2 weeks ago
- A curated list of repos related to Circom☆99Updated 2 years ago
- Accelerate Early Stage Programmable Cryptography Talents☆110Updated 10 months ago
- A PoC repo for a HyperNova impl☆83Updated 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☆54Updated 4 months ago
- Circom interpreter to arithmetic circuit description☆55Updated 10 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 2 weeks ago
- Frobenius sumcheck for vectorized boolean ops☆56Updated 3 months ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆82Updated 7 months ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆104Updated last year
- Benchmarks of popular zkVMs including Jolt☆61Updated last year
- ☆76Updated 7 months ago
- ZK proofs for image authenticity☆45Updated last month
- ☆94Updated 11 months ago
- A testing & development environment for Circom.☆113Updated last week
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆63Updated 7 months ago
- Benchmark of multiple zk implementations.☆83Updated 2 years ago
- Proof system backends for OpenVM.☆31Updated last week
- ☆58Updated 2 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆78Updated last month
- Verifiable FHE with GKR☆26Updated 10 months ago
- ☆84Updated 2 years ago
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆28Updated this week