Ah, thanks for the edit. I've read about homomorphic computing a while ago, and I was getting excited, but there's still no fully homomorphic implementation, is that right?
Is there at least proof that it is possible? This would be amazing technology.
