feat(l1,l2): support fusaka blobs cell_proofs

[tomip01]

Motivation

We want to support sending blobs with the new specs for Osaka https://eips.ethereum.org/EIPS/eip-7594. This includes generating cell_proofs for each cell instead a proof for every blob.

Description

• The BlobsBundle::create_from_blobs method now takes a Fork parameter and generates commitments and proofs differently depending on whether the fork is Prague or later (e.g., Osaka). This logic is also reflected in the version field of the bundle.
• Add new get_l1_fork(). This has a workaround for now since the endpoint is only supported for Osaka or later
  • Created this issue for that L2: determine current L1 fork in a proper way #4828
• The EIP-4844 transaction wrapper now exposes a from_generic_tx method that takes a Fork and sets the wrapper version and blob bundle accordingly.

Closes #4779

[github-actions]

Lines of code report

Total lines added: 84
Total lines removed: 0
Total lines changed: 84

Detailed view

+-------------------------------------------------------+-------+------+
| File                                                  | Lines | Diff |
+-------------------------------------------------------+-------+------+
| ethrex/crates/common/types/blobs_bundle.rs            | 382   | +14  |
+-------------------------------------------------------+-------+------+
| ethrex/crates/common/types/transaction.rs             | 2839  | +2   |
+-------------------------------------------------------+-------+------+
| ethrex/crates/l2/based/block_fetcher.rs               | 495   | +1   |
+-------------------------------------------------------+-------+------+
| ethrex/crates/l2/monitor/widget/batches.rs            | 231   | +15  |
+-------------------------------------------------------+-------+------+
| ethrex/crates/l2/networking/rpc/l2/batch.rs           | 110   | +5   |
+-------------------------------------------------------+-------+------+
| ethrex/crates/l2/sdk/src/sdk.rs                       | 895   | +8   |
+-------------------------------------------------------+-------+------+
| ethrex/crates/l2/sequencer/l1_committer.rs            | 724   | +3   |
+-------------------------------------------------------+-------+------+
| ethrex/crates/l2/sequencer/proof_coordinator.rs       | 585   | +2   |
+-------------------------------------------------------+-------+------+
| ethrex/crates/l2/storage/src/store.rs                 | 297   | +5   |
+-------------------------------------------------------+-------+------+
| ethrex/crates/networking/p2p/rlpx/l2/l2_connection.rs | 436   | +5   |
+-------------------------------------------------------+-------+------+
| ethrex/crates/networking/rpc/clients/eth/errors.rs    | 289   | +9   |
+-------------------------------------------------------+-------+------+
| ethrex/crates/networking/rpc/clients/eth/mod.rs       | 699   | +14  |
+-------------------------------------------------------+-------+------+
| ethrex/tooling/genesis/src/genesis.rs                 | 146   | +1   |
+-------------------------------------------------------+-------+------+

[Copilot]

Pull Request Overview

This PR implements support for Osaka blobs with cell_proofs generation as per EIP-7594. The changes modify the blob bundle creation to generate different proof types based on the fork version, with Prague and earlier using single blob proofs and Osaka using cell proofs for each cell.

• Adds fork-aware blob bundle creation that generates cell_proofs for Osaka fork instead of single blob proofs
• Introduces get_l1_fork() helper function with workaround logic to detect fork version
• Updates all blob bundle creation calls throughout the codebase to pass fork parameter

Reviewed Changes

Copilot reviewed 14 out of 14 changed files in this pull request and generated 4 comments.

Show a summary per file

File	Description
tooling/genesis/src/genesis.rs	Adds "osakaTime" to genesis configuration sorting
crates/networking/rpc/eth/client.rs	Makes EthConfigResponse public for fork detection
crates/networking/rpc/clients/eth/mod.rs	Adds get_eth_config method and related error handling
crates/networking/rpc/clients/eth/errors.rs	Adds GetEthConfigError and fixes typo in UnreachableNonce
crates/networking/p2p/rlpx/l2/l2_connection.rs	Updates get_batch call to include fork parameter
crates/l2/storage/src/store.rs	Modifies get_batch method to accept fork parameter
crates/l2/sequencer/proof_coordinator.rs	Updates blob bundle creation with fork parameter
crates/l2/sequencer/l1_committer.rs	Updates generate_blobs_bundle to use fork parameter
crates/l2/sdk/src/sdk.rs	Adds get_l1_fork function and updates EIP4844 transaction handling
crates/l2/networking/rpc/l2/batch.rs	Updates batch retrieval with fork parameter
crates/l2/monitor/widget/batches.rs	Updates batch operations to include fork parameter
crates/l2/based/block_fetcher.rs	Updates blob bundle generation with fork parameter
crates/common/types/transaction.rs	Replaces TryFrom with from_generic_tx method for fork-aware handling
crates/common/types/blobs_bundle.rs	Implements fork-specific proof generation logic

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}

[Copilot]

The variable '_cells' is ignored but the function computes both cells and proofs. If cells are not needed, consider using a more specific function that only computes proofs to avoid unnecessary computation. If cells might be needed in the future, add a comment explaining why they're currently ignored.

Ethrex offers eth_config even before Fusaka. We should find another way to check L1 fork