See the consensus spec and the reactor consensus spec for more information.