# HElib Projects at AI Tinkerers

> Canonical HTML: https://aitinkerers.org/technologies/helib
> Markdown URL: https://aitinkerers.org/technologies/helib.md
> Technology record last updated: 2026-03-22T13:14:12Z
> Generated: 2026-09-21T22:53:26Z

HElib is the premier C++ library for programmable homomorphic encryption, implementing the BGV and CKKS schemes with advanced ciphertext bootstrapping.

Developed by IBM Research, HElib provides a high-performance framework for computing on encrypted data without decryption. It leverages the BGV scheme for integer arithmetic and the CKKS scheme for fixed-point approximations, utilizing the NTL mathematical library for low-level polynomial operations. The library excels at 'ciphertext packing' (processing multiple data points in a single vector) and features sophisticated optimization techniques like the Matzov-Smart bootstrapping. Developers use HElib to build privacy-preserving applications where sensitive workloads (such as genomic analysis or financial risk modeling) remain encrypted during every stage of the computation.

- Official technology site: https://github.com/homenc/HElib
- Public AI Tinkerers demos and talks: 1
- Result page: 1 of 1

## Recent Public Talks and Demos

### [Provably Private Inference: Trusted Hardware and In-Browser Verification of LLMs](https://boston.aitinkerers.org/talks/rsvp_hQGG4IgqTVY)

AI inference relies on trusting the operator with your private data: prompts and model responses are visible in the clear to your provider. In this demo, we show how to decouple trust from the model operator, making prompts and model responses provably private. We use remote attestation with AWS Nitro Enclaves and a novel approach to automatic, in-browser cryptographic verification of a running LLAMA model to show that provable private inference is not only possible, but practical and achievable with tooling available today.

- Event context: AI Tinkerers Boston November Meetup — 2024-11-25 — Boston
- Public talk page: https://boston.aitinkerers.org/talks/rsvp_hQGG4IgqTVY

## Related Technologies

- [AWS Nitro Enclaves](https://aitinkerers.org/technologies/aws-nitro-enclaves) ([Markdown](https://aitinkerers.org/technologies/aws-nitro-enclaves.md)) — 3 public demos
- [Concrete](https://aitinkerers.org/technologies/concrete) ([Markdown](https://aitinkerers.org/technologies/concrete.md)) — 1 public demo
- [Homomorphic Encryption](https://aitinkerers.org/technologies/homomorphic-encryption) ([Markdown](https://aitinkerers.org/technologies/homomorphic-encryption.md)) — 1 public demo
- [JWT](https://aitinkerers.org/technologies/jwt) ([Markdown](https://aitinkerers.org/technologies/jwt.md)) — 1 public demo
- [libsodium](https://aitinkerers.org/technologies/libsodium) ([Markdown](https://aitinkerers.org/technologies/libsodium.md)) — 1 public demo
- [llama](https://aitinkerers.org/technologies/llama) ([Markdown](https://aitinkerers.org/technologies/llama.md)) — 48 public demos
- [Microsoft SEAL](https://aitinkerers.org/technologies/microsoft-seal) ([Markdown](https://aitinkerers.org/technologies/microsoft-seal.md)) — 1 public demo
- [OpenPGP](https://aitinkerers.org/technologies/openpgp) ([Markdown](https://aitinkerers.org/technologies/openpgp.md)) — 2 public demos
- [PALISADE](https://aitinkerers.org/technologies/palisade) ([Markdown](https://aitinkerers.org/technologies/palisade.md)) — 1 public demo
- [Remote Attestation](https://aitinkerers.org/technologies/remote-attestation) ([Markdown](https://aitinkerers.org/technologies/remote-attestation.md)) — 1 public demo
- [Secure Multiparty Computation](https://aitinkerers.org/technologies/secure-multiparty-computation) ([Markdown](https://aitinkerers.org/technologies/secure-multiparty-computation.md)) — 1 public demo
- [SJCL](https://aitinkerers.org/technologies/sjcl) ([Markdown](https://aitinkerers.org/technologies/sjcl.md)) — 1 public demo
- [SubtleCrypto](https://aitinkerers.org/technologies/subtlecrypto) ([Markdown](https://aitinkerers.org/technologies/subtlecrypto.md)) — 1 public demo
- [TenSEAL](https://aitinkerers.org/technologies/tenseal) ([Markdown](https://aitinkerers.org/technologies/tenseal.md)) — 1 public demo
- [TweetNaCl](https://aitinkerers.org/technologies/tweetnacl) ([Markdown](https://aitinkerers.org/technologies/tweetnacl.md)) — 1 public demo
- [WebAuthn](https://aitinkerers.org/technologies/webauthn) ([Markdown](https://aitinkerers.org/technologies/webauthn.md)) — 2 public demos
- [Web Crypto API](https://aitinkerers.org/technologies/web-crypto-api) ([Markdown](https://aitinkerers.org/technologies/web-crypto-api.md)) — 1 public demo