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) 제공