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.