[EFM] Dynamic Protocol State maintains EFM by injecting EpochExtensions

[kc1116]

Context

After an initial EpochExtension is added Subsequent EpochExtensions are added to the Protocol State according to the following algorithm:

Suppose we are in EFM and are processing block B.

• Let $\hat{V}$ be the final view of the current epoch, taking into account prior EpochExtensions.

We will add a new EpochExtension to the protocol state in block B iff both are true:

If we add a new EpochExtension, it will have the following form:

This issue is for adding EpochExtensions on an ongoing basis (maintaining EFM). #5724 is for injecting the first EpochExtension (entering EFM).

Definition of Done

Update Dynamic Protocol State Mutator to maintain EFM by periodically adding new EpochExtensions.

Further Reading

Design

[AlexHentschel]

see #5631 for more details

related issues:

• [EFM] Dynamic Protocol State injects EpochExtension when entering EFM #5724 is for injecting the first EpochExtension (entering EFM).
• [EFM] Dynamic Protocol State maintains EFM by injecting EpochExtensions #5726 is for adding EpochExtensions on an ongoing basis (maintaining EFM).
• [EFM] Modify EFM logic do not enter EFM while in EpochCommitted phase #5731 is for the detailed logic to avoid changing already committed leader selections.

[durkmurder]

Partially implemented in #5773

[durkmurder]

Remaining logic implemented in #5898