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

Cleaner assertion

Browse Source
This commit is contained in:
Carl Beekhuizen 2019-04-16 20:11:51 +10:00 committed by GitHub
parent ed28515a95
commit ae0afe389f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2339,7 +2339,7 @@ def process_transfer(state: BeaconState, transfer: Transfer) -> None:
assert (
get_current_epoch(state) >= state.validator_registry[transfer.sender].withdrawable_epoch or
state.validator_registry[transfer.sender].activation_epoch == FAR_FUTURE_EPOCH or
transfer.amount + transfer.fee >= get_balance(statetransfer.sender) - get_effective_balance(transfer.sender)
transfer.amount + transfer.fee + MAX_EFFECTIVE_BALANCE <= get_balance(transfer.sender)
)
# Verify that the pubkey is valid
assert (