imdea-software / homomorphic-authentication-library
HAL: A Library for Homomorphic Authentication
☆20Updated 8 years ago
Alternatives and similar repositories for homomorphic-authentication-library:
Users that are interested in homomorphic-authentication-library are comparing it to the libraries listed below
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆42Updated 4 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- Global-Scale Secure Multiparty Computation☆44Updated 2 years ago
- ☆23Updated 3 years ago
- The garbled circuit backend for the ObliVM framework☆17Updated 9 years ago
- Library for performing Function Secret Sharing (FSS)☆90Updated 6 years ago
- Companion repository for blog post on benchmarking implementations of Paillier encryption☆19Updated 8 years ago
- ☆49Updated last year
- An implementation of the LowMC block cipher family.☆27Updated 7 years ago
- Experiments with Universal Composability in EasyCrypt☆33Updated 2 weeks ago
- XPIR: Private Information Retrieval for Everyone☆119Updated 3 years ago
- Crypto and networking utils used for ABY and OTExtension☆19Updated 3 years ago
- ☆22Updated 8 years ago
- Efficient and Interactive Zero-Knowledge Proofs☆91Updated last year
- Code that accompanies the paper "Lightweight Techniques for Private Heavy Hitters" at IEEE S&P 2021.☆26Updated last year
- Go, C++, and C implementation of a bilinear group and pairing-based cryptography for both embedded and non-embedded systems☆37Updated 2 years ago
- Prototype implementation of Prio, a system for the private computation of aggregate statistics.☆63Updated 7 years ago
- (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…☆32Updated last year
- DPF and PIR based on DPF in C++☆18Updated 4 years ago
- ☆19Updated last month
- rabe is an Attribute Based Encryption library, written in Rust☆83Updated last month
- A Flexible Efficient Secure Computation Backend☆33Updated 6 years ago
- Hashing to Elliptic Curves☆81Updated 7 months ago
- ORAM and related for Intel SGX enclaves☆52Updated last year
- A collection of Bristol format circuit files☆13Updated 2 years ago
- Fast, High-Rate Single-Server PIR via FHE Composition☆30Updated 3 years ago
- A Platform for Robust Threshold Cryptography based on Asynchronous Publicly Verifiable Secret Sharing with Tunable Security☆95Updated 2 years ago
- A bilinear pairing library for petlib☆37Updated 2 years ago
- Comprehensive Open Source Library for Secure Multiparty Computation☆184Updated last year
- Implementation of a pairing over a Barreto-Naehrig curve on top of OpenSSL.☆31Updated 9 years ago