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

check crosslinks validity root against previous

Browse Source
This commit is contained in:
Danny Ryan 2019-04-14 08:24:54 +10:00
parent 9489ae5dcd
commit eafcab7e58
No known key found for this signature in database
GPG Key ID: 2765A792E42CE07A
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1920,8 +1920,8 @@ def get_crosslink_deltas(state: BeaconState) -> Tuple[List[Gwei], List[Gwei]]:
# do not count as success if winning_root did not or cannot form a chain # do not count as success if winning_root did not or cannot form a chain
attempted_crosslink = Crosslink(epoch=slot_to_epoch(slot), crosslink_data_root=winning_root, previous_crosslink_root=previous_crosslink_root) attempted_crosslink = Crosslink(epoch=slot_to_epoch(slot), crosslink_data_root=winning_root, previous_crosslink_root=previous_crosslink_root)
current_crosslink_root = hash_tree_root(state.current_crosslinks[shard]) actual_crosslink_root = hash_tree_root(state.previous_crosslinks[shard])
if not current_crosslink_root in {previous_crosslink_root, hash_tree_root(attempted_crosslink) }: if not actual_crosslink_root in {previous_crosslink_root, hash_tree_root(attempted_crosslink)}:
participants = [] participants = []
participating_balance = get_total_balance(state, participants) participating_balance = get_total_balance(state, participants)

5
tests/phase0/epoch_processing/test_process_crosslinks.py
View File

@ -81,10 +81,15 @@ def test_single_crosslink_update_from_previous_epoch(state):
assert len(state.previous_epoch_attestations) == 1 assert len(state.previous_epoch_attestations) == 1
pre_state, post_state = run_process_crosslinks(state) pre_state, post_state = run_process_crosslinks(state)
crosslink_deltas = get_crosslink_deltas(state)
shard = attestation.data.shard shard = attestation.data.shard
assert post_state.previous_crosslinks[shard] != post_state.current_crosslinks[shard] assert post_state.previous_crosslinks[shard] != post_state.current_crosslinks[shard]
assert pre_state.current_crosslinks[shard] != post_state.current_crosslinks[shard] assert pre_state.current_crosslinks[shard] != post_state.current_crosslinks[shard]
# ensure rewarded
slot = attestation.data.slot
assert crosslink_deltas[0][slot % spec.SLOTS_PER_EPOCH] > 0
assert crosslink_deltas[1][slot % spec.SLOTS_PER_EPOCH] == 0
return pre_state, post_state return pre_state, post_state