reth_transaction_pool/
error.rs

1//! Transaction pool errors
2
3use std::any::Any;
4
5use alloy_eips::eip4844::BlobTransactionValidationError;
6use alloy_primitives::{Address, TxHash, U256};
7use reth_primitives_traits::transaction::error::InvalidTransactionError;
8
9/// Transaction pool result type.
10pub type PoolResult<T> = Result<T, PoolError>;
11
12/// A trait for additional errors that can be thrown by the transaction pool.
13///
14/// For example during validation
15/// [`TransactionValidator::validate_transaction`](crate::validate::TransactionValidator::validate_transaction)
16pub trait PoolTransactionError: core::error::Error + Send + Sync {
17    /// Returns `true` if the error was caused by a transaction that is considered bad in the
18    /// context of the transaction pool and warrants peer penalization.
19    ///
20    /// See [`PoolError::is_bad_transaction`].
21    fn is_bad_transaction(&self) -> bool;
22
23    /// Returns a reference to `self` as a `&dyn Any`, enabling downcasting.
24    fn as_any(&self) -> &dyn Any;
25}
26
27// Needed for `#[error(transparent)]`
28impl core::error::Error for Box<dyn PoolTransactionError> {
29    fn source(&self) -> Option<&(dyn core::error::Error + 'static)> {
30        (**self).source()
31    }
32}
33
34/// Transaction pool error.
35#[derive(Debug, thiserror::Error)]
36#[error("[{hash}]: {kind}")]
37pub struct PoolError {
38    /// The transaction hash that caused the error.
39    pub hash: TxHash,
40    /// The error kind.
41    pub kind: PoolErrorKind,
42}
43
44/// Transaction pool error kind.
45#[derive(Debug, thiserror::Error)]
46pub enum PoolErrorKind {
47    /// Same transaction already imported
48    #[error("already imported")]
49    AlreadyImported,
50    /// Thrown if a replacement transaction's gas price is below the already imported transaction
51    #[error("insufficient gas price to replace existing transaction")]
52    ReplacementUnderpriced,
53    /// The fee cap of the transaction is below the minimum fee cap determined by the protocol
54    #[error("transaction feeCap {0} below chain minimum")]
55    FeeCapBelowMinimumProtocolFeeCap(u128),
56    /// Thrown when the number of unique transactions of a sender exceeded the slot capacity.
57    #[error("rejected due to {0} being identified as a spammer")]
58    SpammerExceededCapacity(Address),
59    /// Thrown when a new transaction is added to the pool, but then immediately discarded to
60    /// respect the size limits of the pool.
61    #[error("transaction discarded outright due to pool size constraints")]
62    DiscardedOnInsert,
63    /// Thrown when the transaction is considered invalid.
64    #[error(transparent)]
65    InvalidTransaction(#[from] InvalidPoolTransactionError),
66    /// Thrown if the mutual exclusivity constraint (blob vs normal transaction) is violated.
67    #[error("transaction type {1} conflicts with existing transaction for {0}")]
68    ExistingConflictingTransactionType(Address, u8),
69    /// Any other error that occurred while inserting/validating a transaction. e.g. IO database
70    /// error
71    #[error(transparent)]
72    Other(#[from] Box<dyn core::error::Error + Send + Sync>),
73}
74
75// === impl PoolError ===
76
77impl PoolError {
78    /// Creates a new pool error.
79    pub fn new(hash: TxHash, kind: impl Into<PoolErrorKind>) -> Self {
80        Self { hash, kind: kind.into() }
81    }
82
83    /// Creates a new pool error with the `Other` kind.
84    pub fn other(
85        hash: TxHash,
86        error: impl Into<Box<dyn core::error::Error + Send + Sync>>,
87    ) -> Self {
88        Self { hash, kind: PoolErrorKind::Other(error.into()) }
89    }
90
91    /// Returns `true` if the error was caused by a transaction that is considered bad in the
92    /// context of the transaction pool and warrants peer penalization.
93    ///
94    /// Not all error variants are caused by the incorrect composition of the transaction (See also
95    /// [`InvalidPoolTransactionError`]) and can be caused by the current state of the transaction
96    /// pool. For example the transaction pool is already full or the error was caused my an
97    /// internal error, such as database errors.
98    ///
99    /// This function returns true only if the transaction will never make it into the pool because
100    /// its composition is invalid and the original sender should have detected this as well. This
101    /// is used to determine whether the original sender should be penalized for sending an
102    /// erroneous transaction.
103    #[inline]
104    pub fn is_bad_transaction(&self) -> bool {
105        #[expect(clippy::match_same_arms)]
106        match &self.kind {
107            PoolErrorKind::AlreadyImported => {
108                // already imported but not bad
109                false
110            }
111            PoolErrorKind::ReplacementUnderpriced => {
112                // already imported but not bad
113                false
114            }
115            PoolErrorKind::FeeCapBelowMinimumProtocolFeeCap(_) => {
116                // fee cap of the tx below the technical minimum determined by the protocol, see
117                // [MINIMUM_PROTOCOL_FEE_CAP](alloy_primitives::constants::MIN_PROTOCOL_BASE_FEE)
118                // although this transaction will always be invalid, we do not want to penalize the
119                // sender because this check simply could not be implemented by the client
120                false
121            }
122            PoolErrorKind::SpammerExceededCapacity(_) => {
123                // the sender exceeded the slot capacity, we should not penalize the peer for
124                // sending the tx because we don't know if all the transactions are sent from the
125                // same peer, there's also a chance that old transactions haven't been cleared yet
126                // (pool lags behind) and old transaction still occupy a slot in the pool
127                false
128            }
129            PoolErrorKind::DiscardedOnInsert => {
130                // valid tx but dropped due to size constraints
131                false
132            }
133            PoolErrorKind::InvalidTransaction(err) => {
134                // transaction rejected because it violates constraints
135                err.is_bad_transaction()
136            }
137            PoolErrorKind::Other(_) => {
138                // internal error unrelated to the transaction
139                false
140            }
141            PoolErrorKind::ExistingConflictingTransactionType(_, _) => {
142                // this is not a protocol error but an implementation error since the pool enforces
143                // exclusivity (blob vs normal tx) for all senders
144                false
145            }
146        }
147    }
148}
149
150/// Represents all errors that can happen when validating transactions for the pool for EIP-4844
151/// transactions
152#[derive(Debug, thiserror::Error)]
153pub enum Eip4844PoolTransactionError {
154    /// Thrown if we're unable to find the blob for a transaction that was previously extracted
155    #[error("blob sidecar not found for EIP4844 transaction")]
156    MissingEip4844BlobSidecar,
157    /// Thrown if an EIP-4844 transaction without any blobs arrives
158    #[error("blobless blob transaction")]
159    NoEip4844Blobs,
160    /// Thrown if an EIP-4844 transaction without any blobs arrives
161    #[error("too many blobs in transaction: have {have}, permitted {permitted}")]
162    TooManyEip4844Blobs {
163        /// Number of blobs the transaction has
164        have: u64,
165        /// Number of maximum blobs the transaction can have
166        permitted: u64,
167    },
168    /// Thrown if validating the blob sidecar for the transaction failed.
169    #[error(transparent)]
170    InvalidEip4844Blob(BlobTransactionValidationError),
171    /// EIP-4844 transactions are only accepted if they're gapless, meaning the previous nonce of
172    /// the transaction (`tx.nonce -1`) must either be in the pool or match the on chain nonce of
173    /// the sender.
174    ///
175    /// This error is thrown on validation if a valid blob transaction arrives with a nonce that
176    /// would introduce gap in the nonce sequence.
177    #[error("nonce too high")]
178    Eip4844NonceGap,
179}
180
181/// Represents all errors that can happen when validating transactions for the pool for EIP-7702
182/// transactions
183#[derive(Debug, thiserror::Error)]
184pub enum Eip7702PoolTransactionError {
185    /// Thrown if the transaction has no items in its authorization list
186    #[error("no items in authorization list for EIP7702 transaction")]
187    MissingEip7702AuthorizationList,
188}
189
190/// Represents errors that can happen when validating transactions for the pool
191///
192/// See [`TransactionValidator`](crate::TransactionValidator).
193#[derive(Debug, thiserror::Error)]
194pub enum InvalidPoolTransactionError {
195    /// Hard consensus errors
196    #[error(transparent)]
197    Consensus(#[from] InvalidTransactionError),
198    /// Thrown when a new transaction is added to the pool, but then immediately discarded to
199    /// respect the size limits of the pool.
200    #[error("transaction's gas limit {0} exceeds block's gas limit {1}")]
201    ExceedsGasLimit(u64, u64),
202    /// Thrown when a new transaction is added to the pool, but then immediately discarded to
203    /// respect the tx fee exceeds the configured cap
204    #[error("tx fee ({max_tx_fee_wei} wei) exceeds the configured cap ({tx_fee_cap_wei} wei)")]
205    ExceedsFeeCap {
206        /// max fee in wei of new tx submitted to the pull (e.g. 0.11534 ETH)
207        max_tx_fee_wei: u128,
208        /// configured tx fee cap in wei (e.g. 1.0 ETH)
209        tx_fee_cap_wei: u128,
210    },
211    /// Thrown when a new transaction is added to the pool, but then immediately discarded to
212    /// respect the `max_init_code_size`.
213    #[error("transaction's input size {0} exceeds max_init_code_size {1}")]
214    ExceedsMaxInitCodeSize(usize, usize),
215    /// Thrown if the input data of a transaction is greater
216    /// than some meaningful limit a user might use. This is not a consensus error
217    /// making the transaction invalid, rather a DOS protection.
218    #[error("input data too large")]
219    OversizedData(usize, usize),
220    /// Thrown if the transaction's fee is below the minimum fee
221    #[error("transaction underpriced")]
222    Underpriced,
223    /// Thrown if the transaction's would require an account to be overdrawn
224    #[error("transaction overdraws from account, balance: {balance}, cost: {cost}")]
225    Overdraft {
226        /// Cost transaction is allowed to consume. See `reth_transaction_pool::PoolTransaction`.
227        cost: U256,
228        /// Balance of account.
229        balance: U256,
230    },
231    /// EIP-4844 related errors
232    #[error(transparent)]
233    Eip4844(#[from] Eip4844PoolTransactionError),
234    /// EIP-7702 related errors
235    #[error(transparent)]
236    Eip7702(#[from] Eip7702PoolTransactionError),
237    /// Any other error that occurred while inserting/validating that is transaction specific
238    #[error(transparent)]
239    Other(Box<dyn PoolTransactionError>),
240    /// The transaction is specified to use less gas than required to start the
241    /// invocation.
242    #[error("intrinsic gas too low")]
243    IntrinsicGasTooLow,
244}
245
246// === impl InvalidPoolTransactionError ===
247
248impl InvalidPoolTransactionError {
249    /// Returns a new [`InvalidPoolTransactionError::Other`] instance with the given
250    /// [`PoolTransactionError`].
251    pub fn other<E: PoolTransactionError + 'static>(err: E) -> Self {
252        Self::Other(Box::new(err))
253    }
254
255    /// Returns `true` if the error was caused by a transaction that is considered bad in the
256    /// context of the transaction pool and warrants peer penalization.
257    ///
258    /// See [`PoolError::is_bad_transaction`].
259    #[expect(clippy::match_same_arms)]
260    #[inline]
261    fn is_bad_transaction(&self) -> bool {
262        match self {
263            Self::Consensus(err) => {
264                // transaction considered invalid by the consensus rules
265                // We do not consider the following errors to be erroneous transactions, since they
266                // depend on dynamic environmental conditions and should not be assumed to have been
267                // intentionally caused by the sender
268                match err {
269                    InvalidTransactionError::InsufficientFunds { .. } |
270                    InvalidTransactionError::NonceNotConsistent { .. } => {
271                        // transaction could just have arrived late/early
272                        false
273                    }
274                    InvalidTransactionError::GasTooLow |
275                    InvalidTransactionError::GasTooHigh |
276                    InvalidTransactionError::TipAboveFeeCap => {
277                        // these are technically not invalid
278                        false
279                    }
280                    InvalidTransactionError::FeeCapTooLow => {
281                        // dynamic, but not used during validation
282                        false
283                    }
284                    InvalidTransactionError::Eip2930Disabled |
285                    InvalidTransactionError::Eip1559Disabled |
286                    InvalidTransactionError::Eip4844Disabled |
287                    InvalidTransactionError::Eip7702Disabled => {
288                        // settings
289                        false
290                    }
291                    InvalidTransactionError::OldLegacyChainId |
292                    InvalidTransactionError::ChainIdMismatch |
293                    InvalidTransactionError::GasUintOverflow |
294                    InvalidTransactionError::TxTypeNotSupported |
295                    InvalidTransactionError::SignerAccountHasBytecode => true,
296                }
297            }
298            Self::ExceedsGasLimit(_, _) => true,
299            Self::ExceedsFeeCap { max_tx_fee_wei: _, tx_fee_cap_wei: _ } => true,
300            Self::ExceedsMaxInitCodeSize(_, _) => true,
301            Self::OversizedData(_, _) => true,
302            Self::Underpriced => {
303                // local setting
304                false
305            }
306            Self::IntrinsicGasTooLow => true,
307            Self::Overdraft { .. } => false,
308            Self::Other(err) => err.is_bad_transaction(),
309            Self::Eip4844(eip4844_err) => {
310                match eip4844_err {
311                    Eip4844PoolTransactionError::MissingEip4844BlobSidecar => {
312                        // this is only reachable when blob transactions are reinjected and we're
313                        // unable to find the previously extracted blob
314                        false
315                    }
316                    Eip4844PoolTransactionError::InvalidEip4844Blob(_) => {
317                        // This is only reachable when the blob is invalid
318                        true
319                    }
320                    Eip4844PoolTransactionError::Eip4844NonceGap => {
321                        // it is possible that the pool sees `nonce n` before `nonce n-1` and this
322                        // is only thrown for valid(good) blob transactions
323                        false
324                    }
325                    Eip4844PoolTransactionError::NoEip4844Blobs => {
326                        // this is a malformed transaction and should not be sent over the network
327                        true
328                    }
329                    Eip4844PoolTransactionError::TooManyEip4844Blobs { .. } => {
330                        // this is a malformed transaction and should not be sent over the network
331                        true
332                    }
333                }
334            }
335            Self::Eip7702(eip7702_err) => match eip7702_err {
336                Eip7702PoolTransactionError::MissingEip7702AuthorizationList => false,
337            },
338        }
339    }
340
341    /// Returns `true` if an import failed due to nonce gap.
342    pub const fn is_nonce_gap(&self) -> bool {
343        matches!(self, Self::Consensus(InvalidTransactionError::NonceNotConsistent { .. })) ||
344            matches!(self, Self::Eip4844(Eip4844PoolTransactionError::Eip4844NonceGap))
345    }
346
347    /// Returns the arbitrary error if it is [`InvalidPoolTransactionError::Other`]
348    pub fn as_other(&self) -> Option<&dyn PoolTransactionError> {
349        match self {
350            Self::Other(err) => Some(&**err),
351            _ => None,
352        }
353    }
354
355    /// Returns a reference to the [`InvalidPoolTransactionError::Other`] value if this type is a
356    /// [`InvalidPoolTransactionError::Other`] of that type. Returns None otherwise.
357    pub fn downcast_other_ref<T: core::error::Error + 'static>(&self) -> Option<&T> {
358        let other = self.as_other()?;
359        other.as_any().downcast_ref()
360    }
361
362    /// Returns true if the this type is a [`InvalidPoolTransactionError::Other`] of that error
363    /// type. Returns false otherwise.
364    pub fn is_other<T: core::error::Error + 'static>(&self) -> bool {
365        self.as_other().map(|err| err.as_any().is::<T>()).unwrap_or(false)
366    }
367}
368
369#[cfg(test)]
370mod tests {
371    use super::*;
372
373    #[derive(thiserror::Error, Debug)]
374    #[error("err")]
375    struct E;
376
377    impl PoolTransactionError for E {
378        fn is_bad_transaction(&self) -> bool {
379            false
380        }
381
382        fn as_any(&self) -> &dyn Any {
383            self
384        }
385    }
386
387    #[test]
388    fn other_downcast() {
389        let err = InvalidPoolTransactionError::Other(Box::new(E));
390        assert!(err.is_other::<E>());
391
392        assert!(err.downcast_other_ref::<E>().is_some());
393    }
394}