arkworks-rs / gemini
An elastic proof system based on arkworks
☆82Updated last year
Alternatives and similar repositories for gemini:
Users that are interested in gemini are comparing it to the libraries listed below
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- Poseidon hash function☆75Updated last year
- Elliptic curve group traits and utilities.☆94Updated 2 weeks ago
- ☆40Updated 2 years ago
- ☆33Updated 2 months ago
- Argument systems for inner pairing products☆42Updated 9 months ago
- Rust implementation for zcash/pasta☆84Updated 2 weeks ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆26Updated last year
- Aggregatable Distributed Key Generation☆46Updated 3 years ago
- ☆59Updated 5 months ago
- ☆72Updated 2 years ago
- A SNARK using towers of binary fields, implemented in Rust☆105Updated this week
- ☆112Updated last year
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated last year
- ☆42Updated 3 years ago
- A framework for SPDZ-style maliciously-secure MPC.☆51Updated 3 months ago
- ☆30Updated 3 weeks ago
- ☆50Updated 2 months ago
- ☆19Updated 2 years ago
- Testudo: Spartan + Groth16☆52Updated last year
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆42Updated last year
- Fast implementation of multi-scalar multiplication in WebAssembly☆33Updated 5 months ago
- ☆51Updated last year
- ☆41Updated last year
- Implementation of the Zcash Orchard Protocol☆55Updated last month
- linear-time sumcheck protocol for multilinear polynomials and related addends☆66Updated 7 months ago
- ☆107Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆83Updated 2 months ago
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆210Updated last month
- R1CS constraints for bits, fields, and elliptic curves☆157Updated 2 weeks ago