Virtual Black-Box Obfuscation for All Circuits via Generic Graded Encoding

We present a new general-purpose obfuscator, which achieves the strong notion of virtual black-box security under generic attacks. Security is proved under cryptographic and complexity-theoretic assumptions. We also prove that the obfuscator achieves the weaker notion of indistinguishability obfuscation under generic attacks. This second proof uses only standard cryptographic assumptions.

Joint work with Zvika Brakerski.