1. King's College London,Department of Informatics,London,UK
2. FIM Research Center, University of Bayreuth,Bayreuth,Germany
3. Imperial College London,Department of Mathematics,London,UK
4. Centre for Blockchain Technologies, University College London,London,UK