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
Sorting:
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Open source implementation of zkSTARKs in pure Rust☆83Updated last year
- An elastic proof system based on arkworks☆83Updated last year
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆129Updated last year
- Bellman zkSNARK library for community with Ethereum's BN256 support☆161Updated 9 months ago
- C++ elliptic curve library☆134Updated 2 years ago
- Aggregatable Distributed Key Generation☆46Updated 3 years ago
- examples for bellman zk-snarks library☆77Updated 6 years ago
- ☆112Updated last year
- Elliptic curve group traits and utilities.☆94Updated 3 weeks ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆93Updated 2 years ago
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆160Updated 2 years ago
- A library for generating zk-STARKs.☆145Updated 2 years ago
- This repository contains a tutorial on how to build roll_up with Circom☆84Updated 6 years ago
- Communal zk-SNARK MPC for Public Parameters☆144Updated 3 years ago
- FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*☆92Updated last year
- Implementation of the Jubjub elliptic curve group☆121Updated 9 months ago
- Implementation of the Zcash Orchard Protocol☆55Updated last week
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆210Updated last month
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆171Updated last month
- A SNARK using towers of binary fields, implemented in Rust☆108Updated this week
- ☆123Updated 6 months ago
- ☆107Updated last year
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆90Updated 2 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Updated 3 years ago
- fast zksnark prover☆120Updated last year
- ED25519 implementation in Circom☆116Updated last year
- ☆81Updated 4 years ago
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.☆213Updated 3 months ago