Enum revm::interpreter::primitives::result::InvalidTransaction
source · pub enum InvalidTransaction {
Show 26 variants
PriorityFeeGreaterThanMaxFee,
GasPriceLessThanBasefee,
CallerGasLimitMoreThanBlock,
CallGasCostMoreThanGasLimit,
RejectCallerWithCode,
LackOfFundForMaxFee {
fee: Box<Uint<256, 4>>,
balance: Box<Uint<256, 4>>,
},
OverflowPaymentInTransaction,
NonceOverflowInTransaction,
NonceTooHigh {
tx: u64,
state: u64,
},
NonceTooLow {
tx: u64,
state: u64,
},
CreateInitCodeSizeLimit,
InvalidChainId,
AccessListNotSupported,
MaxFeePerBlobGasNotSupported,
BlobVersionedHashesNotSupported,
BlobGasPriceGreaterThanMax,
EmptyBlobs,
BlobCreateTransaction,
TooManyBlobs {
max: usize,
have: usize,
},
BlobVersionNotSupported,
EofInitcodesNotSupported,
EofInitcodesNumberLimit,
EofInitcodesSizeLimit,
EofCrateShouldHaveToAddress,
DepositSystemTxPostRegolith,
HaltedDepositPostRegolith,
}
Expand description
Transaction validation error.
Variants§
PriorityFeeGreaterThanMaxFee
When using the EIP-1559 fee model introduced in the London upgrade, transactions specify two primary fee fields:
gas_max_fee
: The maximum total fee a user is willing to pay, inclusive of both base fee and priority fee.gas_priority_fee
: The extra amount a user is willing to give directly to the miner, often referred to as the “tip”.
Provided gas_priority_fee
exceeds the total gas_max_fee
.
GasPriceLessThanBasefee
EIP-1559: gas_price
is less than basefee
.
CallerGasLimitMoreThanBlock
gas_limit
in the tx is bigger than block_gas_limit
.
CallGasCostMoreThanGasLimit
Initial gas for a Call is bigger than gas_limit
.
Initial gas for a Call contains:
- initial stipend gas
- gas for access list and input data
RejectCallerWithCode
EIP-3607 Reject transactions from senders with deployed code
LackOfFundForMaxFee
Transaction account does not have enough amount of ether to cover transferred value and gas_limit*gas_price.
OverflowPaymentInTransaction
Overflow payment in transaction.
NonceOverflowInTransaction
Nonce overflows in transaction.
NonceTooHigh
NonceTooLow
CreateInitCodeSizeLimit
EIP-3860: Limit and meter initcode
InvalidChainId
Transaction chain id does not match the config chain id.
AccessListNotSupported
Access list is not supported for blocks before the Berlin hardfork.
MaxFeePerBlobGasNotSupported
max_fee_per_blob_gas
is not supported for blocks before the Cancun hardfork.
BlobVersionedHashesNotSupported
blob_hashes
/blob_versioned_hashes
is not supported for blocks before the Cancun hardfork.
BlobGasPriceGreaterThanMax
Block blob_gas_price
is greater than tx-specified max_fee_per_blob_gas
after Cancun.
EmptyBlobs
There should be at least one blob in Blob transaction.
BlobCreateTransaction
Blob transaction can’t be a create transaction.
to
must be present
TooManyBlobs
Transaction has more then crate::MAX_BLOB_NUMBER_PER_BLOCK
blobs
BlobVersionNotSupported
Blob transaction contains a versioned hash with an incorrect version
EofInitcodesNotSupported
EOF TxCreate transaction is not supported before Prague hardfork.
EofInitcodesNumberLimit
EOF TxCreate transaction max initcode number reached.
EofInitcodesSizeLimit
EOF initcode in TXCreate is too large.
EofCrateShouldHaveToAddress
EOF crate should have to
address
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§
source§impl Clone for InvalidTransaction
impl Clone for InvalidTransaction
source§fn clone(&self) -> InvalidTransaction
fn clone(&self) -> InvalidTransaction
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for InvalidTransaction
impl Debug for InvalidTransaction
source§impl<'de> Deserialize<'de> for InvalidTransaction
impl<'de> Deserialize<'de> for InvalidTransaction
source§fn deserialize<__D>(
__deserializer: __D
) -> Result<InvalidTransaction, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(
__deserializer: __D
) -> Result<InvalidTransaction, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
source§impl Display for InvalidTransaction
impl Display for InvalidTransaction
source§impl Error for InvalidTransaction
impl Error for InvalidTransaction
1.30.0 · source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
1.0.0 · source§fn description(&self) -> &str
fn description(&self) -> &str
source§impl<DBError> From<InvalidTransaction> for EVMError<DBError>
impl<DBError> From<InvalidTransaction> for EVMError<DBError>
source§fn from(value: InvalidTransaction) -> EVMError<DBError>
fn from(value: InvalidTransaction) -> EVMError<DBError>
source§impl Hash for InvalidTransaction
impl Hash for InvalidTransaction
source§impl PartialEq for InvalidTransaction
impl PartialEq for InvalidTransaction
source§fn eq(&self, other: &InvalidTransaction) -> bool
fn eq(&self, other: &InvalidTransaction) -> bool
self
and other
values to be equal, and is used
by ==
.source§impl Serialize for InvalidTransaction
impl Serialize for InvalidTransaction
source§fn serialize<__S>(
&self,
__serializer: __S
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
fn serialize<__S>(
&self,
__serializer: __S
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
impl Eq for InvalidTransaction
impl StructuralPartialEq for InvalidTransaction
Auto Trait Implementations§
impl Freeze for InvalidTransaction
impl RefUnwindSafe for InvalidTransaction
impl Send for InvalidTransaction
impl Sync for InvalidTransaction
impl Unpin for InvalidTransaction
impl UnwindSafe for InvalidTransaction
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.source§impl<T> FmtForward for T
impl<T> FmtForward for T
source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
self
to use its Binary
implementation when Debug
-formatted.source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
self
to use its Display
implementation when
Debug
-formatted.source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
self
to use its LowerExp
implementation when
Debug
-formatted.source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
self
to use its LowerHex
implementation when
Debug
-formatted.source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
self
to use its Octal
implementation when Debug
-formatted.source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
self
to use its Pointer
implementation when
Debug
-formatted.source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
self
to use its UpperExp
implementation when
Debug
-formatted.source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
self
to use its UpperHex
implementation when
Debug
-formatted.source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
source§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read moresource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read moresource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R ) -> R
source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
self
, then passes self.as_ref()
into the pipe function.source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
self
, then passes self.as_mut()
into the pipe
function.source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
self
, then passes self.deref()
into the pipe function.source§impl<T> Tap for T
impl<T> Tap for T
source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Borrow<B>
of a value. Read moresource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
BorrowMut<B>
of a value. Read moresource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
AsRef<R>
view of a value. Read moresource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
AsMut<R>
view of a value. Read moresource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Deref::Target
of a value. Read moresource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Deref::Target
of a value. Read moresource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
.tap()
only in debug builds, and is erased in release builds.source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
.tap_mut()
only in debug builds, and is erased in release
builds.source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
.tap_borrow()
only in debug builds, and is erased in release
builds.source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
.tap_ref()
only in debug builds, and is erased in release
builds.source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
.tap_ref_mut()
only in debug builds, and is erased in release
builds.source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
.tap_deref()
only in debug builds, and is erased in release
builds.