Alternatives and similar repositories for ZKUNSAT

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

• arnomi / cryptocode
  LaTeX package for typesetting pseudocode and cryptographic games
  ☆188Updated 2 years ago
• cryptobib / export
  CryptoBib BibTex files
  ☆62Updated 3 weeks ago
• fmlab-iis / cryptoline
  ☆54Updated this week
• malb / lattice-estimator
  An attempt at a new LWE estimator
  ☆331Updated 2 months ago
• samee / obliv-c
  ☆183Updated 4 years ago
• cpeikert / LatticesInCryptography
  Lattices in Cryptography (University of Michigan)
  ☆107Updated last year
• iliailia / comparison-circuit-over-fq
  Homomorphic comparison in leveled homomorphic encryption and its applications
  ☆38Updated 4 years ago
• jgharehchamani / SSE
  ☆26Updated 6 years ago
• emp-toolkit / emp-tool
  ☆239Updated last month
• GaloisInc / swanky
  A suite of rust libraries for secure multi-party computation
  ☆335Updated 2 weeks ago
• wangxiao1254 / crypto-material
  ☆10Updated 5 years ago
• emp-toolkit / emp-sh2pc
  Semi-honest Two Party Computation Based on Garbled Circuits.
  ☆81Updated last month
• lducas / leaky-LWE-Estimator
  A sage Toolkit for mounting/estimating attacks on LWE with Side Information
  ☆53Updated 2 years ago
• emp-toolkit / emp-zk
  Efficient and Interactive Zero-Knowledge Proofs
  ☆102Updated last month
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆379Updated this week
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆42Updated 2 weeks ago
• GaloisInc / fancy-garbling
  Rust implementation of the BMR16 arithmetic garbling scheme.
  ☆34Updated 6 years ago
• ojroques / garbled-circuit
  A two-party secure function evaluation using Yao's garbled circuit protocol
  ☆78Updated last year
• encryptogroup / FLUTE
  FLUTE: Fast and Secure Lookup Table Evaluations
  ☆28Updated last year
• encryptogroup / MOTION
  An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties
  ☆91Updated 2 years ago
• emp-toolkit / emp-agmpc
  Global-Scale Secure Multiparty Computation
  ☆50Updated last month
• KULeuven-COSIC / SCALE-MAMBA
  Repository for the SCALE-MAMBA MPC system
  ☆264Updated 2 years ago
• leisec / dtrt
  LaTeX package to Do The Right Thing
  ☆13Updated 4 years ago
• microsoft / SealPIR
  Example implementation of the SealPIR protocol
  ☆157Updated last year
• haochenuw / algorithms-in-SEAL
  Some algorithms for computation on encrypted data based on Microsoft SEAL
  ☆28Updated 5 years ago
• isec-tugraz / hybrid-HE-framework
  ☆44Updated last year
• pps-lab / zeph-artifact
  Cryptographic Enforcement of End-to-End Data Privacy
  ☆25Updated 3 years ago
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆312Updated 7 months ago
• frankw2 / libfss
  Library for performing Function Secret Sharing (FSS)
  ☆94Updated 7 years ago
• Visa-Research / volepsi
  Efficient Private Set Intersection base on VOLE
  ☆136Updated 4 months ago