Transitions-endorse
Transitions for proposal endorsement.
Here we define the system state changes caused by endorse events.
If the network contains a message with a proposal addressed to a validator
(this message is generated by a propose event),
the validator can consume that message and endorse the proposal,
under suitable conditions.
If the validator is faulty, there is in fact no condition:
a faulty validator may sign anything.
If the validator is correct,
there are a number of checks that the validator performs.
Either way, a successful endorsement results in
a new endorsement message being added to the network:
this is addressed to the author of the proposal.
Subtopics
- Endorse-possiblep
- Check if an endorse event is possible in a system state.
- Endorse-next
- New system state resulting from an endorse event.
