An extensive open source framework for efficient homomorphic encryption would have been so much more exciting and I really hope there will be some kind of breakthrough that reduces the current overhead significantly so it will be more commonly used in the future.. Oh well, at least there is a theoretical foundation (for completely trustless computation) on which we can build on.