Prevent dependency on blob transactions (#3030)

## Linked Issues/PRs
Resolves #3017

## Checklist
- [x] Breaking changes are clearly marked as such in the PR description
and changelog
- [x] New behavior is reflected in tests
- [x] [The specification](https://github.com/FuelLabs/fuel-specs/)
matches the implemented behavior (link update PR if changes are needed)

### Before requesting review
- [x] I have reviewed the code myself
- [x] I have created follow-up issues caused by this PR and linked them
here

---------

Co-authored-by: Aaryamann Challani <[email protected]>

Author: AurelienFT

.changes/changed/3030.md

@@ -0,0 +1 @@
+Disable dependency on blob transactions in transaction pool.

crates/services/txpool_v2/src/error.rs

@@ -107,6 +107,8 @@ pub enum DependencyError {
     #[display(fmt = "The dependent transaction creates a diamond problem, \
     causing cycles in the dependency graph.")]
     DependentTransactionIsADiamondDeath,
+    #[display(fmt = "The transaction depends on a blob transaction")]
+    NotInsertedDependentOnBlob,
 }
 
 #[derive(Clone, Debug)]

crates/services/txpool_v2/src/storage/graph.rs

@@ -591,6 +591,12 @@ impl Storage for GraphStorage {
                 ));
             }
 
+            if dependency_node.transaction.is_blob() {
+                return Err(Error::Dependency(
+                    DependencyError::NotInsertedDependentOnBlob,
+                ));
+            }
+
             to_check.extend(self.get_direct_dependencies(node_id));
         }
 

crates/services/txpool_v2/src/tests/tests_pool.rs

@@ -1342,6 +1342,39 @@ fn insert__tx_blob_already_in_db() {
     universe.assert_pool_integrity(&[]);
 }
 
+#[test]
+fn insert__dependent_on_blob() {
+    let mut universe = TestPoolUniverse::default().config(Config {
+        utxo_validation: false,
+        ..Default::default()
+    });
+    universe.build_pool();
+    let (output_a, unset_input) = universe.create_output_and_input();
+
+    // Given
+    let program = vec![123; 123];
+    let blob_id = BlobId::compute(program.as_slice());
+    let tx = TransactionBuilder::blob(BlobBody {
+        id: blob_id,
+        witness_index: 0,
+    })
+    .add_witness(program.clone().into())
+    .add_fee_input()
+    .add_output(output_a)
+    .finalize_as_transaction();
+    let tx_id = tx.id(&ChainId::default());
+
+    let tx = universe.verify_and_insert(tx).unwrap();
+
+    let input_a = unset_input.into_input(UtxoId::new(tx_id, 0));
+    let dependent_tx = universe.build_script_transaction(Some(vec![input_a]), None, 1);
+
+    // When
+    universe.verify_and_insert(dependent_tx).unwrap_err();
+    // Then
+    universe.assert_pool_integrity(&[tx]);
+}
+
 #[test]
 fn insert__if_tx3_depends_and_collides_with_tx2() {
     let mut universe = TestPoolUniverse::default();

crates/types/src/services/txpool.rs

@@ -221,6 +221,11 @@ impl PoolTransaction {
             self.max_gas_inner()
         }
     }
+
+    /// Returns true if the transaction is a blob.
+    pub fn is_blob(&self) -> bool {
+        matches!(self, PoolTransaction::Blob(_, _))
+    }
 }
 
 #[allow(missing_docs)]