heir.dev

核心定位与功能

HEIR（Homomorphic Encryption Intermediate Representation）是由 Google 维护的开源全同态加密（FHE）编译器工具链，旨在成为该领域的行业标准。其核心功能是将高级语言程序编译为加密等价程序，支持现代 FHE 方案（如 BGV、CKKS），并为 GPU、TPU、FPGA 等硬件加速器及 OpenFHE、Lattigo 等主流 FHE 库提供代码生成。此外，它还为密码学研究提供了优化实现与基准测试平台。

维度深度解析

支持语言与生态集成：前端目前主要支持 Python 和 Torch，开发者可通过类型注解标记密文，由 HEIR 完成后续编译；C/C++ 支持尚处实验阶段。底层基于 MLIR 框架，提供丰富的 Dialects（如 LWE、CGGI 等）。工具链包含 heir-opt（优化与转换）、heir-translate（代码生成）及 heir-lsp，并通过 heir_py 提供 Python SDK。生态上深度绑定 Bazel 构建系统，并支持 Yosys 逻辑综合。
开源与自托管：项目在 GitHub 完全开源，支持通过 pip 或源码编译进行本地自托管部署。
文档质量：文档结构清晰，包含快速入门、开发指南及点积等完整示例，但构建依赖复杂，且对硬件资源要求极高（编译 OpenFHE 等依赖最高需 32GB RAM），对新手不够友好。

定价与优缺点

项目完全免费。优点在于：Google 背书且紧跟 MLIR 上游更新；多层抽象设计对硬件加速器极其友好；Python 前端降低了 FHE 应用门槛。缺点在于：项目尚处早期，治理结构未定型；C/C++ 前端不成熟；构建环境重且内存消耗大；Google 内部的 Copybara 同步机制导致外部 PR 合并流程略显繁琐。

适用人群与中国访问

适合 FHE 应用开发者、编译器工程师、硬件设计师及密码学研究人员。由于项目托管于 GitHub 且依赖 PyPI 与 Bazel 远程仓库，国内访问部分受限，建议配置代理或使用镜像源加速。