Update EIP-4844: Refactor Validity Conditions

[adietrichs]

Add a separate execution-layer validation section with the block validity rule changes.

Detailed list of changes:

• use data gas for all accounting (instead of number of blobs)
  • update calc_excess_data_gas()
  • update block validation accounting
• add block validation section
  • move data gas logic to this section
  • modify sufficient balance check
  • add per-block data gas limit
  • require at least one blob per blob tx
  • check prefix byte

There is still an open question as to how to handle the relationship between data gas limit and CL max blobs per block limit, however this is considered out of scope for this PR.

[eth-bot]

✅ All reviewers have approved.

[djrtwo]

nice refactor! we need to make sure the actual substantive changes here are highlighted. maybe list them very explicitly in the PR header comment.

I left a number of nits, some of which are not directly related to your changes

[djrtwo]

I suggest unifying the naming of BLOB_COMMITMENT_VERSION_KZG (in EIP) with VERSIONED_HASH_VERSION_KZG (in CL specs)

[Inphi]

I think we can close this. Resolved via #6863

[ralexstokes]

nice work! I think we should definitely specify the blob limit this way

I left one comment that would help clarify although it could be obvious how the new checks interact with the old checks in which case we can disregard

[lightclient]

remove dash in EL and CL

[lightclient]

LGTM after Alex's feedback is addressed

[adietrichs]

updated the PR description to reflect all changes made.

[eth-bot]

All Reviewers Have Approved; Performing Automatic Merge...