schoppmp / oblivc-rustLinks
Rust wrapper for Obliv-C
☆11Updated 6 years ago
Alternatives and similar repositories for oblivc-rust
Users that are interested in oblivc-rust are comparing it to the libraries listed below
Sorting:
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆42Updated 4 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Experiments with Universal Composability in EasyCrypt☆34Updated this week
- Oblivious transfer for multiparty computation☆37Updated 5 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆51Updated this week
- ☆180Updated 3 years ago
- SAW front end for the MIR language from rustc☆36Updated 4 years ago
- A C++ implementation of the DUPLO cryptographic protocol☆22Updated 8 years ago
- C implementation of the CLT13 multilinear map☆14Updated 6 years ago
- XPIR: Private Information Retrieval for Everyone☆119Updated 3 years ago
- CryptoBib Database for Developers☆44Updated last week
- A Flexible Efficient Secure Computation Backend☆33Updated 7 years ago
- Post-quantum key exchange from the learning with errors problem — from the paper "Frodo: Take off the ring! Practical, Quantum-Secure Key…☆47Updated 7 years ago
- Examples for EasyCrypt Lectures☆24Updated 4 months ago
- ☆30Updated last year
- Batch Dual Execution framework for secure multiparty computation☆17Updated 7 years ago
- A pure-Rust implementation of the Paillier encryption scheme☆82Updated 7 years ago
- Optimized implementation of the Picnic signature scheme☆80Updated 2 years ago
- ☆28Updated 5 years ago
- Oblivious transfer library for rust☆11Updated 5 years ago
- ☆49Updated last week
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year
- ☆35Updated 8 years ago
- Global-Scale Secure Multiparty Computation☆45Updated 2 years ago
- ☆13Updated 7 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- Experiments in homomorphic encryption☆31Updated 10 years ago