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 types for representing LC Merkle branches 

For better legibility and alignment with `ethereum/beacon-APIs`, use
named types for the various Merkle branches used in the LC protocol.

- https://github.com/ethereum/beacon-APIs/blob/v2.4.2/types/altair/light_client.yaml#L2-L22
This commit is contained in:
Etan Kissling 2023-12-27 12:42:29 +01:00
parent bf09b9a7c4
commit 316ea98792
No known key found for this signature in database
GPG Key ID: B21DA824C5A3D03D
1 changed files with 15 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
specs/altair/light-client/sync-protocol.md
View File

@ -64,6 +64,17 @@ Additional documents describe how the light client sync protocol can be used:
| `CURRENT_SYNC_COMMITTEE_INDEX` | `get_generalized_index(BeaconState, 'current_sync_committee')` (= 54) | | `CURRENT_SYNC_COMMITTEE_INDEX` | `get_generalized_index(BeaconState, 'current_sync_committee')` (= 54) |
| `NEXT_SYNC_COMMITTEE_INDEX` | `get_generalized_index(BeaconState, 'next_sync_committee')` (= 55) | | `NEXT_SYNC_COMMITTEE_INDEX` | `get_generalized_index(BeaconState, 'next_sync_committee')` (= 55) |
```python
class FinalityBranch(Vector[Bytes32, floorlog2(FINALIZED_ROOT_INDEX)]):
pass
class CurrentSyncCommitteeBranch(Vector[Bytes32, floorlog2(CURRENT_SYNC_COMMITTEE_INDEX)]):
pass
class NextSyncCommitteeBranch(Vector[Bytes32, floorlog2(NEXT_SYNC_COMMITTEE_INDEX)]):
pass
```
## Preset ## Preset
### Misc ### Misc
@ -93,7 +104,7 @@ class LightClientBootstrap(Container):
header: LightClientHeader header: LightClientHeader
# Current sync committee corresponding to `header.beacon.state_root` # Current sync committee corresponding to `header.beacon.state_root`
current_sync_committee: SyncCommittee current_sync_committee: SyncCommittee
current_sync_committee_branch: Vector[Bytes32, floorlog2(CURRENT_SYNC_COMMITTEE_INDEX)] current_sync_committee_branch: CurrentSyncCommitteeBranch
``` ```
### `LightClientUpdate` ### `LightClientUpdate`
@ -104,10 +115,10 @@ class LightClientUpdate(Container):
attested_header: LightClientHeader attested_header: LightClientHeader
# Next sync committee corresponding to `attested_header.beacon.state_root` # Next sync committee corresponding to `attested_header.beacon.state_root`
next_sync_committee: SyncCommittee next_sync_committee: SyncCommittee
next_sync_committee_branch: Vector[Bytes32, floorlog2(NEXT_SYNC_COMMITTEE_INDEX)] next_sync_committee_branch: NextSyncCommitteeBranch
# Finalized header corresponding to `attested_header.beacon.state_root` # Finalized header corresponding to `attested_header.beacon.state_root`
finalized_header: LightClientHeader finalized_header: LightClientHeader
finality_branch: Vector[Bytes32, floorlog2(FINALIZED_ROOT_INDEX)] finality_branch: FinalityBranch
# Sync committee aggregate signature # Sync committee aggregate signature
sync_aggregate: SyncAggregate sync_aggregate: SyncAggregate
# Slot at which the aggregate signature was created (untrusted) # Slot at which the aggregate signature was created (untrusted)
@ -122,7 +133,7 @@ class LightClientFinalityUpdate(Container):
attested_header: LightClientHeader attested_header: LightClientHeader
# Finalized header corresponding to `attested_header.beacon.state_root` # Finalized header corresponding to `attested_header.beacon.state_root`
finalized_header: LightClientHeader finalized_header: LightClientHeader
finality_branch: Vector[Bytes32, floorlog2(FINALIZED_ROOT_INDEX)] finality_branch: FinalityBranch
# Sync committee aggregate signature # Sync committee aggregate signature
sync_aggregate: SyncAggregate sync_aggregate: SyncAggregate
# Slot at which the aggregate signature was created (untrusted) # Slot at which the aggregate signature was created (untrusted)