status-im/eth2.0-specs
2
0
Fork 0
mirror of https://github.com/status-im/eth2.0-specs.git synced 2025-02-21 23:08:12 +00:00
Code Issues Projects Releases Wiki Activity

clean up commitee assignment typing

Browse Source
This commit is contained in:
Danny Ryan 2019-06-30 20:44:02 -05:00
parent 4f47e30144
commit f4907d67ee
No known key found for this signature in database
GPG Key ID: 2765A792E42CE07A
2 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/build_spec.py
View File

@ -11,7 +11,7 @@ from typing import (
PHASE0_IMPORTS = '''from typing import ( PHASE0_IMPORTS = '''from typing import (
Any, Dict, Set, Sequence, Tuple, Any, Dict, Set, Sequence, Tuple, Optional
) )
from dataclasses import ( from dataclasses import (

10
specs/validator/0_beacon-chain-validator.md
View File

@ -135,13 +135,14 @@ A validator can get committee assignments for a given epoch using the following
```python ```python
def get_committee_assignment(state: BeaconState, def get_committee_assignment(state: BeaconState,
epoch: Epoch, epoch: Epoch,
validator_index: ValidatorIndex) -> Tuple[Sequence[ValidatorIndex], Shard, Slot]: validator_index: ValidatorIndex) -> Optional[Tuple[Sequence[ValidatorIndex], Shard, Slot]]:
""" """
Return the committee assignment in the ``epoch`` for ``validator_index``. Return the committee assignment in the ``epoch`` for ``validator_index``.
``assignment`` returned is a tuple of the following form: ``assignment`` returned is a tuple of the following form:
* ``assignment[0]`` is the list of validators in the committee * ``assignment[0]`` is the list of validators in the committee
* ``assignment[1]`` is the shard to which the committee is assigned * ``assignment[1]`` is the shard to which the committee is assigned
* ``assignment[2]`` is the slot at which the committee is assigned * ``assignment[2]`` is the slot at which the committee is assigned
Return None if no assignment.
""" """
next_epoch = get_current_epoch(state) + 1 next_epoch = get_current_epoch(state) + 1
assert epoch <= next_epoch assert epoch <= next_epoch
@ -155,11 +156,8 @@ def get_committee_assignment(state: BeaconState,
shard = Shard((slot_start_shard + i) % SHARD_COUNT) shard = Shard((slot_start_shard + i) % SHARD_COUNT)
committee = get_crosslink_committee(state, epoch, shard) committee = get_crosslink_committee(state, epoch, shard)
if validator_index in committee: if validator_index in committee:
break return committee, shard, Slot(slot)
else: return None
continue
break
return committee, shard, Slot(slot)
``` ```
A validator can use the following function to see if they are supposed to propose during their assigned committee slot. This function can only be run with a `state` of the slot in question. Proposer selection is only stable within the context of the current epoch. A validator can use the following function to see if they are supposed to propose during their assigned committee slot. This function can only be run with a `state` of the slot in question. Proposer selection is only stable within the context of the current epoch.