Alternatives and similar repositories for ZKUNSAT:

Users that are interested in ZKUNSAT are comparing it to the libraries listed below

• PP-FM / ppsat
  code for privacy-preserving sat solver
  ☆17Updated last year
• arnomi / cryptocode
  LaTeX package for typesetting pseudocode and cryptographic games
  ☆159Updated last year
• samee / obliv-c
  ☆178Updated 3 years ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆33Updated this week
• wangxiao1254 / crypto-material
  ☆10Updated 4 years ago
• emp-toolkit / emp-sh2pc
  Semi-honest Two Party Computation Based on Garbled Circuits.
  ☆77Updated 2 years ago
• emp-toolkit / emp-tool
  ☆220Updated 2 weeks ago
• osu-crypto / BaRK-OPRF
  Efficient Batched Oblivious PRF with Applications to Private Set Intersection (CCS 2016)
  ☆82Updated 2 years ago
• lducas / leaky-LWE-Estimator
  A sage Toolkit for mounting/estimating attacks on LWE with Side Information
  ☆41Updated last year
• Visa-Research / volepsi
  Efficient Private Set Intersection base on VOLE
  ☆120Updated 2 months ago
• cpeikert / LatticesInCryptography
  Lattices in Cryptography (University of Michigan)
  ☆76Updated 4 months ago
• cryptobib / export
  CryptoBib BibTex files
  ☆56Updated last month
• emp-toolkit / emp-zk
  Efficient and Interactive Zero-Knowledge Proofs
  ☆86Updated last year
• emp-toolkit / emp-ot
  Oblivious Transfer, Oblivious Transfer Extension and Variations
  ☆168Updated 5 months ago
• iliailia / comparison-circuit-over-fq
  Homomorphic comparison in leveled homomorphic encryption and its applications
  ☆36Updated 3 years ago
• encryptogroup / MOTION
  An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties
  ☆86Updated last year
• GaloisInc / fancy-garbling
  Rust implementation of the BMR16 arithmetic garbling scheme.
  ☆34Updated 5 years ago
• menonsamir / spiral
  Fast, High-Rate Single-Server PIR via FHE Composition
  ☆30Updated 2 years ago
• yuchen1024 / Kunlun
  A C++ library containing both easy-to-use lower level bigint/ecgroup interfaces and high-level cryptographical schemes/protocols.
  ☆76Updated 7 months ago
• encryptogroup / OTExtension
  C++ OT extension implementation
  ☆126Updated 4 years ago
• ladnir / Ivory-Runtime
  A generic Secure Computation API for garbled circuits, SPDZ, etc.
  ☆21Updated last year
• microsoft / SealPIR
  Example implementation of the SealPIR protocol
  ☆141Updated 3 months ago
• jgharehchamani / SSE
  ☆22Updated 5 years ago
• GaloisInc / swanky
  A suite of rust libraries for secure multi-party computation
  ☆292Updated 2 months ago
• ojroques / garbled-circuit
  A two-party secure function evaluation using Yao's garbled circuit protocol
  ☆74Updated 8 months ago
• RasoulAM / constant-weight-pir
  Constant-weight PIR using Constant-weight Equality Operators
  ☆22Updated 2 years ago
• haochenuw / algorithms-in-SEAL
  Some algorithms for computation on encrypted data based on Microsoft SEAL
  ☆27Updated 4 years ago
• obliviousram / PathORAM
  Path ORAM reference implementation
  ☆23Updated 4 years ago
• emp-toolkit / emp-agmpc
  Global-Scale Secure Multiparty Computation
  ☆43Updated 2 years ago
• jgharehchamani / Small-Client-SSE
  ☆6Updated 3 years ago