PP-FM / ZKUNSAT
☆18Updated 2 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
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆41Updated last year
- LaTeX package for typesetting pseudocode and cryptographic games☆163Updated last year
- CryptoBib BibTex files☆56Updated 2 months ago
- Experiments with Universal Composability in EasyCrypt☆33Updated last week
- Lattices in Cryptography (University of Michigan)☆82Updated 6 months ago
- Semi-honest Two Party Computation Based on Garbled Circuits.☆77Updated 2 years ago
- ☆10Updated 5 years ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆19Updated 2 months ago
- Multi-party Private Set Union☆16Updated 2 months ago
- ☆46Updated last week
- ☆6Updated 3 years ago
- Efficient Private Set Intersection base on VOLE☆125Updated 3 weeks ago
- Some algorithms for computation on encrypted data based on Microsoft SEAL☆27Updated 4 years ago
- ☆25Updated 2 years ago
- ☆34Updated 4 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- ☆178Updated 3 years ago
- C++ OT extension implementation☆126Updated 4 years ago
- A C++ library containing both easy-to-use lower level bigint/ecgroup interfaces and high-level cryptographical schemes/protocols.☆78Updated 8 months ago
- Efficient Batched Oblivious PRF with Applications to Private Set Intersection (CCS 2016)☆82Updated 2 years ago
- ☆221Updated last month
- A two-party secure function evaluation using Yao's garbled circuit protocol☆74Updated 9 months ago
- Oblivious Transfer, Oblivious Transfer Extension and Variations☆169Updated 7 months ago
- Homomorphic comparison in leveled homomorphic encryption and its applications☆37Updated 3 years ago
- ORAM and related for Intel SGX enclaves☆52Updated last year
- Fast, High-Rate Single-Server PIR via FHE Composition☆30Updated 2 years ago
- An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties☆86Updated last year
- ☆36Updated 2 years ago
- FLUTE: Fast and Secure Lookup Table Evaluations☆24Updated 11 months ago