There have been very recent developments in homomorphic encryption - essentially doing addition and multiplication on encrypted data without revealing the input

There have been very recent developments in homomorphic encryption - essentially doing addition and multiplication on encrypted data without revealing the inputs or outputs, and zero-knowledge proofs, thus enabling general trust-less computing.