Consensys/eth2.0-dafny

Define constant for Max number of validators

Closed this issue · 2 comments

In the Gasper helpers and proofs, change the MAX_VALIDATORS_PER_COMMITTEE to another (new) constant which is the size of the set of validators and not necessarily the MAX number of validators per committee.

Moreover, this can change over time, so at some point, it should be replaced by the current size of the set of validators.

Not sure if this does not already exist and is called VALIDATOR_REGISTRY_LIMIT?

We have used the VALIDATOR_REGISTRY_LIMIT.