PP-FM / ZKUNSAT
☆18Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for ZKUNSAT
- LaTeX package for typesetting pseudocode and cryptographic games☆156Updated 11 months ago
- code for privacy-preserving sat solver☆17Updated last year
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆38Updated last year
- ☆10Updated 4 years ago
- An attempt at a new LWE estimator☆225Updated this week
- CryptoBib BibTex files☆52Updated last month
- Lattices in Cryptography (University of Michigan)☆69Updated last month
- ☆178Updated 3 years ago
- Experiments with Universal Composability in EasyCrypt☆32Updated this week
- ☆208Updated last month
- ☆39Updated 7 months ago
- Semi-honest Two Party Computation Based on Garbled Circuits.☆76Updated 2 years ago
- Homomorphic comparison in leveled homomorphic encryption and its applications☆36Updated 3 years ago
- Efficient and Interactive Zero-Knowledge Proofs☆81Updated 9 months ago
- Efficient Private Set Intersection base on VOLE☆111Updated 2 months ago
- A C++ library containing both easy-to-use lower level bigint/ecgroup interfaces and high-level cryptographical schemes/protocols.☆75Updated 4 months ago
- Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation☆23Updated last year
- Some algorithms for computation on encrypted data based on Microsoft SEAL☆27Updated 4 years ago
- Global-Scale Secure Multiparty Computation☆40Updated last year
- An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties☆85Updated last year
- ☆17Updated last month
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 4 years ago
- Multi-party Private Set Union☆16Updated 10 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆34Updated 11 months ago
- FLUTE: Fast and Secure Lookup Table Evaluations☆21Updated 7 months ago
- Example implementation of the SealPIR protocol☆140Updated this week
- Implementation of SortingHat: Efficient Private Decision Tree Evaluation via Homomorphic Encryption and Transciphering.☆17Updated 2 years ago
- Oblivious Transfer, Oblivious Transfer Extension and Variations☆161Updated 2 months ago
- ☆23Updated 2 years ago
- The reference implementation of SimplePIR and DoublePIR, accompanying the paper "One Server for the Price of Two: Simple and Fast Single-…☆80Updated last year