Implement EIP-4844

[henridf]

Tracking issue for EIP-4844 tasks

Config & Setup

• New containers (beacon block, execution payload) (Types and scaffolding for EIP-4844  #4365)
• New constants and presets. (Types and scaffolding for EIP-4844  #4365)

State transition & processing

• Block processing
  • Move is_data_available check to fork-choice on_block (Move is_data_available check to fork-choice on_block ethereum/consensus-specs#3185)
• Nim bindings to c-kzg-4844 library. (in progress https://github.com/henridf/nim-kzg-4844)
• Support trusted setup loading.

P2P

• Gossip processing
  • Gossip transition. (EIP4844 gossip transition #4463)
  • beacon_block_and_blobs_sidecar new topic. eip4844 gossip #4444
    • beacon_block_and_blobs_sidecar validation
• ReqResp processing
  • BeaconBlocksByRange v2
  • BeaconBlocksByRoot v2
  • BeaconBlockAndBlobsSidecarByRoot v1 (in progress Add beacon_block_and_blobs_sidecar_by_root RPC #4475)
  • BlobsSidecarsByRange v1 (Blobs sidecars by range #4464)

Storage

• Read and write blobs (Blob storage #4454)
  • Refactor per discussion at Blob storage #4454 (comment) (in progress Refactor block/blobs types #4491)
• Pruning of blobs past MIN_EPOCHS_FOR_BLOBS_SIDECARS_REQUESTS epochs. Prune blobs #5283

Sync

• Gossip sync (Wire up blob fetching with request manager #4527)
• Backfill sync (EIP4844 sync #4581)

Also, keep in mind following two notes from eip4844. BlobsSidecarsByRange:

Note: The above requirement implies that nodes that start from a recent weak subjectivity checkpoint MUST backfill the local blobs database to at least epoch current_epoch - MIN_EPOCHS_FOR_BLOBS_SIDECARS_REQUESTS to be fully compliant with BlobsSidecarsByRange requests.
Note: Although clients that bootstrap from a weak subjectivity checkpoint can begin participating in the networking immediately, other peers MAY disconnect and/or temporarily ban such an un-synced or semi-synced client.

Validator duties

• Block and Sidecar proposal

Testing

• EF Test vectors (add EIP4844 fork choice tests #4431, eip4844 block/slot sanity and transition tests #4399, and some other PRs)
• Run in local testnet (in progress)

[henridf]

This is done (and in part outdated, as is from before the blob/block decoupling spec changes).