zkcrypto / bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto.
☆58Updated 6 months ago
Alternatives and similar repositories for bulletproofs:
Users that are interested in bulletproofs are comparing it to the libraries listed below
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆57Updated 3 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆85Updated 2 years ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Elliptic curve group traits and utilities.☆95Updated last year
- Composable proof transcripts for public-coin arguments of knowledge☆48Updated 5 months ago
- Aggregatable Distributed Key Generation☆46Updated 2 years ago
- A collection of Paillier cryptosystem zero knowledge proofs☆114Updated last year
- Threshold ECDSA via Triples☆78Updated 10 months ago
- Poseidon hash function☆73Updated last year
- Collection of mathematics routines and cryptography for the twenty-first century☆77Updated this week
- Threshold BLS signatures in Rust☆73Updated 3 years ago
- Rust implementation for zcash/pasta☆82Updated last year
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆195Updated last week
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆158Updated this week
- Network layer for MPC (Secure Multi-Party Computation) based on Tendermint☆102Updated 4 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆52Updated 8 months ago
- State-of-art threshold ECDSA in Rust☆68Updated this week
- R1CS constraints for bits, fields, and elliptic curves☆148Updated last week
- A threshold cryptography library in Rust☆113Updated 7 months ago
- Implementations of popular elliptic curves☆305Updated last year
- BLS Signatures in Rust☆79Updated 2 months ago
- examples for bellman zk-snarks library☆77Updated 6 years ago
- A Rust library for polynomial commitments☆366Updated 2 months ago
- Tutorial for writing constraints in the `arkworks` framework☆222Updated 7 months ago
- An elastic proof system based on arkworks☆80Updated last year
- Traits and utilities for working with finite fields.☆243Updated 6 months ago
- Testudo: Spartan + Groth16☆51Updated 11 months ago
- Prototype implementations of various Collaborative zkSNARKs.☆122Updated 11 months ago
- ☆42Updated 3 years ago
- ☆120Updated 3 months ago