status-im/eth2.0-specs
2
0
Fork 0
mirror of https://github.com/status-im/eth2.0-specs.git synced 2025-01-14 20:54:27 +00:00
Code Issues Projects Releases Wiki Activity

Avoid underflow in voluntary exits

Browse Source
This commit is contained in:
Justin 2019-03-19 12:23:17 +00:00 committed by GitHub
parent 91a0c1ba5f
commit 78f47f2069
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
specs/core/0_beacon-chain.md
View File

@ -2472,6 +2472,7 @@ def process_voluntary_exit(state: BeaconState, exit: VoluntaryExit) -> None:
# Exits must specify an epoch when they become valid; they are not valid before then # Exits must specify an epoch when they become valid; they are not valid before then
assert get_current_epoch(state) >= exit.epoch assert get_current_epoch(state) >= exit.epoch
# Must have been in the validator set long enough # Must have been in the validator set long enough
assert validator.activation_epoch != FAR_FUTURE_EPOCH
assert get_current_epoch(state) - validator.activation_epoch >= PERSISTENT_COMMITTEE_PERIOD assert get_current_epoch(state) - validator.activation_epoch >= PERSISTENT_COMMITTEE_PERIOD
# Verify signature # Verify signature
assert bls_verify( assert bls_verify(