Add corresponding proofs to BlobsBundleV1 (#392)

* Add corresponding proofs to BlobsBundleV1

* Return proofs in engine_getBlobsBundleV1 for easy reference and verification in CL

Author: g11tech

src/engine/experimental/blob-extension.md

@@ -56,6 +56,7 @@ The fields are encoded as follows:
 
 - `blockHash`: `DATA`, 32 Bytes
 - `kzgs`: `Array of DATA` - Array of `KZGCommitment` as defined in [EIP-4844](https://eips.ethereum.org/EIPS/eip-4844), 48 bytes each (`DATA`).
+- `proofs`: `Array of DATA` - Array of `KZGProof` as defined in [EIP-4844](https://eips.ethereum.org/EIPS/eip-4844), 48 bytes each (`DATA`).
 - `blobs`: `Array of DATA` - Array of blobs, each blob is `FIELD_ELEMENTS_PER_BLOB * BYTES_PER_FIELD_ELEMENT = 4096 * 32 = 131072` bytes (`DATA`) representing a SSZ-encoded `Blob` as defined in [EIP-4844](https://eips.ethereum.org/EIPS/eip-4844)
 
 ## Methods
@@ -105,7 +106,7 @@ Refer to the specification for `engine_getPayloadV2`.
 
 ### engine_getBlobsBundleV1
 
-This method retrieves the blobs and their respective KZG commitments corresponding to the `versioned_hashes`
+This method retrieves the blobs and their respective KZG commitments and proofs corresponding to the `versioned_hashes`
 included in the blob transactions of the referenced execution payload.
 
 This method may be combined with `engine_getPayloadV2`.
@@ -133,6 +134,7 @@ The separation of concerns aims to minimize changes during the testing phase of
 3. The call **MUST** return `kzgs` matching the versioned hashes of the transactions list of the execution payload, in the same order,
    i.e. `assert verify_kzgs_against_transactions(payload.transactions, bundle.kzgs)` (see EIP-4844 consensus-specs).
 
-4. The call **MUST** return `blobs` that match the `kzgs` list, i.e. `assert len(kzgs) == len(blobs) and all(blob_to_kzg(blob) == kzg for kzg, blob in zip(bundle.kzgs, bundle.blobs))`
+4. The call **MUST** return `blobs` and `proofs` that match the `kzgs` list, i.e. `assert len(kzgs) == len(blobs) == len(proofs)` and `assert verify_blob_kzg_proof_batch(bundle.blobs, bundle.kzgs, bundle.proofs)`
+
 
 5. The call **MUST** return `blockHash` to reference the `blockHash` of the corresponding execution payload, intended for the caller to sanity-check the consistency with the `engine_getPayload` call.