pub trait EventualSynchrony { }Expand description
Assumption (Eventual synchrony). There is a time GST and a bound Δ, both unknown to the protocol, such that every message sent between correct participants after GST is delivered within Δ, and every message sent before GST is delivered by GST + Δ.
“Participants” here includes clients: a Linera consensus round is driven by a client
(ActiveCorrectDriver), so the relevant round trips are client-to-validator, not
validator-to-validator.
Before GST nothing is claimed. In particular a network that reorders, delays or drops
messages arbitrarily can keep ChainTipState::next_block_height fixed forever without
violating any result in this specification.