encryptogroup / UC
Implementation of Valiant's universal circuit construction optimized for private function evaluation
☆39Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for UC
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 4 years ago
- Malicious Two Party Computation Based on Garbled Circuits.☆12Updated 4 years ago
- HAL: A Library for Homomorphic Authentication☆19Updated 7 years ago
- ☆50Updated last year
- Global-Scale Secure Multiparty Computation☆40Updated last year
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆43Updated 4 years ago
- A C++ implementation of the TinyLEGO cryptographic protocol [NST17] for general secure two-party computation☆16Updated 7 years ago
- Functional encryption library in C☆79Updated 3 years ago
- Experiments with Universal Composability in EasyCrypt☆31Updated this week
- SageMath library for constructing elliptic curves☆65Updated last year
- Optimized implementation of the Picnic signature scheme☆79Updated 2 years ago
- Oblivious transfer library for rust☆11Updated 4 years ago
- The garbled circuit backend for the ObliVM framework☆17Updated 8 years ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆60Updated last year
- Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders☆63Updated last year
- Companion repository for blog post on benchmarking implementations of Paillier encryption☆19Updated 7 years ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆23Updated last year
- MPC Simulation Framework☆24Updated last year
- Argument systems for inner pairing products☆41Updated 3 months ago
- Super Amazing Universal Composability, Yeah!☆33Updated 2 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆37Updated 4 years ago
- Hashing to Elliptic Curves☆79Updated 2 months ago
- Fast 4 way vectorized ladder for the complete set of Montgomery curves☆10Updated 5 years ago
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 3 years ago
- ☆131Updated 4 years ago
- A pure-Rust implementation of the Paillier encryption scheme☆81Updated 6 years ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Updated 2 years ago
- Examples for EasyCrypt Lectures☆22Updated 3 weeks ago
- Efficient and Interactive Zero-Knowledge Proofs☆80Updated 9 months ago
- C++ library for IOP-based zkSNARKs☆148Updated 9 months ago