Strictly speaking there's homomorphic encryption. It's still horribly slow and expensive but it literally lets you run compute on untrusted hardware in a way that's mathematically provable.
And they are pushing in that direction: https://machinelearning.apple.com/research/homomorphic-encry...
Yeah the impetus for PCC was that homomorphic encryption wasn't feasible and this was the best realistic alternative.