Eip4844 types

[zilm13]

PR Description

• I put minimal logic in KZGCommitment to KZGProof as its imlementation is another task, it looks like compressed point from the spec so I left similar to BLS method
• I'm not sure what's the correct place for Blob datastructure, I put it in blocks.blob
• for Blob I cannot do roundtrip test until Milestone defined, which requires SpecLogic

Fixed Issue(s)

Fixes #6378

Documentation

• I thought about documentation and added the doc-change-required label to this PR if updates are required.

Changelog

• I thought about adding a changelog entry, and added one if I deemed necessary.

[tbenr]

Looks good!

WRT the logic on top of the kzg objects, we don't need to have them in our code. I asked in discord and all the validations mentioned in polynomial commitments will be responsibility of the kzg library.

WRT Blobs placement, I'd be tempted put Blobs and BlobsSidecar under execution\versions\eip4844. At the end we retrieve them via engine API. WDYT?

WRT round trip, can you log it on an issue so we can track it?

[zilm13]

Added #6422

[tbenr]

LGTM