state-machine-based Byzantine fault tolerance algorithm