Alternatives and similar repositories for ZKUNSAT

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

• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆34Updated 3 weeks ago
• arnomi / cryptocode
  LaTeX package for typesetting pseudocode and cryptographic games
  ☆172Updated last year
• PP-FM / ppsat
  code for privacy-preserving sat solver
  ☆17Updated last year
• cryptobib / export
  CryptoBib BibTex files
  ☆56Updated last week
• lducas / leaky-LWE-Estimator
  A sage Toolkit for mounting/estimating attacks on LWE with Side Information
  ☆44Updated last year
• wangxiao1254 / crypto-material
  ☆10Updated 5 years ago
• iliailia / comparison-circuit-over-fq
  Homomorphic comparison in leveled homomorphic encryption and its applications
  ☆37Updated 3 years ago
• ojroques / garbled-circuit
  A two-party secure function evaluation using Yao's garbled circuit protocol
  ☆75Updated 11 months ago
• emp-toolkit / emp-zk
  Efficient and Interactive Zero-Knowledge Proofs
  ☆91Updated last year
• encryptogroup / FLUTE
  FLUTE: Fast and Secure Lookup Table Evaluations
  ☆24Updated last year
• emp-toolkit / emp-sh2pc
  Semi-honest Two Party Computation Based on Garbled Circuits.
  ☆78Updated 2 years ago
• cpeikert / LatticesInCryptography
  Lattices in Cryptography (University of Michigan)
  ☆84Updated 7 months ago
• haochenuw / algorithms-in-SEAL
  Some algorithms for computation on encrypted data based on Microsoft SEAL
  ☆27Updated 4 years ago
• jgharehchamani / SSE
  ☆23Updated 5 years ago
• Visa-Research / volepsi
  Efficient Private Set Intersection base on VOLE
  ☆128Updated 2 months ago
• lx-1234 / MPSU
  Multi-party Private Set Union
  ☆17Updated 3 months ago
• yuchen1024 / Kunlun
  A C++ library containing both easy-to-use lower level bigint/ecgroup interfaces and high-level cryptographical schemes/protocols.
  ☆78Updated 9 months ago
• fmlab-iis / cryptoline
  ☆49Updated last week
• GaloisInc / fancy-garbling
  Rust implementation of the BMR16 arithmetic garbling scheme.
  ☆34Updated 5 years ago
• samee / obliv-c
  ☆179Updated 3 years ago
• isec-tugraz / hybrid-HE-framework
  ☆42Updated 5 months ago
• malb / oxford-lattice-school-lessons
  ☆19Updated 6 years ago
• emp-toolkit / emp-ot
  Oblivious Transfer, Oblivious Transfer Extension and Variations
  ☆170Updated 8 months ago
• emp-toolkit / emp-agmpc
  Global-Scale Secure Multiparty Computation
  ☆44Updated 2 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated 3 months ago
• malb / lattice-estimator
  An attempt at a new LWE estimator
  ☆266Updated last month
• encryptogroup / ENCRYPTO_utils
  Crypto and networking utils used for ABY and OTExtension
  ☆19Updated 3 years ago
• encryptogroup / OTExtension
  C++ OT extension implementation
  ☆127Updated 4 years ago
• frankw2 / libfss
  Library for performing Function Secret Sharing (FSS)
  ☆90Updated 6 years ago
• KULeuven-COSIC / SortingHat
  Implementation of SortingHat: Efficient Private Decision Tree Evaluation via Homomorphic Encryption and Transciphering.
  ☆18Updated 2 years ago