HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption
Homomorphic encryption (HE) is an encryption scheme that provides arithmetic operations on the encrypted data without doing decryption.
For Ring-based HE, an encryption scheme that uses arithmetic operations on a polynomial ring as building blocks, performance improvement of unit HE operations has been achieved by two kinds of efforts.
The first one is through accelerating the building blocks, polynomial operations.
However, it does not facilitate optimizations across polynomial operations such as fusing two polynomial operations.
The second one is implementing highly optimized HE operations in an amalgamated manner.
The written codes have superior performance, but they are hard to maintain.
To resolve these challenges, we propose HEaaN.MLIR, a compiler that performs optimizations across polynomial operations.
Also, we propose Poly and ModArith, compiler intermediate representations (IRs) for integer polynomial arithmetic and modulus arithmetic on integer arrays.
HEaaN.MLIR has compiler optimizations that are motivated by manual optimizations that HE developers do.
These include optimizing modular arithmetic operations, fusing loops, and vectorizing integer arithmetic instructions.
HEaaN.MLIR can parse a program consisting of the Poly and ModArith instructions and generate a high-performance, multithreaded machine code for a CPU.
Our experiment shows that the compiled operations outperform heavily optimized open-source and commercial HE libraries by up to 3.06x in a single thread and 4.55x in multiple threads.
Mon 19 JunDisplayed time zone: Eastern Time (US & Canada) change
13:40 - 15:20 | PLDI: CompilationPLDI Research Papers at Cypress 2 Chair(s): Chung-Kil Hur Seoul National University | ||
13:40 20mTalk | Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations PLDI Research Papers Raphael Isemann Vrije Universiteit Amsterdam, Cristiano Giuffrida Vrije Universiteit Amsterdam, Herbert Bos Vrije Universiteit Amsterdam, Erik van der Kouwe Vrije Universiteit Amsterdam, Klaus von Gleissenthall Vrije Universiteit Amsterdam DOI | ||
14:00 20mTalk | Better Together: Unifying Datalog and Equality Saturation PLDI Research Papers Yihong Zhang University of Washington, Yisu Remy Wang University of Washington, Oliver Flatt University of Washington, David Cao University of California at San Diego, Philip Zucker Draper, Eli Rosenthal Google, Zachary Tatlock University of Washington, Max Willsey University of Washington DOI Pre-print | ||
14:20 20mTalk | HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption PLDI Research Papers Sunjae Park Seoul National University, Woosung Song Google, Seunghyeon Nam Seoul National University, Hyeongyu Kim Seoul National University, Junbum Shin CryptoLab, Juneyoung Lee AWS DOI | ||
14:40 20mTalk | Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs PLDI Research Papers Scott Kovach Stanford University, Praneeth Kolichala Stanford University, Tiancheng “Timothy” Gu Stanford University, Fredrik Kjolstad Stanford University DOI Pre-print | ||
15:00 20mTalk | Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages PLDI Research Papers Vsevolod Livinskii University of Utah, Dmitry Babokin Intel Corporation, John Regehr University of Utah DOI Pre-print |