|
|
|---|
|
|
|
|---|
Transactions.
Validators propose transactions for inclusion in the blockchain. Transactions have a rich structure. In fact, AleoBFT handles not only transactions, but also `solutions' and `ratifications', which together with transactions form `transmissions'.
However, most of these details are unimportant for our model. Our model is only concerned with two kinds of transactions: one to bond a validator (i.e. add the validator to the committee), and one to unbond a validator (i.e. remove the validator from the committee). So we consider these two kinds of transactions, plus an opaque one for all other kinds of transactions, and more in general the other kinds of transmissions mentioned above. We stick to the more common term `transaction' in our model, but one can imagine that the non-bonding and non-unbonding transactions (i.e. the third kind of transactions in our model) also captures solutions and ratifications.