GaloisInc / ocelotLinks
Oblivious transfer library for rust
☆11Updated 6 years ago
Alternatives and similar repositories for ocelot
Users that are interested in ocelot are comparing it to the libraries listed below
Sorting:
- Multi-party computation utilities toolkit for rust☆16Updated 6 years ago
- Super Amazing Universal Composability, Yeah!☆32Updated 3 years ago
- SageMath library for constructing elliptic curves☆73Updated 2 years ago
- ☆137Updated 5 years ago
- Hashing to Elliptic Curves☆80Updated last year
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆76Updated 5 years ago
- Experiments with Universal Composability in EasyCrypt☆42Updated 2 weeks ago
- ☆52Updated 2 years ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆25Updated 2 years ago
- Optimized implementation of the Picnic signature scheme☆82Updated 3 years ago
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆43Updated 5 years ago
- Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders☆66Updated 2 years ago
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 4 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 6 years ago
- Optimised bilinear pairings over elliptic curves☆56Updated last year
- Isogeny-based signature using Unruh's construction and the SIDH library☆18Updated 8 years ago
- C implementation of the CLT13 multilinear map☆14Updated 7 years ago
- Privacy-preserving auditing for distributed ledgers☆67Updated 6 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group☆71Updated 4 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Updated 7 years ago
- ☆22Updated 9 years ago
- Implementation of the Fish and Begol signature schemes☆14Updated 8 years ago
- Composable proof transcripts for public-coin arguments of knowledge☆131Updated 2 years ago
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆45Updated 5 years ago
- ☆78Updated 6 years ago
- ☆118Updated 4 years ago
- Experimental zero-knowledge proof compiler in Rust macros☆163Updated 2 years ago
- Authenticated encryption scheme prover/synthesizer☆15Updated 3 years ago
- BLS working standard draft☆40Updated 6 years ago