PP-FM / ZKUNSAT
☆18Updated 3 months ago
Alternatives and similar repositories for ZKUNSAT:
Users that are interested in ZKUNSAT are comparing it to the libraries listed below
- code for privacy-preserving sat solver☆17Updated last year
- LaTeX package for typesetting pseudocode and cryptographic games☆166Updated last year
- ☆10Updated 5 years ago
- Efficient and Interactive Zero-Knowledge Proofs☆91Updated last year
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆44Updated last year
- ☆178Updated 3 years ago
- Some algorithms for computation on encrypted data based on Microsoft SEAL☆27Updated 4 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- CryptoBib BibTex files☆56Updated 3 weeks ago
- Semi-honest Two Party Computation Based on Garbled Circuits.☆78Updated 2 years ago
- Experiments with Universal Composability in EasyCrypt☆33Updated last week
- Efficient Private Set Intersection base on VOLE☆126Updated last month
- ☆222Updated 2 months ago
- Homomorphic comparison in leveled homomorphic encryption and its applications☆37Updated 3 years ago
- Lattices in Cryptography (University of Michigan)☆82Updated 6 months ago
- A two-party secure function evaluation using Yao's garbled circuit protocol☆74Updated 10 months ago
- Oblivious Transfer, Oblivious Transfer Extension and Variations☆170Updated 8 months ago
- Global-Scale Secure Multiparty Computation☆44Updated 2 years ago
- Fast, High-Rate Single-Server PIR via FHE Composition☆30Updated 2 years ago
- A C++ library containing both easy-to-use lower level bigint/ecgroup interfaces and high-level cryptographical schemes/protocols.☆78Updated 9 months ago
- FLUTE: Fast and Secure Lookup Table Evaluations☆24Updated last year
- ☆25Updated 2 years ago
- Multi-party Private Set Union☆16Updated 2 months ago
- C++ OT extension implementation☆127Updated 4 years ago
- An attempt at a new LWE estimator☆263Updated last week
- ☆47Updated 2 weeks ago
- Crypto and networking utils used for ABY and OTExtension☆19Updated 3 years ago
- ☆42Updated 4 months ago
- DPF and PIR based on DPF in C++☆18Updated 4 years ago
- Cryptographic Enforcement of End-to-End Data Privacy☆24Updated 2 years ago