Circuit obfuscation and topological quantum computation
A circuit obfuscator is an algorithm that accepts a circuit as input, and outputs a functionally-equivalent similarly-sized circuit which is "unintelligible." Finding a good obfuscator is a major problem in computer science. Besides their obvious applications to software protection, obfuscators can also be used to create public-key cryptosystems and homomorphic encryption. In this talk, I will discuss the problem of obfuscating quantum computations. I will outline some basic problems in this area, and then describe a simple and natural candidate obfuscator for topological quantum computation. I will also mention some possible future directions related to testing small quantum computers. No background in cryptography or obfuscation is assumed. This is based on joint work with Stacey Jeffrey and Stephen Jordan.