pung-project / pungLinks
Pung: a fully untrusted private communication system
☆33Updated 5 years ago
Alternatives and similar repositories for pung
Users that are interested in pung are comparing it to the libraries listed below
Sorting:
- A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.☆63Updated 6 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- A pure-Rust implementation of the Paillier encryption scheme☆82Updated 7 years ago
- Multi-party computation utilities toolkit for rust☆16Updated 5 years ago
- An Implementation of Order-Revealing Encryption☆94Updated 4 years ago
- Experiments with Universal Composability in EasyCrypt☆34Updated this week
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆37Updated 7 years ago
- HAL: A Library for Homomorphic Authentication☆20Updated 8 years ago
- ☆23Updated 4 years ago
- Formal Analysis of the PQXDH Protocol☆25Updated last year
- XPIR: Private Information Retrieval for Everyone☆119Updated 3 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- ☆50Updated 2 years ago
- Implementation of the Fish and Begol signature schemes☆14Updated 7 years ago
- toy implementation of bfv in rust☆26Updated 3 years ago
- Crypto library☆60Updated last week
- Symmetric somewhat homomorphic encryption library based on DGHV☆27Updated 7 years ago
- Malicious Two Party Computation Based on Garbled Circuits.☆12Updated 4 years ago
- Global-Scale Secure Multiparty Computation☆45Updated 2 years ago
- ☆36Updated 4 years ago
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆42Updated 4 years ago
- Prototype implementation of Prio, a system for the private computation of aggregate statistics.☆63Updated 7 years ago
- Oblivious transfer library for rust☆11Updated 5 years ago
- ☆28Updated 3 years ago
- An implementation of Function-Hiding Inner Product Encryption☆44Updated 9 years ago
- Arithmetic circuits for zero knowledge proof systems☆83Updated last year
- ☆19Updated 2 years ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆126Updated 3 years ago
- Pixel: Forward secure multi-signatures and threshold signatures☆17Updated 3 years ago
- ☆28Updated 5 years ago