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

Transfer from -> sender

Browse Source 
Needed to avoid triggering errors in python
This commit is contained in:
vbuterin 2019-03-03 05:59:11 -06:00 committed by GitHub
parent 68bc91bb3a
commit 805ea5dad5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -442,7 +442,7 @@ The following data structures are defined as [SimpleSerialize (SSZ)](https://git
```python ```python
{ {
# Sender index # Sender index
'from': 'uint64', 'sender': 'uint64',
# Recipient index # Recipient index
'to': 'uint64', 'to': 'uint64',
# Amount in Gwei # Amount in Gwei
@ -1913,23 +1913,23 @@ def process_transfer(state: BeaconState, transfer: Transfer) -> None:
Note that this function mutates ``state``. Note that this function mutates ``state``.
""" """
# Verify the amount and fee aren't individually too big (for anti-overflow purposes) # Verify the amount and fee aren't individually too big (for anti-overflow purposes)
assert state.validator_balances[transfer.from] >= max(transfer.amount, transfer.fee) assert state.validator_balances[transfer.sender] >= max(transfer.amount, transfer.fee)
# Verify that we have enough ETH to send, and that after the transfer the balance will be either # Verify that we have enough ETH to send, and that after the transfer the balance will be either
# exactly zero or at least MIN_DEPOSIT_AMOUNT # exactly zero or at least MIN_DEPOSIT_AMOUNT
assert ( assert (
state.validator_balances[transfer.from] == transfer.amount + transfer.fee or state.validator_balances[transfer.sender] == transfer.amount + transfer.fee or
state.validator_balances[transfer.from] >= transfer.amount + transfer.fee + MIN_DEPOSIT_AMOUNT state.validator_balances[transfer.sender] >= transfer.amount + transfer.fee + MIN_DEPOSIT_AMOUNT
) )
# A transfer is valid in only one slot # A transfer is valid in only one slot
assert state.slot == transfer.slot assert state.slot == transfer.slot
# Only withdrawn or not-yet-deposited accounts can transfer # Only withdrawn or not-yet-deposited accounts can transfer
assert ( assert (
get_current_epoch(state) >= state.validator_registry[transfer.from].withdrawable_epoch or get_current_epoch(state) >= state.validator_registry[transfer.sender].withdrawable_epoch or
state.validator_registry[transfer.from].activation_epoch == FAR_FUTURE_EPOCH state.validator_registry[transfer.sender].activation_epoch == FAR_FUTURE_EPOCH
) )
# Verify that the pubkey is valid # Verify that the pubkey is valid
assert ( assert (
state.validator_registry[transfer.from].withdrawal_credentials == state.validator_registry[transfer.sender].withdrawal_credentials ==
BLS_WITHDRAWAL_PREFIX_BYTE + hash(transfer.pubkey)[1:] BLS_WITHDRAWAL_PREFIX_BYTE + hash(transfer.pubkey)[1:]
) )
# Verify that the signature is valid # Verify that the signature is valid
@ -1940,7 +1940,7 @@ def process_transfer(state: BeaconState, transfer: Transfer) -> None:
domain=get_domain(state.fork, slot_to_epoch(transfer.slot), DOMAIN_TRANSFER) domain=get_domain(state.fork, slot_to_epoch(transfer.slot), DOMAIN_TRANSFER)
) )
# Process the transfer # Process the transfer
state.validator_balances[transfer.from] -= transfer.amount + transfer.fee state.validator_balances[transfer.sender] -= transfer.amount + transfer.fee
state.validator_balances[transfer.to] += transfer.amount state.validator_balances[transfer.to] += transfer.amount
state.validator_balances[get_beacon_proposer_index(state, state.slot)] += transfer.fee state.validator_balances[get_beacon_proposer_index(state, state.slot)] += transfer.fee
``` ```