zksnarks https://blog.ethereum.org/2016/12/05/zksnarks-in-a-nutshell/

Essentially let’s you verify computation is accurate without doing the computation yourself, and even treating the computation as a black box so you don’t know what is computed. Many applications in privacy, but also for outsourced computation.