The encrypted computer has its RAM and execution encrypted - it's a virtual black box. Whatever program it runs, the only thing one can learn are its outputs.

The talk will explore viable paths to build the encrypted computer. We'll start with FHE and explore its efficiency, obstacles, and our learning. We'll then explore promising approaches to program obfuscation (local mixing, MPB, etc.)