TY - RPRT TI - Flow: Separating Consensus and Compute -- Execution Verification AU - Alexander Hentschel AU - Dieter Shirley AU - Layne Lafrance AU - Maor Zamski PY - 2019 UR - https://arxiv.org/abs/1909.05832 ID - 1909.05832 ER -