	Indistinguishability obfuscation (IO) is a cryptographic primitive that provides a formal notion of program obfuscation. Informally, obfuscation hides the implementation of a program while still allowing users to run it. A candidate construction of IO with provable security under concrete hardness assumptions relating to multilinear maps was published in 2013.