Refactor: Tx process and Validation

Cargo.toml

@@ -8,12 +8,12 @@ publish = false
 [workspace]
 resolver = "3"
 members = [
-    "crates/chainspec",
-    "crates/evm",
-    "crates/payload/builder",
-    "crates/payload/types",
-    "crates/primitives",
-    "crates/revm",
+  "crates/chainspec",
+  "crates/evm",
+  "crates/payload/builder",
+  "crates/payload/types",
+  "crates/primitives",
+  "crates/revm",
 ]
 
 [workspace.lints]
@@ -95,7 +95,9 @@ reth-revm = { git = "https://github.com/paradigmxyz/reth", rev = "64909d3", feat
   "std",
   "optional-checks",
 ] }
-revm = { version = "33.1.0", features = ["optional_fee_charge"] }
+revm = { version = "33.1.0", features = [
+  "optional_fee_charge",
+], default-features = false }
 
 alloy = { version = "1.1.3", default-features = false }
 alloy-consensus = { version = "1.1.3", default-features = false }

crates/primitives/src/transaction/envelope.rs

@@ -1,5 +1,5 @@
 use alloy_consensus::{Signed, TransactionEnvelope, TxEip1559, TxEip2930, TxEip7702, TxLegacy};
-use alloy_primitives::{B256, Bytes};
+use alloy_primitives::{B256, Bytes, U256};
 use alloy_rlp::BytesMut;
 
 use crate::{TxAltFee, TxL1Msg};
@@ -70,6 +70,22 @@ impl MorphTxEnvelope {
         }
         Bytes(bytes.freeze())
     }
+
+    /// Returns the fee token id if this is an AltFee transaction.
+    pub fn fee_token_id(&self) -> Option<u16> {
+        match self {
+            Self::AltFee(tx) => Some(tx.tx().fee_token_id),
+            _ => None,
+        }
+    }
+
+    /// Returns the fee limit if this is an AltFee transaction.
+    pub fn fee_limit(&self) -> Option<U256> {
+        match self {
+            Self::AltFee(tx) => Some(tx.tx().fee_limit),
+            _ => None,
+        }
+    }
 }
 
 impl reth_primitives_traits::InMemorySize for MorphTxEnvelope {

crates/revm/src/error.rs

@@ -15,10 +15,20 @@ pub enum MorphInvalidTransaction {
     #[error("Token with ID {0} is not registered")]
     TokenNotRegistered(u16),
 
+    /// Token ID 0 not supported for gas payment.
+    #[error("Token ID 0 is not supported for gas payment")]
+    TokenIdZeroNotSupported,
+
     /// Token is not active for gas payment.
     #[error("Token with ID {0} is not active for gas payment")]
     TokenNotActive(u16),
 
+    #[error("Token transfer failed: {reason}")]
+    TokenTransferFailed {
+        /// Token transfer failure reason.
+        reason: String,
+    },
+
     /// Insufficient token balance for gas payment.
     #[error(
         "Insufficient token balance for gas payment: required {required}, available {available}"