In case there are people following zero-knowledge proof advances, this is the last breakthrough, which allows to compress long-running computations into a single proof.