gijsvl / groth-sahai
An implementation of the Groth-Sahai NIZK protocol
☆14Updated 8 years ago
Alternatives and similar repositories for groth-sahai:
Users that are interested in groth-sahai are comparing it to the libraries listed below
- Python implementation of the HydRand protocol☆18Updated 2 years ago
- distributed RSA modulus generation in Rust☆15Updated 2 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆38Updated 4 years ago
- Dynamic Universal Accumulator with Batch Update over Bilinear Groups☆12Updated 3 years ago
- Batch verifier for zkSNARKs☆10Updated last year
- The modular protocol framework based on Universal Composability☆18Updated 4 years ago
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 3 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Updated 9 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆13Updated 5 years ago
- ☆15Updated 3 years ago
- ☆25Updated 6 years ago
- Algorand's reference implementation of bls signature scheme☆13Updated 4 years ago
- ☆22Updated 8 years ago
- We implement Delegatable Anonymous Credentials using Mercurial Signatures☆20Updated 2 years ago
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers.☆62Updated 4 years ago
- Verify your NIPoPoWs efficiently, here☆10Updated 2 years ago
- Implementation of the ZKB++ proof system☆20Updated 5 years ago
- ☆15Updated 5 years ago
- zkSNARKs for Bitcoin transaction inclusion proofs on Ethereum via ZoKrates☆11Updated 5 years ago
- Pixel: Forward secure multi-signatures and threshold signatures☆16Updated 2 years ago
- Efficient Anonymous Tokens with Private Metadata Bit☆13Updated last year
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- Compact Proofs of Retrievability☆14Updated 10 years ago
- A private payment system for Ethereum-based blockchains, with no trusted setup.☆17Updated 3 years ago
- Implements an RSA accumulator in Python☆14Updated 5 years ago
- A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…☆25Updated 11 months ago
- ☆22Updated last month
- ☆11Updated 2 years ago
- Proof of concept snark prover for the minroot vdf.☆11Updated 3 years ago
- A libsnark's tutorial on sudoku☆17Updated 6 years ago