TL;DR
EVA is a new encrypted vector arithmetic language and compiler that simplifies the development of efficient, secure homomorphic encryption applications, enabling broader adoption and higher performance.
Contribution
The paper introduces EVA, a novel FHE language and compiler that automates complex cryptographic details, improving efficiency and usability for general-purpose applications.
Findings
EVA enables development of image processing applications with minimal code.
EVA programs are on average 5.3x faster than existing domain-specific compilers.
EVA can serve as an intermediate representation for higher-level FHE languages.
Abstract
Fully-Homomorphic Encryption (FHE) offers powerful capabilities by enabling secure offloading of both storage and computation, and recent innovations in schemes and implementations have made it all the more attractive. At the same time, FHE is notoriously hard to use with a very constrained programming model, a very unusual performance profile, and many cryptographic constraints. Existing compilers for FHE either target simpler but less efficient FHE schemes or only support specific domains where they can rely on expert-provided high-level runtimes to hide complications. This paper presents a new FHE language called Encrypted Vector Arithmetic (EVA), which includes an optimizing compiler that generates correct and secure FHE programs, while hiding all the complexities of the target FHE scheme. Bolstered by our optimizing compiler, programmers can develop efficient general-purpose FHE…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
