[Animats]

The last time I saw this, the idea was to fully unwind a program into a huge, very deep, loop-free network of logic gates. After that, it was possible to create an larger network which produced the same outputs for the same inputs, but with internal structure obfuscated in a way that was theoretically difficult to undo. This was a interesting concept, but didn't immediately lead anywhere useful. Has there been progress?