slowli / elastic-elgamal
ElGamal encryption and related zero-knowledge proofs
☆15Updated last week
Related projects: ⓘ
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆56Updated 3 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆37Updated 3 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆83Updated last year
- A collection of Paillier cryptosystem zero knowledge proofs☆113Updated last year
- A pure-Rust implementation of Bulletproofs using Ristretto.☆49Updated last month
- Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…☆25Updated last year
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆52Updated 3 months ago
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆24Updated 5 years ago
- lattice-based zkSNARKs over libsnark [ISW21]☆25Updated 3 years ago
- Libra zero knowledge proof system☆47Updated last year
- A Rust library for building R1CS gadgets☆85Updated 2 years ago
- Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders☆63Updated last year
- examples for bellman zk-snarks library☆74Updated 5 years ago
- Elliptic curve pairing in Python☆48Updated 4 years ago
- An Efficient and Privacy preserving implementation for the Set membership problem using Rsa Accumulators coupled with Commit-Prove-Snark☆11Updated 6 months ago
- ☆55Updated last year
- Aggregatable Distributed Key Generation☆45Updated 2 years ago
- A simple Python implementation of threshold BLS signatures.☆39Updated 4 months ago
- ☆32Updated 3 years ago
- A python library for ElGamal-based threshold decryption.☆35Updated 6 months ago
- Testudo: Spartan + Groth16☆52Updated 7 months ago
- Accumulators and Vector Commitments☆42Updated last year
- A library for generating non-interactive proofs of knowledge without trusted setup☆29Updated 5 years ago
- ZKProofs website☆88Updated 10 months ago
- ZPiE: Zero-knowledge Proofs in Embedded systems☆23Updated 10 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆31Updated 9 months ago
- Prototype implementations of various Collaborative zkSNARKs.☆105Updated 6 months ago
- C++ library for IOP-based zkSNARKs☆145Updated 8 months ago
- ☆8Updated 2 years ago
- MPC protocols for threshold ECDSA☆45Updated 7 months ago