EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation
Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi
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.
Topics & Concepts
Computer scienceHomomorphic encryptionCompilerCryptographyEncryptionProgramming languageImplementationTheoretical computer scienceComputationArithmeticSemantics (computer science)Scheme (mathematics)Cryptographic primitiveSecure multi-party computationParallel computingFunctional encryptionAssembly languageAES implementationsRegister allocationCryptography and Data SecurityComplexity and Algorithms in GraphsPrivacy-Preserving Technologies in Data