HEIR: A Universal Compiler for Homomorphic Encryption
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866912539094286336 |
|---|---|
| author | Ali, Asra Choi, Jaeho Gipson, Bryant Gorantala, Shruthi Kun, Jeremy Legiest, Wouter Lim, Lawrence Viand, Alexander Demissie, Meron Zerihun Zheng, Hongren |
| author_facet | Ali, Asra Choi, Jaeho Gipson, Bryant Gorantala, Shruthi Kun, Jeremy Legiest, Wouter Lim, Lawrence Viand, Alexander Demissie, Meron Zerihun Zheng, Hongren |
| contents | This work presents Homomorphic Encryption Intermediate Representation (HEIR), a unified approach to building homomorphic encryption (HE) compilers. HEIR aims to support all mainstream techniques in homomorphic encryption, integrate with all major software libraries and hardware accelerators, and advance the field by providing a platform for research and benchmarking. Built on the MLIR compiler framework, HEIR introduces HE-specific abstraction layers at which existing optimizations and new research ideas may be easily implemented. Although many HE optimization techniques have been proposed, it remains difficult to combine or compare them effectively. HEIR provides a means to effectively explore the space of HE optimizations. HEIR addresses the entire HE stack and includes support for various frontends, including Python. The contribution of this work includes: (1) We introduce HEIR as a framework for building HE compilers. (2) We validate HEIR's design by porting a large fraction of the HE literature to HEIR, and we argue that HEIR can tackle more complicated and diverse programs than prior literature. (3) We provide evidence that HEIR is emerging as the de facto HE compiler for academic research and industry development. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_11095 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | HEIR: A Universal Compiler for Homomorphic Encryption Ali, Asra Choi, Jaeho Gipson, Bryant Gorantala, Shruthi Kun, Jeremy Legiest, Wouter Lim, Lawrence Viand, Alexander Demissie, Meron Zerihun Zheng, Hongren Cryptography and Security This work presents Homomorphic Encryption Intermediate Representation (HEIR), a unified approach to building homomorphic encryption (HE) compilers. HEIR aims to support all mainstream techniques in homomorphic encryption, integrate with all major software libraries and hardware accelerators, and advance the field by providing a platform for research and benchmarking. Built on the MLIR compiler framework, HEIR introduces HE-specific abstraction layers at which existing optimizations and new research ideas may be easily implemented. Although many HE optimization techniques have been proposed, it remains difficult to combine or compare them effectively. HEIR provides a means to effectively explore the space of HE optimizations. HEIR addresses the entire HE stack and includes support for various frontends, including Python. The contribution of this work includes: (1) We introduce HEIR as a framework for building HE compilers. (2) We validate HEIR's design by porting a large fraction of the HE literature to HEIR, and we argue that HEIR can tackle more complicated and diverse programs than prior literature. (3) We provide evidence that HEIR is emerging as the de facto HE compiler for academic research and industry development. |
| title | HEIR: A Universal Compiler for Homomorphic Encryption |
| topic | Cryptography and Security |
| url | https://arxiv.org/abs/2508.11095 |