“Obfuscated circuit” implies there is some circuit that get obfuscated, obfuscation is a map from circuits to circuits that increases the size and makes them inscrutable.
So obfuscation per se is not a problem for the statement. But it is an obstruction to a proof. You can’t just handle obfuscation as a special case, it’s not a natural kind, just an example that shows what kind of thing is possible.
Yes, this is why I think the statement is true.
“Obfuscated circuit” implies there is some circuit that get obfuscated, obfuscation is a map from circuits to circuits that increases the size and makes them inscrutable.
So obfuscation per se is not a problem for the statement. But it is an obstruction to a proof. You can’t just handle obfuscation as a special case, it’s not a natural kind, just an example that shows what kind of thing is possible.