emp-toolkit / emp-zkLinks
Efficient and Interactive Zero-Knowledge Proofs
☆91Updated last year
Alternatives and similar repositories for emp-zk
Users that are interested in emp-zk are comparing it to the libraries listed below
Sorting:
- Global-Scale Secure Multiparty Computation☆45Updated 2 years ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- Semi-honest Two Party Computation Based on Garbled Circuits.☆78Updated 2 years ago
- Homomorphic comparison in leveled homomorphic encryption and its applications☆37Updated 3 years ago
- Fast, High-Rate Single-Server PIR via FHE Composition☆31Updated 3 years ago
- Libra zero knowledge proof system☆51Updated 2 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆124Updated last year
- An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties☆86Updated last year
- The reference implementation of SimplePIR and DoublePIR, accompanying the paper "One Server for the Price of Two: Simple and Fast Single-…☆88Updated 2 years ago
- Multi-party Private Set Union☆18Updated 4 months ago
- Awesome list for cryptographic secure computation paper. This repo includes *Lattice*, *DifferentialPrivacy*, *MPC* and also a comprehens…☆212Updated 5 months ago
- Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation☆27Updated 2 years ago
- ☆41Updated this week
- ☆222Updated 3 months ago
- lattice-based zkSNARKs over libsnark [ISW21]☆32Updated 7 months ago
- Vector OLE and zero-knowledge for Z2k. https://ia.cr/2022/819☆16Updated 2 years ago
- ☆58Updated 3 years ago
- Efficient Private Set Intersection base on VOLE☆131Updated 2 months ago
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆82Updated 2 years ago
- The repo of "Efficient 3PC for Binary Circuits with Application to Maliciously-Secure DNN Inference" (USENIX Security 2023)☆21Updated last year
- A tiny, educational library for secure multi-party computation (in pure Python).☆89Updated 2 years ago
- Implementation of SortingHat: Efficient Private Decision Tree Evaluation via Homomorphic Encryption and Transciphering.☆18Updated 2 years ago
- ☆19Updated 2 months ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- A two-party secure function evaluation using Yao's garbled circuit protocol☆75Updated 11 months ago
- C++ library for IOP-based zkSNARKs☆166Updated last year
- Benchmarks for various multi-party computation frameworks☆19Updated 7 months ago
- Private Information Retrieval protocol☆45Updated 4 years ago
- FLUTE: Fast and Secure Lookup Table Evaluations☆25Updated last year
- Example implementation of the SealPIR protocol☆150Updated 6 months ago