pub trait CommittedBlock { }Expand description
Definition (Committed block). A block B at height h of a chain is committed when a
ConfirmedBlockCertificate for B, valid for the committee of its epoch, exists — that
is, when a quorum has cast confirmation votes for B.
The commit rule is therefore:
| round | rule |
|---|---|
Round::Fast | a quorum of confirmation votes on a super owner’s fast proposal, with no validation step |
any other round r | a quorum of validation votes for B in round r, then a quorum of confirmation votes for B in round r |
Commitment is a property of the world, not of any one node: a block can be committed before
any particular correct validator learns of it. The node-local reflection of it is
TipAdvancesOnlyOnValidCertificate.