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
- Open source implementation of zkSTARKs in pure Rust☆82Updated last year
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆160Updated 2 years ago
- examples for bellman zk-snarks library☆77Updated 6 years ago
- Aggregatable Distributed Key Generation☆46Updated 3 years ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Updated 2 years ago
- Bellman zkSNARK library for community with Ethereum's BN256 support☆161Updated 8 months ago
- An elastic proof system based on arkworks☆82Updated last year
- C++ elliptic curve library☆134Updated 2 years ago
- Elliptic curve group traits and utilities.☆94Updated last week
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.☆213Updated 2 months ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆130Updated last year
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆89Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- ☆112Updated last year
- R1CS constraints for bits, fields, and elliptic curves☆156Updated last week
- ☆59Updated 5 months ago
- Communal zk-SNARK MPC for Public Parameters☆144Updated 3 years ago
- fast zksnark prover☆119Updated last year
- Threshold BLS Signatures and DKG☆76Updated last week
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆208Updated last month
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆169Updated last month
- Implementation of the Jubjub elliptic curve group☆121Updated 8 months ago
- Threshold ECDSA via Triples☆79Updated last year
- Rust implementation for zcash/pasta☆84Updated last week
- ☆119Updated 4 months ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated last year
- A tool to work with zkSNARK circuits generated by Circom compiler☆102Updated 3 years ago
- ☆72Updated last year
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆257Updated 2 months ago