nirvantyagi / versa
☆12Updated 2 years ago
Alternatives and similar repositories for versa:
Users that are interested in versa are comparing it to the libraries listed below
- An Efficient and Privacy preserving implementation for the Set membership problem using Rsa Accumulators coupled with Commit-Prove-Snark☆11Updated last year
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆58Updated 4 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆53Updated 11 months ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆39Updated 4 years ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- lattice-based zkSNARKs over libsnark [ISW21]☆32Updated 6 months ago
- Crescent adds privacy to existing credentials with zero-knowledge☆24Updated last week
- A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system☆12Updated last week
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆36Updated last year
- ☆33Updated 2 months ago
- Circom to Gnark Groth16 parser and recursion example☆17Updated 2 months ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆26Updated last year
- A python implementation of sumcheck GKR protocol. Reference: https://eprint.iacr.org/2019/317.pdf☆9Updated 4 years ago
- ☆59Updated 5 months ago
- Elliptic curve search experiments☆35Updated 2 years ago
- ☆51Updated last year
- Libra zero knowledge proof system☆51Updated 2 years ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆59Updated 5 months ago
- ☆39Updated last month
- about finite fields☆9Updated 11 months ago
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆47Updated last month
- Rust Code for CELPC☆20Updated last month
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆17Updated this week
- Testudo: Spartan + Groth16☆52Updated last year
- Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".☆10Updated 11 months ago
- ☆27Updated last week
- ☆11Updated 2 years ago
- ☆24Updated 3 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆90Updated 2 years ago
- ☆107Updated last year