arrow
返回

CHEHAB: Automatic Compiler Code Optimization for Fully Homomorphic Encryption

delete2026-01-01
delete0
PRE
AI
A
Abdessamed Seddiki *
A
Arab Mohammed
Z
Zakaria Hebbal
A
Aimad Chabounia
E
Eduardo Chielle
K
Karima Benatchba
C
Challal Yacine
D
Djamel Eddine Menacer
M
Michail Maniatakos
R
Riyadh Baghdadi
DOI:10.1145/3771775.3786269delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
全同态加密(FHE)能够在不解密的情况下直接对加密数据进行有意义的计算。尽管其具有变革性潜力,但FHE计算成本仍然高昂。此外,编写高效的FHE代码是一项易出错、繁琐且耗时的工作,需要密码学专业知识。程序员可能不了解所有可能的优化,而某些优化需要大量努力。本文提出CHEHAB,一个自动向量化标量代码、优化并生成高效FHE代码的编译器。CHEHAB支持结构化和非结构化代码的优化。它以CHEHAB领域特定语言(嵌入C++)表示的程序作为输入,并使用项重写系统(TRS)进行简化。CHEHAB针对两个问题:1)标量代码的向量化;2)减少指令执行延迟和噪声增长。它通过利用等式饱和的TRS解决这两个问题,以向量化代码、减少指令数量并降低电路深度。与相关工作相比,所提出的方法不仅更好地扩展到更大的算术电路,还生成更快的代码。我们在一组核心代码上评估CHEHAB,并与Coyote(一种最先进的FHE向量化编译器)进行比较。结果表明,CHEHAB生成的代码平均执行速度快7.38倍,累积噪声低2.49倍,编译速度快251倍。
Keyword:
Automatic Code Optimization
Compiler
FHE
Fully Homomorphic Encryption
Equality Saturation

期刊

P
PROCEEDINGS OF THE 35TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, CC 2026
IF:
0
论文数:
18
被引数:
0

机构

N
new york university
学者数:
6.2K
论文数: 3.0K
被引数: 1
E
Ecole Nationale Superieure d'Informatique
学者数:
22
论文数: 11
被引数: 0
N
New York University Abu Dhabi
学者数:
2.1K
论文数: 1.5K
被引数: 3.3K
学者 查看更多机构
引用论文

引用论文

err
IF0
err
err0
errOAAI
err
err分享
err收藏
Halide: Decoupling Algorithms from Schedules for High-Performance Image Processing
err2017-12-27
err70
errOAAI
errRagan-Kelley, Jonathan; Adams, Andrew; Sharlet, Dillon; Barnes, Connelly; Paris, Sylvain; Levoy, Marc; Amarasinghe, Saman; Durand, Fredo
err分享
err收藏
err分享
err收藏
Verifying and improving Halide’s term rewriting system with program synthesis
err2020-11-13
err0
PREAI
errNewcomb,Julie L.; Adams,Andrew; Johnson,Steven; Bodik,Rastislav; Kamil,Shoaib
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
Caviar: an e-graph based TRS for automatic code optimization
err2022-03-19
err0
PREAI
errKourta,Smail; Namani,Adel Abderahmane; Benbouzid-Si Tayeb,Fatima; Hazelwood,Kim; Cummins,Chris; Leather,Hugh; Baghdadi,Riyadh
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
ANT-ACE: An FHE Compiler Framework for Automating Neural Network Inference
err2025-03-01
err0
PREAI
errLi,Long; Lai,Jianxin; Yuan,Peng; Sui,Tianxiang; Liu,Yan; Zhu,Qing; Zhang,Xiaojing; Xiao,Linjie; Chen,Wenguang; Xue,Jingling
err分享
err收藏
学者 查看更多内容