dalek-cryptography / merlin
Composable proof transcripts for public-coin arguments of knowledge
☆121Updated last year
Related projects: ⓘ
- Experimental zero-knowledge proof compiler in Rust macros☆154Updated 10 months ago
- An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group☆67Updated 2 years ago
- Implementation of the Jubjub elliptic curve group☆121Updated last month
- ☆78Updated 4 years ago
- Cryptographic accumulators in Rust.☆131Updated 3 years ago
- A pure-Rust implementation of the Paillier encryption scheme☆36Updated last year
- Rust library for BLS signatures, MuSig, PS signatures☆66Updated 2 years ago
- Network layer for MPC (Secure Multi-Party Computation) based on Tendermint☆103Updated 3 years ago
- BLS Signatures in Rust☆74Updated 9 months ago
- Elliptic curve group traits and utilities.☆91Updated 8 months ago
- Aggregatable Distributed Key Generation☆45Updated 2 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆83Updated last year
- Implementation of the Groth16 zk-SNARK proving system☆22Updated 6 years ago
- Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves☆71Updated last year
- Argument systems for inner pairing products☆41Updated last month
- examples for bellman zk-snarks library☆74Updated 5 years ago
- Traits and utilities for working with finite fields.☆233Updated last month
- A Rust library for building R1CS gadgets☆85Updated 2 years ago
- Threshold BLS Signatures and DKG☆72Updated 4 months ago
- toy implementation of bfv in rust☆18Updated 2 years ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆49Updated last month
- ☆63Updated 5 years ago
- Rust language general purpose elliptic curve cryptography.☆264Updated last month
- Rust library for cryptographic research☆125Updated 3 months ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆59Updated last year
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆56Updated 3 years ago
- Communal zk-SNARK MPC for Public Parameters☆140Updated 3 years ago
- Composable proof transcripts for public-coin arguments of knowledge☆44Updated 3 weeks ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆52Updated 3 months ago
- Open source implementation of zkSTARKs in pure Rust☆79Updated 9 months ago