remytuyeras / aces
A python library for the fully homomorphic encryption scheme ACES
☆16Updated last month
Alternatives and similar repositories for aces:
Users that are interested in aces are comparing it to the libraries listed below
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆37Updated last year
- ☆22Updated last month
- spqlios arithmetic library for FHE and post-quantum crypto☆19Updated 7 months ago
- A ZKP-augmented fork of the OpenFHE library☆17Updated 8 months ago
- Polycircuit is an FHE components library built via FHERMA competitions☆18Updated 4 months ago
- ☆14Updated last week
- lattice-based zkSNARKs over libsnark [ISW21]☆31Updated 5 months ago
- ☆10Updated 5 months ago
- Implementation of SortingHat: Efficient Private Decision Tree Evaluation via Homomorphic Encryption and Transciphering.☆18Updated 2 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆124Updated last year
- Lattices in Cryptography (University of Michigan)☆82Updated 6 months ago
- Scripts to generate data for security parameters constraints section☆12Updated 3 months ago
- HEonGPU is a high-performance library that optimizes Fully Homomorphic Encryption (FHE) on GPUs. Leveraging GPU parallelism, it reduces c…☆57Updated last week
- MOSFHET: Optimized Software for FHE over the Torus☆17Updated 7 months ago
- We are a community of researchers and developers interested in advancing homomorphic encryption and other secure computation techniques.☆55Updated this week
- ☆36Updated last month
- POC implementation of "Accelerating HE Operations Using Key Decomposition"[KLSS23]☆14Updated last year
- A GKR-based zero-knowledge proof protocol for CNN model inference.☆77Updated 2 years ago
- ☆32Updated last month
- Experiments with Universal Composability in EasyCrypt☆33Updated this week
- Implementation of Multi-Key TFHE [KMS22]☆15Updated last year
- ☆17Updated 4 months ago
- ☆30Updated last year
- Formally Verified SNARKs in Lean☆54Updated last week
- ☆75Updated this week
- Homomorphic comparison in leveled homomorphic encryption and its applications☆37Updated 3 years ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆186Updated last week
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Updated 5 years ago
- An attempt at a new LWE estimator☆253Updated 3 weeks ago
- Authenticated Garbling and Efficient Maliciously Secure Two-Party Computation☆26Updated 2 years ago