Homomorphic encryption has seen massive performance improvements over the past years
Yes. I agree that we're now at the point where it looks practical for certain niche application domains.
I'm looking forward to seeing similar improvements in verifiable computation, which would address some similar problems for distributed computation for some application domains. The "nearly practical" Pinocchio system was introduced, what, three years ago? Haven't looked into what's been happening in this area since.