Post-merge canonicalness validation of an execution block header

[ogenev]

This is an issue to track portal history post-merge header canonicalness validation.

• [x] 1. Set the ground for running multiple portal networks alongside the portal history network.
• [ ] 2. Build proof and validation for the historical_summaries beacon state field (historical_roots before Shapella).

The historical roots in the historical_summaries are only updated after a specific number of slots called SLOTS_PER_HISTORICAL_ROOT. Therefore, newly added blocks that are not part of a historical root cannot be verified using this method. These blocks need to be searched for directly in the block_roots BeaconState field.

• [ ] 3. Build a proof chain and validation for post-merge execution headers older than ~27 hours using historical_summaries.

In order to verify this proof, you must have access to two things: the historical_summaries in the BeaconState field and the block hash of the execution block. The verification process involves tracing the chain of evidence from demonstrating that the block hash belongs to the ExecutionPayload in the BeaconBlockBody, then proving that this BeaconBlockBody is rooted in the BeaconBlockHeader, and finally proving that the BeaconBlockHeader is rooted in the historical_summaries.

• [ ] 4. Integrate canonicalness validation for execution block headers in the portal history network. (older than ~27 hours)

• [ ] TODO

[github-actions[bot]]

This issue is stale because it has been open for 60 days with no activity.

[github-actions[bot]]

This issue was closed because it has been inactive for 14 days since being marked as stale.