arkworks-rs / geminiLinks
An elastic proof system based on arkworks
☆84Updated last year
Alternatives and similar repositories for gemini
Users that are interested in gemini are comparing it to the libraries listed below
Sorting:
- Rust implementation for zcash/pasta☆83Updated 2 months ago
- ☆40Updated 2 years ago
- A Rust library for building R1CS gadgets☆91Updated 3 years ago
- ☆42Updated 3 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated 2 years ago
- Aggregatable Distributed Key Generation☆46Updated 3 years ago
- Poseidon hash function☆76Updated 2 years ago
- Argument systems for inner pairing products☆42Updated 11 months ago
- ☆73Updated 2 years ago
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆44Updated last year
- Implementations of proof-carrying data☆35Updated 3 years ago
- Elliptic curve group traits and utilities.☆96Updated 2 months ago
- Implementation of the Zcash Orchard Protocol☆55Updated last month
- Recursive SNARKs based on Plonk and Halo☆116Updated 3 years ago
- ☆107Updated last year
- ☆64Updated 7 months ago
- ☆41Updated last year
- Testudo: Spartan + Groth16☆52Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆85Updated 4 months ago
- DPC with Universal Setup☆46Updated 2 years ago
- ☆34Updated last month
- Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves☆32Updated 4 years ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆75Updated 9 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆73Updated 5 months ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆56Updated 11 months ago
- ☆51Updated 5 months ago
- ☆28Updated 2 years ago
- ☆30Updated 2 months ago
- ☆112Updated last year
- LegoGroth16 implementation on top of Zexe☆24Updated 3 years ago