trailofbits / reverie
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
☆61Updated last year
Alternatives and similar repositories for reverie:
Users that are interested in reverie are comparing it to the libraries listed below
- toy implementation of bfv in rust☆26Updated 2 years ago
- Composable proof transcripts for public-coin arguments of knowledge☆126Updated last year
- Argument systems for inner pairing products☆41Updated 6 months ago
- Curve ecGFp5☆68Updated 2 years ago
- A pure-Rust implementation of the Paillier encryption scheme☆37Updated 2 years ago
- Experimental zero-knowledge proof compiler in Rust macros☆157Updated last year
- ☆32Updated 2 years ago
- Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves☆33Updated 3 years ago
- An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group☆67Updated 3 years ago
- Rust library for cryptographic research☆138Updated last month
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆43Updated 4 years ago
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆57Updated 3 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 6 months ago
- Banquet implementation☆13Updated 2 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated 2 years ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Updated 2 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆46Updated 6 months ago
- Rust library for BLS signatures, MuSig, PS signatures☆66Updated 2 years ago
- FS-DKR: One Round Distributed Key Rotation☆32Updated last year
- Collection of sponge functions written in pure Rust☆42Updated 3 weeks ago
- An elastic proof system based on arkworks☆80Updated last year
- Implementation of the Groth16 zk-SNARK proving system☆22Updated 6 years ago
- Hashing to Elliptic Curves☆81Updated 5 months ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 3 years ago
- Apache Milagro Crypto Library - Rust Version☆31Updated 2 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆52Updated last year
- BLS working standard draft☆39Updated 5 years ago
- A collection of Paillier cryptosystem zero knowledge proofs☆114Updated last year
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆40Updated 4 months ago
- Implementation of the Jubjub elliptic curve group☆122Updated 6 months ago