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
- Rust implementation for zcash/pasta☆83Updated last year
- Poseidon hash function☆75Updated last year
- Aggregatable Distributed Key Generation☆47Updated 2 years ago
- Elliptic curve group traits and utilities.☆94Updated last year
- Argument systems for inner pairing products☆41Updated 7 months ago
- ☆104Updated 11 months ago
- ☆72Updated 2 years ago
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆204Updated last week
- Fast implementation of multi-scalar multiplication in WebAssembly☆33Updated 3 months ago
- ☆40Updated 2 years ago
- ☆42Updated 3 years ago
- ☆112Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆93Updated this week
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆48Updated 2 months ago
- A framework for SPDZ-style maliciously-secure MPC.☆51Updated 2 months ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆105Updated this week
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆25Updated last year
- Implementation of the Zcash Orchard Protocol☆55Updated last week
- R1CS constraints for bits, fields, and elliptic curves☆153Updated last week
- ☆32Updated last month
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated last year
- ☆19Updated 2 years ago
- Threshold ECDSA via Triples☆79Updated 11 months ago
- Testudo: Spartan + Groth16☆52Updated last year
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆53Updated 7 months ago
- ☆58Updated 4 months ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆61Updated 8 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆169Updated this week
- ☆50Updated last month