google/heir

解決する課題

HEIRは準同型暗号（HE）のための汎用コンパイラツールチェーンを提供し、暗号化された計算の記述と展開のプロセスを簡素化します。これにより、開発者が異なるHEライブラリやスキームの複雑な低レベルの詳細を手動で管理する必要がなくなります。

仕組み

MLIR（Multi-Level Intermediate Representation）フレームワーク上に構築されたHEIRは、高レベルの暗号化操作を特定のバックエンド向けの最適化されたコードに変換する中間層として機能します。BGV、BFV、CKKS、CGGIなどの複数の準同型暗号スキームをサポートし、OpenFHE、Lattigo、tfhe-rs、Jaxiteなどの様々なバックエンドライブラリと統合されます。

対象者

コードを各ライブラリ向けに書き直すことなく、複数のHEライブラリをターゲットにしたい、準同型暗号に取り組む開発者や研究者向けに設計されています。

ハイライト

• HEコンパイラのためのMLIRベースのツールチェーン
• BGV、BFV、CKKS、CGGIを含む複数の暗号化スキームをサポート
• OpenFHEやLattigoを含む複数のバックエンドライブラリと互換性あり
• より簡単な統合のためのPythonパッケージ (heir_py) を提供