|
|
|---|
|
|
|
|---|
Events of the AleoBFT labeled state transition system.
We introduce a fixtype for the events that can happen in the system, which move the system from state to state.
In the framework of labeled state transition systems, these events are the labels of the transitions.