|
|
|---|
|
|
|
|---|
States of the AleoBFT labeled state transition system.
We introduce fixtypes for the states, and their components, that the AleoBFT system may be in at any given time. Along with the fixtypes, we also introduce some operations on them.
Although committees are not an explicit component of states, it is, in a way, an implicit component, since it is calculated from blockchains. So we include committees under states as well.