The sum of its parts: Analysis of federated byzantine agreement systems[J] DISTRIBUTED COMPUTING Florian, Martin Henningsen, Sebastian Ndolo, Charmaine Scheuermann, Bjoern