Barak et al proved that you cannot encrypt source code and have someone else run it without decrypting it.
I don’t really understand Barak’s proof, but I found a project with a paper from last year that does exactly that. So either there’s a flaw in their method, or a flaw in Barak’s proof (even if just in it’s generality). Their work seems pretty solid so my bet is on them, but I’m definitely not qualified to evaluate it.
I don’t really understand Barak’s proof, but I found a project with a paper from last year that does exactly that. So either there’s a flaw in their method, or a flaw in Barak’s proof (even if just in it’s generality). Their work seems pretty solid so my bet is on them, but I’m definitely not qualified to evaluate it.