From ce3dfe604f5bb71ae46417e6a6831fe35b6303c3 Mon Sep 17 00:00:00 2001 From: kdeme Date: Wed, 18 Sep 2024 09:50:12 +0200 Subject: [PATCH] Extra comments for explaining the proof fields --- history/history-network.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/history/history-network.md b/history/history-network.md index 3bfb724..77284bb 100644 --- a/history/history-network.md +++ b/history/history-network.md @@ -168,9 +168,9 @@ BeaconBlockProofHistoricalRoots = Vector[Bytes32, 14] # Proof for EL BlockHeader from TheMerge until Capella BlockProofHistoricalRoots = Container[ beaconBlockProof: BeaconBlockProofHistoricalRoots, # Proof that the BeaconBlock is part of the historical_roots and thus part of the canonical chain - beaconBlockRoot: Bytes32, + beaconBlockRoot: Bytes32, # hash_tree_root of BeaconBlock used to verify the proofs executionBlockProof: ExecutionBlockProof, # Proof that EL BlockHash is part of the BeaconBlock - slot: Slot + slot: Slot # Slot of BeaconBlock, used to calculate the right HistoricalRoots index ] BlockHeaderProof = Union[None, BlockProofHistoricalHashesAccumulator, BlockProofHistoricalRoots] @@ -373,7 +373,7 @@ The `BlockProofHistoricalRoots` is an SSZ container which holds two Merkle proof - `BeaconBlockProofHistoricalRoots` - `ExecutionBlockProof` -Additionally the SSZ container holds a `BeaconBlock` root and a slot. +Additionally the SSZ container holds a `BeaconBlock` hash_tree_root and a slot. The chain of the two proofs allows for verifying that an EL `BlockHeader` is part of the canonical chain. The only requirement is having access to the beacon chain `historical_roots`.