[phkahler]

>> So IO definition does not claim that IO is able to hide the key.

From what I've read, that doesn't even matter. The obfuscated program IS effectively the key. A copy of that obfuscated program is still a copy of the key. It's still not clear to me what the advantage is supposed to be.

[tromp]

The obfuscated program only uses its embedded key in ways it sees fit. You cannot sign arbitrary statements with the key.