PP-FM / ZKUNSATLinks
☆19Updated 7 months ago
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☆180Updated last year
- A sage Toolkit for mounting/estimating attacks on LWE with Side Information☆49Updated 2 years ago
- Lattices in Cryptography (University of Michigan)☆94Updated 11 months ago
- CryptoBib BibTex files☆60Updated this week
- An attempt at a new LWE estimator☆296Updated last week
- ☆51Updated last week
- Experiments with Universal Composability in EasyCrypt☆38Updated this week
- A suite of rust libraries for secure multi-party computation☆319Updated last week
- ☆42Updated 9 months ago
- A rust and SageMath implementation of (2,2)-isogenies in the theta model☆20Updated 7 months ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- Homomorphic comparison in leveled homomorphic encryption and its applications☆39Updated 4 years ago
- ☆20Updated 6 years ago
- A two-party secure function evaluation using Yao's garbled circuit protocol☆77Updated last year
- Efficient and Interactive Zero-Knowledge Proofs☆96Updated last year
- LaTeX package to Do The Right Thing☆13Updated 3 years ago
- ☆182Updated 4 years ago
- Some algorithms for computation on encrypted data based on Microsoft SEAL☆28Updated 5 years ago
- The fully homomorhic encryption scheme based on NTRU and LWE.☆47Updated 11 months ago
- ☆25Updated 6 years ago
- Semi-honest Two Party Computation Based on Garbled Circuits.☆78Updated 3 years ago
- code for privacy-preserving sat solver☆17Updated 2 years ago
- Efficient Private Set Intersection base on VOLE☆133Updated 5 months ago
- Global-Scale Secure Multiparty Computation☆48Updated 2 years ago
- Lattices and Their Algorithms, Leiden, Spring 2024☆20Updated last year
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆308Updated 3 months ago
- FLUTE: Fast and Secure Lookup Table Evaluations☆27Updated last year
- This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…☆53Updated 3 weeks ago
- An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties☆88Updated 2 years ago
- A C++ library containing both easy-to-use lower level bigint/ecgroup interfaces and high-level cryptographical schemes/protocols.☆79Updated last year