status-im
/
eth2.0-specs
mirror of https://github.com/status-im/eth2.0-specs.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Use helper variables to make ifs more readable 

Co-authored-by: Hsiao-Wei Wang <hsiaowei.eth@gmail.com>
This commit is contained in:
Etan Kissling 2022-07-13 14:08:51 +02:00
parent 6048f1abf6
commit 66325d0e9b
No known key found for this signature in database
GPG Key ID: B21DA824C5A3D03D
1 changed files with 12 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
specs/altair/sync-protocol.md
View File

@ -292,12 +292,12 @@ def validate_light_client_update(store: LightClientStore,
# Verify update is relevant # Verify update is relevant
update_attested_period = compute_sync_committee_period_at_slot(update.attested_header.slot) update_attested_period = compute_sync_committee_period_at_slot(update.attested_header.slot)
update_has_next_sync_committee = not is_next_sync_committee_known(store) and (
is_sync_committee_update(update) and update_attested_period == store_period
)
assert ( assert (
update.attested_header.slot > store.finalized_header.slot update.attested_header.slot > store.finalized_header.slot
or ( or update_has_next_sync_committee
not is_next_sync_committee_known(store)
and update_attested_period == store_period and is_sync_committee_update(update)
)
) )
# Verify that the `finality_branch`, if present, confirms `finalized_header` # Verify that the `finality_branch`, if present, confirms `finalized_header`
@ -399,17 +399,18 @@ def process_light_client_update(store: LightClientStore,
store.optimistic_header = update.attested_header store.optimistic_header = update.attested_header
# Update finalized header # Update finalized header
update_has_finalized_next_sync_committee = (
not is_next_sync_committee_known(store)
and is_sync_committee_update(update) and is_finality_update(update) and (
compute_sync_committee_period_at_slot(update.finalized_header.slot)
== compute_sync_committee_period_at_slot(update.attested_header.slot)
)
)
if ( if (
sum(sync_committee_bits) * 3 >= len(sync_committee_bits) * 2 sum(sync_committee_bits) * 3 >= len(sync_committee_bits) * 2
and ( and (
update.finalized_header.slot > store.finalized_header.slot update.finalized_header.slot > store.finalized_header.slot
or ( or update_has_finalized_next_sync_committee
not is_next_sync_committee_known(store)
and is_sync_committee_update(update) and is_finality_update(update) and (
compute_sync_committee_period_at_slot(update.finalized_header.slot)
== compute_sync_committee_period_at_slot(update.attested_header.slot)
)
)
) )
): ):
# Normal update through 2/3 threshold # Normal update through 2/3 threshold