|
|
|---|
|
|
|
|---|
Fixtype of blocks.
This is a product type introduced by fty::defprod.
We model a block as consisting of a list of transactions.
There is a natural association of blocks to round numbers. But since in our current model committees are static, we do not need that information in a block. We just need blocks to be containers of transactions. Furthermore, as proved in invariant-blockchain-redundant, the blocks in a validator state are actually redundant, i.e. calculable from other state components (specifically, the committed anchors), so one can always obtain the round numbers associated to blocks by calculating them from the committed anchors.