Enum OptimismInvalidTransaction

pub enum OptimismInvalidTransaction {
    DepositSystemTxPostRegolith,
    HaltedDepositPostRegolith,
}

Transaction validation error for Optimism.

Variants

DepositSystemTxPostRegolith

System transactions are not supported post-regolith hardfork.

Before the Regolith hardfork, there was a special field in the Deposit transaction type that differentiated between system and user deposit transactions. This field was deprecated in the Regolith hardfork, and this error is thrown if a Deposit transaction is found with this field set to true after the hardfork activation.

In addition, this error is internal, and bubbles up into a HaltReason::FailedDeposit error in the revm handler for the consumer to easily handle. This is due to a state transition rule on OP Stack chains where, if for any reason a deposit transaction fails, the transaction must still be included in the block, the sender nonce is bumped, the mint value persists, and special gas accounting rules are applied. Normally on L1, EVMError::Transaction errors are cause for non-inclusion, so a special HaltReason variant was introduced to handle this case for failed deposit transactions.

HaltedDepositPostRegolith

Deposit transaction haults bubble up to the global main return handler, wiping state and only increasing the nonce + persisting the mint value.

This is a catch-all error for any deposit transaction that is results in a HaltReason error post-regolith hardfork. This allows for a consumer to easily handle special cases where a deposit transaction fails during validation, but must still be included in the block.

In addition, this error is internal, and bubbles up into a HaltReason::FailedDeposit error in the revm handler for the consumer to easily handle. This is due to a state transition rule on OP Stack chains where, if for any reason a deposit transaction fails, the transaction must still be included in the block, the sender nonce is bumped, the mint value persists, and special gas accounting rules are applied. Normally on L1, EVMError::Transaction errors are cause for non-inclusion, so a special HaltReason variant was introduced to handle this case for failed deposit transactions.

Trait Implementations

impl Clone for OptimismInvalidTransaction

fn clone(&self) -> OptimismInvalidTransaction

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for OptimismInvalidTransaction

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for OptimismInvalidTransaction

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for OptimismInvalidTransaction

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for OptimismInvalidTransaction

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for OptimismInvalidTransaction

fn eq(&self, other: &OptimismInvalidTransaction) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for OptimismInvalidTransaction

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for OptimismInvalidTransaction

impl StructuralPartialEq for OptimismInvalidTransaction