PP-FM / ZKUNSATLinks
☆19Updated 5 months ago
Alternatives and similar repositories for ZKUNSAT
Users that are interested in ZKUNSAT are comparing it to the libraries listed below
Sorting:
- code for privacy-preserving sat solver☆17Updated last year
- Efficient and Interactive Zero-Knowledge Proofs☆95Updated last year
- Experiments with Universal Composability in EasyCrypt☆34Updated last week
- LaTeX package for typesetting pseudocode and cryptographic games☆176Updated last year
- Semi-honest Two Party Computation Based on Garbled Circuits.☆78Updated 2 years ago
- ☆10Updated 5 years ago
- Global-Scale Secure Multiparty Computation☆46Updated 2 years ago
- CryptoBib BibTex files☆57Updated 2 weeks ago
- LaTeX package to Do The Right Thing☆13Updated 3 years ago
- Homomorphic comparison in leveled homomorphic encryption and its applications☆37Updated 4 years ago
- ☆181Updated 4 years ago
- ☆223Updated 4 months ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆46Updated last year
- A two-party secure function evaluation using Yao's garbled circuit protocol☆76Updated last year
- Some algorithms for computation on encrypted data based on Microsoft SEAL☆28Updated 4 years ago
- Cryptographic Enforcement of End-to-End Data Privacy☆25Updated 2 years ago
- Lattices in Cryptography (University of Michigan)☆90Updated 9 months ago
- Library for performing Function Secret Sharing (FSS)☆90Updated 6 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties☆87Updated last year
- Crypto and networking utils used for ABY and OTExtension☆19Updated 3 years ago
- Multi-party Private Set Union☆18Updated 4 months ago
- C++ OT extension implementation☆127Updated 4 years ago
- Example implementation of the SealPIR protocol☆151Updated 7 months ago
- A C++ library containing both easy-to-use lower level bigint/ecgroup interfaces and high-level cryptographical schemes/protocols.☆78Updated 11 months ago
- ☆25Updated 2 years ago
- ☆42Updated 7 months ago
- Implementation for the protocols described in https://eprint.iacr.org/2023/1700☆13Updated 5 months ago
- Efficient Batched Oblivious PRF with Applications to Private Set Intersection (CCS 2016)☆83Updated 2 years ago
- Fast, High-Rate Single-Server PIR via FHE Composition☆33Updated 3 years ago