google/heir

HEIR: Homomorphic Encryption Intermediate Representation

HEIR is a compiler toolchain for fully homomorphic encryption (FHE). We aim to be the industry-standard compiler for FHE. Application developers, compiler engineers, hardware designers, and cryptography researchers can build upon HEIR to accelerate the research and development of production-strength privacy-first software systems.

How Google is Making Private AI Practical with Homomorphic Encryption

Today we're excited to showcase HEIR, the latest powerful tool added to our Private Computing Toolkit. HEIR is an open source compiler that unlocks cryptographically-sec…

zama-ai/concrete-ml

Concrete ML: Privacy Preserving ML framework using Fully Homomorphic Encryption (FHE), built on top of Concrete, with bindings to traditional ML frameworks.

Homomorphically Encrypting CRDTs | jakelazaroff.com

Homomorphic encryption allows a computer to run programs on encrypted data. Learn how homomorphic encryption works through interactive examples, build a homomorphically encrypted CRDT and see whether it has promise for local-first software.

Theorems for free! | Proceedings of the fourth international conference on Functional programming languages and computer architecture

The polymorphic blame calculus integrates static typing, including universal types, with dynamic typing. The primary challenge with this integration is preserving parametricity: even dynamically-typed code should satisfy it once it has been cast to a ...

Titan in depth: Security in plaintext | Google Cloud Blog

While there are no absolutes in computer security, we design, build and operate Google Cloud Platform (GCP) with the goal to protect customers' code and data. We harden our architecture at multiple layers, with components that include Google-designed hardware, a Google-controlled firmware stack, Google-curated OS images, a Google-hardened hypervisor, as well as data center physical security and services.

Gajesh on Twitter / X

TL;DRapple has turn on this switch for everyone to participate in decentralized inferenceppl can rent out their unused compute space and anyone can use this with privacy guarantees https://t.co/LTP4zyjsdt pic.twitter.com/8Dvo7XK8jJ— Gajesh (@gajesh) February 18, 2026

GitHub - Thomvanoorschot/boring_tls: A memory-safe TLS/SSL library for Zig, providing both client and server implementations built on Google's BoringSSL for secure, high-performance encrypted communications.

A memory-safe TLS/SSL library for Zig, providing both client and server implementations built on Google's BoringSSL for secure, high-performance encrypted communications. - Thomvanoorschot/...

Cryptomator - Free & Open-Source Cloud Storage Encryption

Cryptomator is an open-source encryption tool for secure cloud storage. Protect your privacy for free on Dropbox, Google Drive, OneDrive, and more.

google/longfellow-zk

Implementation of the Google Zero-Knowledge library for Identity Protocols.

Encrypted Spaces — Research preview

An architecture for collaborative applications where data is encrypted and operations are cryptographically verifiable.

Equivariance Encryption for Private LLM Inference — Davide Cifarelli

This article shows how we can leverage equivariant transformations to run LLM inference on encrypted data without losing model performance.

CyberChef

The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis

Architecture

Overview of Ente's end-to-end encrypted architecture—learn how your data is encrypted on-device, securely shared, and safely stored using cryptography.

Why Futhark?

A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.