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:
- A Rust library for building R1CS gadgets☆90Updated 3 years ago
- Poseidon hash function☆75Updated 2 years ago
- ☆72Updated 2 years ago
- ☆40Updated 2 years ago
- Rust implementation for zcash/pasta☆84Updated last month
- ☆112Updated last year
- ☆50Updated 3 months ago
- ☆107Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆48Updated 4 months ago
- ☆51Updated last year
- ☆59Updated 6 months ago
- ☆42Updated 3 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆54Updated 10 months ago
- ☆37Updated 3 months ago
- Elliptic curve group traits and utilities.☆94Updated last month
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Spartan on Arkworks☆42Updated 5 months ago
- ☆19Updated 2 years ago
- ECFFT in Rust☆56Updated last year
- An `arkworks` library for low-degree testing☆23Updated 8 months ago
- ☆41Updated last year
- Zirgen compiler and RISC Zero circuits☆95Updated this week
- Argument systems for inner pairing products☆42Updated 10 months ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆59Updated 6 months ago
- A framework for SPDZ-style maliciously-secure MPC.☆53Updated 4 months ago
- A SNARK using towers of binary fields, implemented in Rust☆110Updated this week
- Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions☆82Updated last year
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated 2 years ago
- ☆119Updated 6 months ago