This is pretty neat stuff. It suggests that you can run trusted code on an un-trusted machine, and trust the results, all while not revealing the code. Imagine

This is pretty neat stuff. It suggests that you can run trusted code on an un-trusted machine, and trust the results, all while not revealing the code. Imagine "your homework is correct" without "here are the answers." There may be limitations, this is denser than I can really parse, but if this is open ended, it could lead to some interesting use cases. On the down side, obfuscation appears to win, which I did not expect.