|
|
|---|
|
|
|
|---|
Fixtype of committees.
This is a product type introduced by fty::defprod.
The following invariant is enforced on the fields:
(not (emptyp addresses))
In our model, a committee is just a set of addresses, but we wrap it in a fixtype for greater abstraction and extensibility. When we generalize the model with stake, this committee fixtype will need to include the stake of each validator, besides the addresses of the validators.