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

More polish and fixes

This commit is contained in:
Justin 2020-11-17 15:30:09 +00:00 committed by GitHub
parent 7ffc9c5bc0
commit 5e717a456d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -43,6 +43,7 @@ This document suggests a minimal light client design for the beacon chain that u
| Name | Value | | Name | Value |
| - | - | | - | - |
| `MIN_SYNC_COMMITTEE_PARTICIPANTS` | `1` |
| `MAX_VALID_LIGHT_CLIENT_UPDATES` | `uint64(2**64 - 1)` | | `MAX_VALID_LIGHT_CLIENT_UPDATES` | `uint64(2**64 - 1)` |
### Time parameters ### Time parameters
@ -75,7 +76,7 @@ class LightClientUpdate(Container):
# Sync committee aggregate signature # Sync committee aggregate signature
sync_committee_bits: Bitlist[MAX_SYNC_COMMITTEE_SIZE] sync_committee_bits: Bitlist[MAX_SYNC_COMMITTEE_SIZE]
sync_committee_signature: BLSSignature sync_committee_signature: BLSSignature
# Fork version corresponding to the aggregate signature # Fork version for the aggregate signature
fork_version fork_version
``` ```
@ -122,6 +123,7 @@ def is_valid_light_client_update(store: LightClientStore, update: LightClientUpd
# Verify sync committee bitfield length # Verify sync committee bitfield length
sync_committee = new_snapshot.current_sync_committee sync_committee = new_snapshot.current_sync_committee
assert len(update.sync_committee_bits) == len(sync_committee) assert len(update.sync_committee_bits) == len(sync_committee)
assert sum(update.sync_committee_bits) > MIN_SYNC_COMMITTEE_PARTICIPANTS
# Verify sync committee aggregate signature # Verify sync committee aggregate signature
participant_pubkeys = [pubkey for (bit, pubkey) in zip(update.sync_committee_bits, sync_committee.pubkeys) if bit] participant_pubkeys = [pubkey for (bit, pubkey) in zip(update.sync_committee_bits, sync_committee.pubkeys) if bit]
@ -136,15 +138,16 @@ def is_valid_light_client_update(store: LightClientStore, update: LightClientUpd
```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
assert is_valid_light_client_update(store, update) assert is_valid_light_client_update(store, update)
valid_updates.append(update)
if sum(update.sync_committee_bits) * 3 > len(update.sync_committee_bits) * 2: if sum(update.sync_committee_bits) * 3 > len(update.sync_committee_bits) * 2:
# Immediate update when quorum is reached
store.snapshot = update.snapshot store.snapshot = update.snapshot
valid_updates = [] valid_updates = []
else: elif current_slot > old_snapshot.header.slot + LIGHT_CLIENT_UPDATE_TIMEOUT:
valid_updates.append(update) # Forced best update when the update timeout has elapsed
store.snapshot = max(valid_updates, key=lambda update: sum(update.sync_committee_bits)).new_snapshot
# Force an update after the update timeout has elapsed valid_updates = []
if current_slot > old_snapshot.header.slot + LIGHT_CLIENT_UPDATE_TIMEOUT:
best_update = max(valid_updates, key=lambda update: sum(update.sync_committee_bits))
store.snapshot = best_update.new_snapshot
``` ```