google/heir

解决的问题

HEIR 为同态加密 (HE) 提供通用的编译器工具链，简化了编写和部署加密计算的过程。它消除了开发人员手动管理不同 HE 库和方案中复杂的底层细节的需要。

工作原理

HEIR 构建在 MLIR (Multi-Level Intermediate Representation) 框架之上，作为一个中间层，将高层加密操作转换为针对特定后端的优化代码。它支持多种同态加密方案（如 BGV、BFV、CKKS 和 CGGI），并与 OpenFHE、Lattigo、tfhe-rs 和 Jaxite 等各种后端库集成。

适用对象

专为从事同态加密工作的开发人员和研究人员设计，他们希望针对多个 HE 库进行开发，而无需为每个库重写代码。

亮点

• 用于 HE 编译器的基于 MLIR 的工具链。
• 支持包括 BGV、BFV、CKKS 和 CGGI 在内的多种加密方案。
• 与包括 OpenFHE 和 Lattigo 在内的多个后端库兼容。
• 提供 Python 包 (heir_py) 以实现更轻松的集成。