Byzantine consensus in asynchronous message-passing systems: a surv...