emp-toolkit / emp-zkLinks
Efficient and Interactive Zero-Knowledge Proofs
☆102Updated last month
Alternatives and similar repositories for emp-zk
Users that are interested in emp-zk are comparing it to the libraries listed below
Sorting:
- A tiny, educational library for secure multi-party computation (in pure Python).☆97Updated 2 years ago
- Global-Scale Secure Multiparty Computation☆50Updated last month
- Libra zero knowledge proof system☆54Updated 2 years ago
- The reference implementation of SimplePIR and DoublePIR, accompanying the paper "One Server for the Price of Two: Simple and Fast Single-…☆97Updated 2 years ago
- Semi-honest Two Party Computation Based on Garbled Circuits.☆81Updated last month
- Awesome list for cryptographic secure computation paper. This repo includes *Lattice*, *DifferentialPrivacy*, *MPC* and also a comprehens…☆217Updated last year
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆87Updated 2 years ago
- Functional encryption library in C☆89Updated 4 years ago
- Homomorphic comparison in leveled homomorphic encryption and its applications☆38Updated 4 years ago
- ☆25Updated 9 months ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 6 years ago
- C++ library for IOP-based zkSNARKs☆176Updated last year
- Prototype implementations of various Collaborative zkSNARKs.☆130Updated 7 months ago
- An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties☆91Updated 2 years ago
- Crypto and networking utils used for ABY and OTExtension☆19Updated 4 years ago
- Vector OLE and zero-knowledge for Z2k. https://ia.cr/2022/819☆17Updated 2 years ago
- Fast, High-Rate Single-Server PIR via FHE Composition☆35Updated 3 years ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆38Updated 2 years ago
- Implementation of SortingHat: Efficient Private Decision Tree Evaluation via Homomorphic Encryption and Transciphering.☆19Updated 3 years ago
- Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation☆33Updated last month
- ☆239Updated last month
- Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…☆28Updated 3 years ago
- ☆60Updated 4 years ago
- lattice-based zkSNARKs over libsnark [ISW21]☆36Updated last year
- ☆19Updated 8 months ago
- ☆29Updated 3 months ago
- ☆84Updated 5 months ago
- ☆37Updated 5 years ago
- We are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.☆65Updated last week
- Example implementation of the SealPIR protocol☆157Updated last year