dalek-cryptography / zkp
Experimental zero-knowledge proof compiler in Rust macros
☆154Updated 10 months ago
Related projects: ⓘ
- Composable proof transcripts for public-coin arguments of knowledge☆121Updated last year
- Cryptographic accumulators in Rust.☆131Updated 3 years ago
- An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group☆67Updated 2 years ago
- ☆78Updated 4 years ago
- A pairing-based threshold cryptosystem for collaborative decryption and signatures used in HoneybadgerBFT implementation☆185Updated last month
- Implementation of the Jubjub elliptic curve group☆121Updated last month
- Rust library for BLS signatures, MuSig, PS signatures☆66Updated 2 years ago
- ☆115Updated 3 years ago
- Network layer for MPC (Secure Multi-Party Computation) based on Tendermint☆103Updated 3 years ago
- examples for bellman zk-snarks library☆74Updated 5 years ago
- Communal zk-SNARK MPC for Public Parameters☆140Updated 3 years ago
- ☆63Updated 5 years ago
- Pairing-friendly elliptic curve library.☆337Updated 3 weeks ago
- Rust language general purpose elliptic curve cryptography.☆264Updated last month
- Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves☆71Updated last year
- BLS Signatures in Rust☆74Updated 9 months ago
- Elliptic curve group traits and utilities.☆91Updated 8 months ago
- Traits and utilities for working with finite fields.☆233Updated last month
- A Rust library for building R1CS gadgets☆85Updated 2 years ago
- Arithmatic circuits convertible to R1CS based on Bulletproofs☆83Updated last year
- Aggregatable Distributed Key Generation☆45Updated 2 years ago
- An implementation of Verifiable Delay Functions in Rust☆172Updated 3 years ago
- Threshold BLS Signatures and DKG☆72Updated 4 months ago
- Zero-knowledge virtual machine written in Rust☆241Updated last year
- Schnorr VRFs and signatures on the Ristretto group☆309Updated last month
- Open source implementation of zkSTARKs in pure Rust☆79Updated 9 months ago
- Zcash "Sapling" cryptography☆78Updated last month
- A pure-Rust implementation of Bulletproofs using Ristretto.☆49Updated last month
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆56Updated 3 years ago
- Pairing cryptography library in Rust☆160Updated last year