feat(examples): add blob support to the rollup ExEx

[shekhirin]

Closes #7558

This PR adds support for rollup block submissions using either calldata or EIP-4844 blobs

reth/examples/exex/rollup/src/execution.rs

Lines 178 to 220 in b5ba0c2

	// Get raw transactions either from the blobs, or directly from the block data
	let raw_transactions = if matches!(tx.tx_type(), TxType::Eip4844) {
	let blobs: Vec<_> = if let Some(sidecar) = pool.get_blob(tx.hash)? {
	// Try to get blobs from the transaction pool
	sidecar.blobs.into_iter().zip(sidecar.commitments).collect()
	} else {
	// If transaction is not found in the pool, try to get blobs from the Blobscan
	let blobscan_client = foundry_blob_explorers::Client::holesky();
	let sidecar = blobscan_client.transaction(tx.hash).await?.blob_sidecar();
	sidecar
	.blobs
	.into_iter()
	.map(|blob| (*blob).into())
	.zip(sidecar.commitments.into_iter().map(|commitment| (*commitment).into()))
	.collect()
	};
	// Decode blob hashes from block data
	let blob_hashes = Vec::<B256>::decode(&mut block_data.as_ref())?;
	// Filter blobs that are present in the block data
	let blobs = blobs
	.into_iter()
	// Convert blob KZG commitments to versioned hashes
	.map(|(blob, commitment)| (blob, kzg_to_versioned_hash((*commitment).into())))
	// Filter only blobs that are present in the block data
	.filter(|(_, hash)| blob_hashes.contains(hash))
	.map(|(blob, _)| blob)
	.collect::<Vec<_>>();
	if blobs.len() != blob_hashes.len() {
	eyre::bail!("some blobs not found")
	}
	// Decode blobs and concatenate them to get the raw transactions
	let data = SimpleCoder::default()
	.decode_all(&blobs)
	.ok_or(eyre::eyre!("failed to decode blobs"))?
	.concat();
	data.into()
	} else {
	block_data
	};

As well as an additional check for the blockDataHash commitment

reth/examples/exex/rollup/src/execution.rs

Lines 222 to 225 in b5ba0c2

	let raw_transaction_hash = keccak256(&raw_transactions);
	if raw_transaction_hash != block_data_hash {
	eyre::bail!("block data hash mismatch")
	}

---

The diff is quite large due to moving decoding- and execution-related code to a separate file.

[onbjerg]

lgtm otherwise