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) 以實現更輕鬆的整合。