tate-machine replication and consensus algorithms have been around for a long time and underpin several core-distributed primitives that power web-scale platforms, such as Google (Chubby, Spanner), Amazon Web Services and many others.