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

Apply @djrtwo's suggestion

This commit is contained in:
Hsiao-Wei Wang 2021-01-19 20:44:21 +08:00
parent fb0c6d54f8
commit f3d7dee71f
No known key found for this signature in database
GPG Key ID: 1111A8A81778319E
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
specs/lightclient/sync-protocol.md
View File

@ -20,7 +20,7 @@
- [Helper functions](#helper-functions) - [Helper functions](#helper-functions)
- [`get_subtree_index`](#get_subtree_index) - [`get_subtree_index`](#get_subtree_index)
- [Light client state updates](#light-client-state-updates) - [Light client state updates](#light-client-state-updates)
- [`is_valid_light_client_update`](#is_valid_light_client_update) - [`validate_light_client_update`](#validate_light_client_update)
- [`apply_light_client_update`](#apply_light_client_update) - [`apply_light_client_update`](#apply_light_client_update)
- [`process_light_client_update`](#process_light_client_update) - [`process_light_client_update`](#process_light_client_update)
@ -112,10 +112,10 @@ def get_subtree_index(generalized_index: GeneralizedIndex) -> uint64:
A light client maintains its state in a `store` object of type `LightClientStore` and receives `update` objects of type `LightClientUpdate`. Every `update` triggers `process_light_client_update(store, update, current_slot)` where `current_slot` is the current slot based on some local clock. A light client maintains its state in a `store` object of type `LightClientStore` and receives `update` objects of type `LightClientUpdate`. Every `update` triggers `process_light_client_update(store, update, current_slot)` where `current_slot` is the current slot based on some local clock.
#### `is_valid_light_client_update` #### `validate_light_client_update`
```python ```python
def is_valid_light_client_update(snapshot: LightClientSnapshot, update: LightClientUpdate) -> bool: def validate_light_client_update(snapshot: LightClientSnapshot, update: LightClientUpdate) -> None:
# Verify update slot is larger than snapshot slot # Verify update slot is larger than snapshot slot
assert update.header.slot > snapshot.header.slot assert update.header.slot > snapshot.header.slot
@ -160,8 +160,6 @@ def is_valid_light_client_update(snapshot: LightClientSnapshot, update: LightCli
domain = compute_domain(DOMAIN_SYNC_COMMITTEE, update.fork_version) domain = compute_domain(DOMAIN_SYNC_COMMITTEE, update.fork_version)
signing_root = compute_signing_root(signed_header, domain) signing_root = compute_signing_root(signed_header, domain)
assert bls.FastAggregateVerify(participant_pubkeys, signing_root, update.sync_committee_signature) assert bls.FastAggregateVerify(participant_pubkeys, signing_root, update.sync_committee_signature)
return True
``` ```
#### `apply_light_client_update` #### `apply_light_client_update`
@ -180,8 +178,7 @@ def apply_light_client_update(snapshot: LightClientSnapshot, update: LightClient
```python ```python
def process_light_client_update(store: LightClientStore, update: LightClientUpdate, current_slot: Slot) -> None: def process_light_client_update(store: LightClientStore, update: LightClientUpdate, current_slot: Slot) -> None:
# Validate update validate_light_client_update(store.snapshot, update)
assert is_valid_light_client_update(store.snapshot, update)
store.valid_updates.append(update) store.valid_updates.append(update)
if ( if (