# Microsoft SEAL Projects at AI Tinkerers

> Canonical HTML: https://aitinkerers.org/technologies/microsoft-seal
> Markdown URL: https://aitinkerers.org/technologies/microsoft-seal.md
> Technology record last updated: 2026-03-22T13:14:10Z
> Generated: 2026-09-20T12:39:00Z

Microsoft SEAL is a high-performance homomorphic encryption library that enables computations on encrypted data without ever needing a decryption key.

Developed by the Cryptography and Privacy Research group at Microsoft, this C++ library provides a robust implementation of the BFV and CKKS homomorphic encryption schemes. It allows developers to build privacy-preserving applications where sensitive data (like medical records or financial transactions) remains encrypted while being processed by cloud services. The library includes a C# wrapper (.NET Standard) to broaden accessibility and leverages optimized arithmetic to maintain performance across various hardware configurations.

- Official technology site: https://github.com/microsoft/SEAL
- 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
- [HElib](https://aitinkerers.org/technologies/helib) ([Markdown](https://aitinkerers.org/technologies/helib.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
- [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