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
- Argument systems for inner pairing products☆42Updated 8 months ago
- ☆107Updated 11 months ago
- Rust implementation for zcash/pasta☆83Updated last year
- ☆19Updated 2 years ago
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆208Updated 3 weeks ago
- ☆40Updated 2 years ago
- Poseidon hash function☆75Updated last year
- ☆72Updated 2 years ago
- Aggregatable Distributed Key Generation☆47Updated 3 years ago
- Recursive SNARKs based on Plonk and Halo☆116Updated 3 years ago
- ☆58Updated 4 months ago
- Elliptic curve group traits and utilities.☆94Updated this week
- ☆42Updated 3 years ago
- ☆76Updated 3 months ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆25Updated last year
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆169Updated 3 weeks ago
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆96Updated this week
- ☆30Updated this week
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆53Updated 8 months ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated last year
- ☆50Updated last year
- Spartan on Arkworks☆41Updated 4 months ago
- An advanced fork of Nova (contact:@huitseeker)☆83Updated last month
- A SNARK using towers of binary fields, implemented in Rust☆103Updated this week
- ECFFT in Rust☆56Updated last year
- Implementations of proof-carrying data☆34Updated 2 years ago
- ☆41Updated last year
- ☆33Updated last month