rebase on top of develop

specs/eip4844/p2p-interface.md

@@ -57,6 +57,14 @@ class SignedBeaconBlockAndBlobsSidecar(Container):
     blobs_sidecar: BlobsSidecar
 ```
 
+### `SignedBeaconBlockAndBlobsSidecar`
+
+```python
+class SignedBeaconBlockAndBlobsSidecar(Container):
+    beacon_block: SignedBeaconBlock
+    blobs_sidecar: BlobsSidecar
+```
+
 ## The gossip domain: gossipsub
 
 Some gossip meshes are upgraded in the fork of EIP4844 to support upgraded types.

tests/core/pyspec/eth2spec/test/eip4844/unittests/validator/test_validator.py

@@ -13,6 +13,21 @@ from eth2spec.test.helpers.sharding import (
 )
 
 
+@with_eip4844_and_later
+@spec_state_test
+def test_verify_kzg_proof(spec, state):
+    x = 3
+    polynomial = get_sample_blob(spec)
+    polynomial = [int(i) for i in polynomial]
+    commitment = spec.blob_to_kzg_commitment(polynomial)
+
+    # Get the proof
+    proof = spec.compute_kzg_proof(polynomial, x)
+
+    y = spec.evaluate_polynomial_in_evaluation_form(polynomial, x)
+    assert spec.verify_kzg_proof(commitment, x, y, proof)
+
+
 def _run_validate_blobs_sidecar_test(spec, state, blob_count):
     block = build_empty_block_for_next_slot(spec, state)
     opaque_tx, blobs, blob_kzg_commitments = get_sample_opaque_tx(spec, blob_count=blob_count)