Flow: Separating Consensus and Compute - Execution Verification. - Alexander Hentschel; Dieter Shirley; Layne Lafrance; Maor Zamski (CoRR, 2019)