zkcrypto / merlin
Composable proof transcripts for public-coin arguments of knowledge
☆47Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for merlin
- ☆42Updated 3 years ago
- ☆70Updated last year
- Poseidon hash function☆73Updated last year
- Implementations of proof-carrying data☆31Updated 2 years ago
- Argument systems for inner pairing products☆41Updated 3 months ago
- Implementation of the Hades permutation algorithm used in Poseidon Hashes with ZKProof capabilities.☆22Updated 9 months ago
- A standard library wrapper for use in the `arkworks` ecosystem☆37Updated 3 weeks ago
- A generalized merkle mountain range implementation.☆52Updated last year
- ☆56Updated 11 months ago
- Elliptic curve group traits and utilities.☆91Updated 11 months ago
- Rust implementation for zcash/pasta☆81Updated 11 months ago
- Testudo: Spartan + Groth16☆52Updated 9 months ago
- Polymath: Groth16 Is Not The Limit☆28Updated 2 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆69Updated last week
- Implementation of the Zcash Orchard Protocol☆54Updated this week
- ☆24Updated last year
- Rescue and Poseidon hash function implementations☆42Updated 3 months ago
- ☆40Updated 3 months ago
- ☆28Updated last year
- ☆26Updated 2 years ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆52Updated 3 months ago
- ☆27Updated 5 months ago
- A Rust library for building R1CS gadgets☆89Updated 3 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆42Updated last year
- Spartan on Arkworks☆38Updated 4 months ago
- Fiat-Shamir for the masses.☆42Updated last week
- An elastic proof system based on arkworks☆76Updated 11 months ago
- Aggregatable BLS sigantures☆65Updated 3 weeks ago
- Aggregatable Distributed Key Generation☆45Updated 2 years ago
- Traits and utilities for working with finite fields☆17Updated 3 months ago