PP-FM / ZKUNSATLinks
☆19Updated 4 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☆91Updated last year
- Semi-honest Two Party Computation Based on Garbled Circuits.☆78Updated 2 years ago
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆46Updated last year
- ☆10Updated 5 years ago
- LaTeX package for typesetting pseudocode and cryptographic games☆174Updated last year
- Some algorithms for computation on encrypted data based on Microsoft SEAL☆28Updated 4 years ago
- ☆222Updated 4 months ago
- A C++ library containing both easy-to-use lower level bigint/ecgroup interfaces and high-level cryptographical schemes/protocols.☆78Updated 10 months ago
- A two-party secure function evaluation using Yao's garbled circuit protocol☆75Updated 11 months ago
- Multi-party Private Set Union☆18Updated 4 months ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- Homomorphic comparison in leveled homomorphic encryption and its applications☆37Updated 3 years ago
- ☆180Updated 3 years ago
- Efficient Private Set Intersection base on VOLE☆131Updated 3 months ago
- An attempt at a new LWE estimator☆276Updated last month
- Fast, High-Rate Single-Server PIR via FHE Composition☆31Updated 3 years ago
- ☆25Updated 5 years ago
- Lattices in Cryptography (University of Michigan)☆85Updated 8 months ago
- An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties☆86Updated last year
- Constant-weight PIR using Constant-weight Equality Operators☆23Updated 3 years ago
- Efficient Batched Oblivious PRF with Applications to Private Set Intersection (CCS 2016)☆83Updated 2 years ago
- Experiments with Universal Composability in EasyCrypt☆34Updated this week
- rabe is an Attribute Based Encryption library, written in Rust☆84Updated 2 months ago
- Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.☆78Updated 2 years ago
- The fully homomorhic encryption scheme based on NTRU and LWE.☆41Updated 8 months ago
- Global-Scale Secure Multiparty Computation☆45Updated 2 years ago
- ☆25Updated 2 years ago
- Oblivious Transfer, Oblivious Transfer Extension and Variations☆172Updated 9 months ago
- Example implementation of the SealPIR protocol☆150Updated 6 months ago