Informally, an
obfuscator O is an (efficient, probabilistic) "compiler" that takes as input a program (or circuit)
P and produces a new program
O(P) that has the same functionality as
P yet is "unintelligible" in some sense. Obfuscators, if they exist, would have a wide variety of cryptographic and complexity-theoretic ...
more >>>