ALCHEMY - A Language and Compiler for Homomorphic Encryption Made Easy

Explore ALCHEMY, a groundbreaking system that simplifies and accelerates the use of Fully Homomorphic Encryption (FHE), in this 25-minute conference talk presented at the Association for Computing Machinery (ACM). Discover how ALCHEMY compiles "in-the-clear" computations on plaintexts, written in a modular domain-specific language (DSL), into corresponding homomorphic computations on ciphertexts, eliminating the need for specialized FHE knowledge. Learn about traditional encryption methods, FHE concepts, and the innovative ALCHEMY approach. Examine the testbed application, homomorphic compilation and evaluation processes, and the integration of diagnostic logs. Gain insights into DSL and interpreter design, language features and components, and performance considerations. Conclude with a discussion on future developments in this exciting field of cryptography and secure computation.

Intro
Traditional Encryption
Fully Homomorphic Encryption
The ALCHEMY approach
Testbed application
Homomorphic compilation and evaluation
Homomorphic compilation + diagnostic log
Other interpreters
DSL and interpreter design
Language features
Language components
Performance
Future work
Thank you!