Fix bugs:

- `range(len(col))`` instead of `range(col)`
- `beacon_parent_block.body.shard_transitions` instead of `beacon_parent_block.shard_transitions`
- `shard_states[len(shard_states)-1]` instead of `shard_states[-1]`
This commit is contained in:
ericsson 2020-05-13 16:13:33 +03:00
parent 6474218fb1
commit 4431e399b1
1 changed files with 3 additions and 2 deletions

View File

@ -127,7 +127,7 @@ def is_valid_fraud_proof(beacon_state: BeaconState,
beacon_parent_block: BeaconBlock) -> bool: beacon_parent_block: BeaconBlock) -> bool:
# 1. Check if `custody_bits[offset_index][j] != generate_custody_bit(subkey, block_contents)` for any `j`. # 1. Check if `custody_bits[offset_index][j] != generate_custody_bit(subkey, block_contents)` for any `j`.
custody_bits = attestation.custody_bits_blocks custody_bits = attestation.custody_bits_blocks
for j in range(custody_bits[offset_index]): for j in range(len(custody_bits[offset_index])):
if custody_bits[offset_index][j] != generate_custody_bit(subkey, block): if custody_bits[offset_index][j] != generate_custody_bit(subkey, block):
return True return True
@ -135,7 +135,8 @@ def is_valid_fraud_proof(beacon_state: BeaconState,
# `transition.shard_states[offset_index - 1]` to `transition.shard_states[offset_index]`. # `transition.shard_states[offset_index - 1]` to `transition.shard_states[offset_index]`.
if offset_index == 0: if offset_index == 0:
shard = get_shard(beacon_state, attestation) shard = get_shard(beacon_state, attestation)
shard_state = beacon_parent_block.shard_transitions[shard].shard_states[-1] shard_states = beacon_parent_block.body.shard_transitions[shard].shard_states
shard_state = shard_states[len(shard_states)-1]
else: else:
shard_state = transition.shard_states[offset_index - 1] # Not doing the actual state updates here. shard_state = transition.shard_states[offset_index - 1] # Not doing the actual state updates here.