n-for-1-auth / circuitsLinks
A collection of Bristol format circuit files
☆14Updated 3 years ago
Alternatives and similar repositories for circuits
Users that are interested in circuits are comparing it to the libraries listed below
Sorting:
- C++ library for IOP-based zkSNARKs☆175Updated last year
- Efficient and Interactive Zero-Knowledge Proofs☆102Updated last month
- ☆50Updated 6 months ago
- Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation☆33Updated last month
- 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
- Global-Scale Secure Multiparty Computation☆50Updated last month
- lattice-based zkSNARKs over libsnark [ISW21]☆35Updated last year
- Libra zero knowledge proof system☆54Updated 2 years ago
- Comprehensive Open Source Library for Secure Multiparty Computation☆188Updated 2 years ago
- The fully homomorhic encryption scheme based on NTRU and LWE.☆50Updated last year
- ☆43Updated last year
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 6 years ago
- Functional encryption library in C☆89Updated 4 years ago
- ☆19Updated 8 months ago
- Prototype implementations of various Collaborative zkSNARKs.☆130Updated 6 months ago
- ☆137Updated 5 years ago
- SageMath library for constructing elliptic curves☆72Updated 2 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆128Updated 2 years ago
- a C++ library for Pretty Good Confidential Transaction System☆17Updated 2 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆41Updated 5 years ago
- ☆25Updated 8 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆38Updated 2 years ago
- ☆29Updated 2 months ago
- A suite of rust libraries for secure multi-party computation☆330Updated last week
- Awesome list for cryptographic secure computation paper. This repo includes *Lattice*, *DifferentialPrivacy*, *MPC* and also a comprehens…☆218Updated last year
- Example implementation of the SealPIR protocol☆157Updated last year
- A FRamework for Efficient Secure COmputation☆139Updated 9 months ago
- ☆238Updated last month
- A collection of Paillier cryptosystem zero knowledge proofs☆120Updated 2 years ago
- ☆11Updated last year