zkcrypto / bulletproofsLinks
A pure-Rust implementation of Bulletproofs using Ristretto.
☆63Updated 3 weeks ago
Alternatives and similar repositories for bulletproofs
Users that are interested in bulletproofs are comparing it to the libraries listed below
Sorting:
- A Rust library for building R1CS gadgets☆91Updated 3 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆90Updated 2 years ago
- A collection of Paillier cryptosystem zero knowledge proofs☆120Updated 2 years ago
- Elliptic curve group traits and utilities.☆95Updated 5 months ago
- Composable proof transcripts for public-coin arguments of knowledge☆49Updated last year
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆58Updated 4 years ago
- examples for bellman zk-snarks library☆77Updated 6 years ago
- Aggregatable Distributed Key Generation☆49Updated 3 years ago
- An elastic proof system based on arkworks☆85Updated last year
- A threshold cryptography library in Rust☆113Updated 3 months ago
- State-of-art threshold ECDSA in Rust☆98Updated last month
- Poseidon hash function☆76Updated 2 years ago
- Collection of mathematics routines and cryptography for the twenty-first century☆85Updated this week
- Implementations of popular elliptic curves☆309Updated last year
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆225Updated 2 months ago
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.☆217Updated 7 months ago
- Rust implementation for zcash/pasta☆83Updated 5 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆174Updated 6 months ago
- R1CS constraints for bits, fields, and elliptic curves☆181Updated 3 weeks ago
- Threshold ECDSA via Triples☆81Updated last year
- Implementation of the Jubjub elliptic curve group☆122Updated last year
- ☆74Updated 2 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆54Updated last year
- ☆112Updated last year
- Network layer for MPC (Secure Multi-Party Computation) based on Tendermint☆102Updated 4 years ago
- Implementation of the BLS12-381 pairing-friendly elliptic curve group☆347Updated 5 months ago
- ☆42Updated 3 years ago
- Traits and utilities for working with finite fields.☆246Updated 5 months ago
- Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves☆75Updated 2 years ago
- Tutorial for writing constraints in the `arkworks` framework☆246Updated last year