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 by 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 arrives with too many blobs
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    /// Thrown if blob transaction has an EIP-7594 style sidecar before Osaka.
180    #[error("unexpected eip-7594 sidecar before osaka")]
181    UnexpectedEip7594SidecarBeforeOsaka,
182    /// Thrown if blob transaction has an EIP-4844 style sidecar after Osaka.
183    #[error("unexpected eip-4844 sidecar after osaka")]
184    UnexpectedEip4844SidecarAfterOsaka,
185}
186
187/// Represents all errors that can happen when validating transactions for the pool for EIP-7702
188/// transactions
189#[derive(Debug, thiserror::Error)]
190pub enum Eip7702PoolTransactionError {
191    /// Thrown if the transaction has no items in its authorization list
192    #[error("no items in authorization list for EIP7702 transaction")]
193    MissingEip7702AuthorizationList,
194    /// Returned when a transaction with a nonce
195    /// gap is received from accounts with a deployed delegation or pending delegation.
196    #[error("gapped-nonce tx from delegated accounts")]
197    OutOfOrderTxFromDelegated,
198    /// Returned when the maximum number of in-flight
199    /// transactions is reached for specific accounts.
200    #[error("in-flight transaction limit reached for delegated accounts")]
201    InflightTxLimitReached,
202    /// Returned if a transaction has an authorization
203    /// signed by an address which already has in-flight transactions known to the
204    /// pool.
205    #[error("authority already reserved")]
206    AuthorityReserved,
207}
208
209/// Represents errors that can happen when validating transactions for the pool
210///
211/// See [`TransactionValidator`](crate::TransactionValidator).
212#[derive(Debug, thiserror::Error)]
213pub enum InvalidPoolTransactionError {
214    /// Hard consensus errors
215    #[error(transparent)]
216    Consensus(#[from] InvalidTransactionError),
217    /// Thrown when a new transaction is added to the pool, but then immediately discarded to
218    /// respect the size limits of the pool.
219    #[error("transaction's gas limit {0} exceeds block's gas limit {1}")]
220    ExceedsGasLimit(u64, u64),
221    /// Thrown when a transaction's gas limit exceeds the configured maximum per-transaction limit.
222    #[error("transaction's gas limit {0} exceeds maximum per-transaction gas limit {1}")]
223    MaxTxGasLimitExceeded(u64, u64),
224    /// Thrown when a new transaction is added to the pool, but then immediately discarded to
225    /// respect the tx fee exceeds the configured cap
226    #[error("tx fee ({max_tx_fee_wei} wei) exceeds the configured cap ({tx_fee_cap_wei} wei)")]
227    ExceedsFeeCap {
228        /// max fee in wei of new tx submitted to the pool (e.g. 0.11534 ETH)
229        max_tx_fee_wei: u128,
230        /// configured tx fee cap in wei (e.g. 1.0 ETH)
231        tx_fee_cap_wei: u128,
232    },
233    /// Thrown when a new transaction is added to the pool, but then immediately discarded to
234    /// respect the `max_init_code_size`.
235    #[error("transaction's input size {0} exceeds max_init_code_size {1}")]
236    ExceedsMaxInitCodeSize(usize, usize),
237    /// Thrown if the input data of a transaction is greater
238    /// than some meaningful limit a user might use. This is not a consensus error
239    /// making the transaction invalid, rather a DOS protection.
240    #[error("oversized data: transaction size {size}, limit {limit}")]
241    OversizedData {
242        /// Size of the transaction/input data that exceeded the limit.
243        size: usize,
244        /// Configured limit that was exceeded.
245        limit: usize,
246    },
247    /// Thrown if the transaction's fee is below the minimum fee
248    #[error("transaction underpriced")]
249    Underpriced,
250    /// Thrown if the transaction's would require an account to be overdrawn
251    #[error("transaction overdraws from account, balance: {balance}, cost: {cost}")]
252    Overdraft {
253        /// Cost transaction is allowed to consume. See `reth_transaction_pool::PoolTransaction`.
254        cost: U256,
255        /// Balance of account.
256        balance: U256,
257    },
258    /// EIP-2681 error thrown if the nonce is higher or equal than `U64::max`
259    /// `<https://eips.ethereum.org/EIPS/eip-2681>`
260    #[error("nonce exceeds u64 limit")]
261    Eip2681,
262    /// EIP-4844 related errors
263    #[error(transparent)]
264    Eip4844(#[from] Eip4844PoolTransactionError),
265    /// EIP-7702 related errors
266    #[error(transparent)]
267    Eip7702(#[from] Eip7702PoolTransactionError),
268    /// Any other error that occurred while inserting/validating that is transaction specific
269    #[error(transparent)]
270    Other(Box<dyn PoolTransactionError>),
271    /// The transaction is specified to use less gas than required to start the
272    /// invocation.
273    #[error("intrinsic gas too low")]
274    IntrinsicGasTooLow,
275    /// The transaction priority fee is below the minimum required priority fee.
276    #[error("transaction priority fee below minimum required priority fee {minimum_priority_fee}")]
277    PriorityFeeBelowMinimum {
278        /// Minimum required priority fee.
279        minimum_priority_fee: u128,
280    },
281}
282
283// === impl InvalidPoolTransactionError ===
284
285impl InvalidPoolTransactionError {
286    /// Returns a new [`InvalidPoolTransactionError::Other`] instance with the given
287    /// [`PoolTransactionError`].
288    pub fn other<E: PoolTransactionError + 'static>(err: E) -> Self {
289        Self::Other(Box::new(err))
290    }
291
292    /// Returns `true` if the error was caused by a transaction that is considered bad in the
293    /// context of the transaction pool and warrants peer penalization.
294    ///
295    /// See [`PoolError::is_bad_transaction`].
296    #[expect(clippy::match_same_arms)]
297    #[inline]
298    fn is_bad_transaction(&self) -> bool {
299        match self {
300            Self::Consensus(err) => {
301                // transaction considered invalid by the consensus rules
302                // We do not consider the following errors to be erroneous transactions, since they
303                // depend on dynamic environmental conditions and should not be assumed to have been
304                // intentionally caused by the sender
305                match err {
306                    InvalidTransactionError::InsufficientFunds { .. } |
307                    InvalidTransactionError::NonceNotConsistent { .. } => {
308                        // transaction could just have arrived late/early
309                        false
310                    }
311                    InvalidTransactionError::GasTooLow |
312                    InvalidTransactionError::GasTooHigh |
313                    InvalidTransactionError::TipAboveFeeCap => {
314                        // these are technically not invalid
315                        false
316                    }
317                    InvalidTransactionError::FeeCapTooLow => {
318                        // dynamic, but not used during validation
319                        false
320                    }
321                    InvalidTransactionError::Eip2930Disabled |
322                    InvalidTransactionError::Eip1559Disabled |
323                    InvalidTransactionError::Eip4844Disabled |
324                    InvalidTransactionError::Eip7702Disabled => {
325                        // settings
326                        false
327                    }
328                    InvalidTransactionError::OldLegacyChainId |
329                    InvalidTransactionError::ChainIdMismatch |
330                    InvalidTransactionError::GasUintOverflow |
331                    InvalidTransactionError::TxTypeNotSupported |
332                    InvalidTransactionError::SignerAccountHasBytecode |
333                    InvalidTransactionError::GasLimitTooHigh => true,
334                }
335            }
336            Self::ExceedsGasLimit(_, _) => true,
337            Self::MaxTxGasLimitExceeded(_, _) => {
338                // local setting
339                false
340            }
341            Self::ExceedsFeeCap { max_tx_fee_wei: _, tx_fee_cap_wei: _ } => true,
342            Self::ExceedsMaxInitCodeSize(_, _) => true,
343            Self::OversizedData { .. } => true,
344            Self::Underpriced => {
345                // local setting
346                false
347            }
348            Self::IntrinsicGasTooLow => true,
349            Self::Overdraft { .. } => false,
350            Self::Other(err) => err.is_bad_transaction(),
351            Self::Eip2681 => true,
352            Self::Eip4844(eip4844_err) => {
353                match eip4844_err {
354                    Eip4844PoolTransactionError::MissingEip4844BlobSidecar => {
355                        // this is only reachable when blob transactions are reinjected and we're
356                        // unable to find the previously extracted blob
357                        false
358                    }
359                    Eip4844PoolTransactionError::InvalidEip4844Blob(_) => {
360                        // This is only reachable when the blob is invalid
361                        true
362                    }
363                    Eip4844PoolTransactionError::Eip4844NonceGap => {
364                        // it is possible that the pool sees `nonce n` before `nonce n-1` and this
365                        // is only thrown for valid(good) blob transactions
366                        false
367                    }
368                    Eip4844PoolTransactionError::NoEip4844Blobs => {
369                        // this is a malformed transaction and should not be sent over the network
370                        true
371                    }
372                    Eip4844PoolTransactionError::TooManyEip4844Blobs { .. } => {
373                        // this is a malformed transaction and should not be sent over the network
374                        true
375                    }
376                    Eip4844PoolTransactionError::UnexpectedEip4844SidecarAfterOsaka |
377                    Eip4844PoolTransactionError::UnexpectedEip7594SidecarBeforeOsaka => {
378                        // for now we do not want to penalize peers for broadcasting different
379                        // sidecars
380                        false
381                    }
382                }
383            }
384            Self::Eip7702(eip7702_err) => match eip7702_err {
385                Eip7702PoolTransactionError::MissingEip7702AuthorizationList => {
386                    // as EIP-7702 specifies, 7702 transactions must have an non-empty authorization
387                    // list so this is a malformed transaction and should not be
388                    // sent over the network
389                    true
390                }
391                Eip7702PoolTransactionError::OutOfOrderTxFromDelegated => false,
392                Eip7702PoolTransactionError::InflightTxLimitReached => false,
393                Eip7702PoolTransactionError::AuthorityReserved => false,
394            },
395            Self::PriorityFeeBelowMinimum { .. } => false,
396        }
397    }
398
399    /// Returns `true` if an import failed due to an oversized transaction
400    pub const fn is_oversized(&self) -> bool {
401        matches!(self, Self::OversizedData { .. })
402    }
403
404    /// Returns `true` if an import failed due to nonce gap.
405    pub const fn is_nonce_gap(&self) -> bool {
406        matches!(self, Self::Consensus(InvalidTransactionError::NonceNotConsistent { .. })) ||
407            matches!(self, Self::Eip4844(Eip4844PoolTransactionError::Eip4844NonceGap))
408    }
409
410    /// Returns the arbitrary error if it is [`InvalidPoolTransactionError::Other`]
411    pub fn as_other(&self) -> Option<&dyn PoolTransactionError> {
412        match self {
413            Self::Other(err) => Some(&**err),
414            _ => None,
415        }
416    }
417
418    /// Returns a reference to the [`InvalidPoolTransactionError::Other`] value if this type is a
419    /// [`InvalidPoolTransactionError::Other`] of that type. Returns None otherwise.
420    pub fn downcast_other_ref<T: core::error::Error + 'static>(&self) -> Option<&T> {
421        let other = self.as_other()?;
422        other.as_any().downcast_ref()
423    }
424
425    /// Returns true if the this type is a [`InvalidPoolTransactionError::Other`] of that error
426    /// type. Returns false otherwise.
427    pub fn is_other<T: core::error::Error + 'static>(&self) -> bool {
428        self.as_other().map(|err| err.as_any().is::<T>()).unwrap_or(false)
429    }
430}
431
432#[cfg(test)]
433mod tests {
434    use super::*;
435
436    #[derive(thiserror::Error, Debug)]
437    #[error("err")]
438    struct E;
439
440    impl PoolTransactionError for E {
441        fn is_bad_transaction(&self) -> bool {
442            false
443        }
444
445        fn as_any(&self) -> &dyn Any {
446            self
447        }
448    }
449
450    #[test]
451    fn other_downcast() {
452        let err = InvalidPoolTransactionError::Other(Box::new(E));
453        assert!(err.is_other::<E>());
454
455        assert!(err.downcast_other_ref::<E>().is_some());
456    }
457}