EVA Improved
Sangeeta Chowdhary, Wei Dai, Kim Laine, Olli Saarikivi
Abstract
Homomorphic encryption (HE), especially the CKKS scheme, can be extremely challenging to use. The EVA language and compiler (Dathathri et al., PLDI 2020) was an attempt at addressing this challenge. EVA allows a developer to express their encrypted computation in a simple form with a Python-integrated language called PyEVA. It then compiles the program into an executable form by inserting operations such as relinearization and rescaling, applying optimizations, and choosing encryption parameters with the objective of minimizing execution time. Compiled programs can be executed with a parallelizing back-end against a library of HE primitives.
Topics & Concepts
Computer scienceExecutableCompilerProgramming languagePython (programming language)EncryptionHomomorphic encryptionScheme (mathematics)ComputationOperating systemMathematical analysisMathematicsCryptography and Data SecurityComplexity and Algorithms in GraphsAdvanced Data Storage Technologies