PP-FM / ZKUNSATLinks
☆20Updated last year
Alternatives and similar repositories for ZKUNSAT
Users that are interested in ZKUNSAT are comparing it to the libraries listed below
Sorting:
- LaTeX package for typesetting pseudocode and cryptographic games☆189Updated 2 years ago
- Lattices in Cryptography (University of Michigan)☆111Updated this week
- An attempt at a new LWE estimator☆337Updated 2 weeks ago
- Experiments with Universal Composability in EasyCrypt☆43Updated this week
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆53Updated 2 years ago
- Homomorphic comparison in leveled homomorphic encryption and its applications☆39Updated 4 years ago
- CryptoBib BibTex files☆62Updated 2 weeks ago
- Semi-honest Two Party Computation Based on Garbled Circuits.☆81Updated 2 months ago
- A two-party secure function evaluation using Yao's garbled circuit protocol☆78Updated last year
- FLUTE: Fast and Secure Lookup Table Evaluations☆28Updated last year
- ☆240Updated 2 months ago
- ☆44Updated last year
- Some algorithms for computation on encrypted data based on Microsoft SEAL☆27Updated 5 years ago
- Global-Scale Secure Multiparty Computation☆50Updated 2 months ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 6 years ago
- Implementation of SortingHat: Efficient Private Decision Tree Evaluation via Homomorphic Encryption and Transciphering.☆19Updated 3 years ago
- ☆184Updated 4 years ago
- Efficient and Interactive Zero-Knowledge Proofs☆102Updated 2 months ago
- Cryptographic Enforcement of End-to-End Data Privacy☆25Updated 3 years ago
- Repository for the SCALE-MAMBA MPC system☆264Updated 2 years ago
- Efficient Private Set Intersection base on VOLE☆135Updated 4 months ago
- An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties☆91Updated 2 years ago
- Common MPC Pitfalls☆12Updated 3 months ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆312Updated 7 months ago
- ☆54Updated this week
- ☆10Updated 5 years ago
- code for privacy-preserving sat solver☆17Updated 2 years ago
- A suite of rust libraries for secure multi-party computation☆336Updated this week
- Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course☆185Updated 4 months ago
- Oblivious Transfer, Oblivious Transfer Extension and Variations☆183Updated 2 months ago