HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.
☆22Jul 6, 2021Updated 5 years ago
Alternatives and similar repositories for HElib
Users that are interested in HElib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Chemical programming framework based on Banâtre's Gamma☆10Feb 11, 2017Updated 9 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 4 years ago
- Example showing how to build a JS/WASM version of a C++ library using modern cmake☆20Apr 17, 2020Updated 6 years ago
- obfuscation that aims to not stand out☆22Mar 27, 2022Updated 4 years ago
- Personal curation of Clang/LLVM patches.☆11Feb 27, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17May 2, 2018Updated 8 years ago
- ☆13Sep 25, 2023Updated 2 years ago
- ☆23Mar 13, 2023Updated 3 years ago
- Opensource uPlay API Emulator☆13Jan 25, 2016Updated 10 years ago
- Virtual machine with a custom instruction set in C☆16Jul 17, 2018Updated 8 years ago
- Pointer encryption library in rust.☆16Apr 13, 2025Updated last year
- 🔒 ZK-WASM: Zero-Knowledge Proofs in Rust 🦀, compiled to WebAssembly 🕸️, bridged with JavaScript 🚀☆28May 26, 2023Updated 3 years ago
- Lattice-Based Zero-Knowledge Proofs and Applications: Shorter, Simpler, and More General☆17Jan 13, 2023Updated 3 years ago
- An implementation of a post quantum anonymous credential scheme☆17Dec 18, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Lattice RingCT v2.0 with Multiple Input and Output Wallets☆11Feb 21, 2019Updated 7 years ago
- FYP on using e-graphs to solve smt bitvector problems☆16Jun 24, 2025Updated last year
- RISC-V Disassembler☆17Aug 25, 2020Updated 5 years ago
- This PoC illustrates our work on asymmetric white-box cryptography, it can be used to generate a set of lookup tables used for lattice-ba…☆22Mar 24, 2021Updated 5 years ago
- ☆46Apr 10, 2021Updated 5 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆22Jun 13, 2023Updated 3 years ago
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆37Apr 3, 2020Updated 6 years ago
- OLLVM workshop materials☆19Oct 29, 2025Updated 9 months ago
- Simple anti-instrumentation with EFLAGS.AC☆17Mar 31, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- binary->LLVM->circuits☆19Feb 26, 2024Updated 2 years ago
- LLVM Graph View for VSCode☆44Mar 25, 2025Updated last year
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Jan 20, 2020Updated 6 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆21Dec 3, 2021Updated 4 years ago
- Implementation of the blindbid logic within Zero Knowledge Proofs☆20Sep 15, 2021Updated 4 years ago
- Artifact for the IEEE S&P 2025 paper: "Rapid Reversing of Non-Linear CPU Cache Slice Functions: Unlocking Physical Address Leakage"☆20Apr 3, 2026Updated 4 months ago
- ☆21Oct 2, 2018Updated 7 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated last year
- Optimize Z3 strategies for your problem!☆28Aug 3, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆20Feb 22, 2021Updated 5 years ago
- Mathematical Operation Simplifier for .NET Applications☆17Nov 20, 2019Updated 6 years ago
- ☆24Oct 11, 2021Updated 4 years ago
- E-Graph library☆23Apr 4, 2024Updated 2 years ago
- ptrace-backed dynamic instrumentation utility for x86_64 linux☆16Apr 3, 2022Updated 4 years ago
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 6 years ago
- ☆24Feb 27, 2021Updated 5 years ago