0xPolygonZero / plonky
Recursive SNARKs based on Plonk and Halo
☆116Updated 3 years ago
Alternatives and similar repositories for plonky:
Users that are interested in plonky are comparing it to the libraries listed below
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Aggregatable Distributed Key Generation☆47Updated 2 years ago
- Open source implementation of zkSTARKs in pure Rust☆82Updated last year
- Bellman zkSNARK library for community with Ethereum's BN256 support☆160Updated 7 months ago
- examples for bellman zk-snarks library☆77Updated 6 years ago
- An elastic proof system based on arkworks☆82Updated last year
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆92Updated 2 years ago
- Elliptic curve group traits and utilities.☆94Updated last year
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Updated 2 years ago
- ☆112Updated last year
- ☆119Updated 4 months ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆127Updated last year
- R1CS constraints for bits, fields, and elliptic curves☆154Updated last week
- Communal zk-SNARK MPC for Public Parameters☆144Updated 3 years ago
- A threshold cryptography library in Rust☆112Updated 8 months ago
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆42Updated last year
- Implementation of the Zcash Orchard Protocol☆55Updated 2 weeks ago
- ZKProofs website☆89Updated last year
- C++ elliptic curve library☆134Updated 2 years ago
- FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*☆91Updated last year
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆87Updated 2 years ago
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.☆212Updated last month
- Rust implementation for zcash/pasta☆83Updated last year
- Threshold BLS Signatures and DKG☆76Updated 10 months ago
- ☆81Updated 4 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆53Updated 10 months ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆102Updated 3 years ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆169Updated last week
- Implementation of the Jubjub elliptic curve group☆121Updated 7 months ago
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆103Updated 2 years ago