This podcast discusses the possibility of using blockchain to generate proofs for arbitrary computation, which can be validated in logarithmic or constant time. This would allow anyone to handle distributed computing problems on any server, without having to trust the output but instead, trusting the deterministic proof.