Enum TransactionValidationError

#[non_exhaustive]
#[repr(u32)]
pub enum TransactionValidationError {
    InvalidGasLimit {
        tx_gas_limit: Box<U256>,
        max_gas: Box<U256>,
    },
    GasPerPubdataLimit {
        tx_gas_per_pubdata_limit: Box<U256>,
        max_gas: Box<U256>,
    },
    MaxFeePerGasTooLow {
        max_fee_per_gas: Box<U256>,
        l2_gas_price: Box<U256>,
    },
    MaxPriorityFeeGreaterThanMaxFee {
        max_fee_per_gas: Box<U256>,
        max_priority_fee_per_gas: Box<U256>,
    },
    GenericError {
        message: String,
    },
}

Domain: AnvilZKsync

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

InvalidGasLimit

Summary

Transaction validation failed due to excessive gas limit – did you provide invalid gas limit?

Description

This error occurs when a transaction’s gas limit exceeds the maximum allowed gas allowed by ZKsync protocol. As of protocol version 27, the gas is limited to 2^50 Note: When anvil-zksync is in forking mode, it lock-in and uses gas price at the forked block

Fields

tx_gas_limit: Box<U256>

max_gas: Box<U256>

GasPerPubdataLimit

Summary

Transaction validation failed due to excessive gas per pubdata limit.

Description

This error occurs when a transaction’s gas per pubdata limit exceeds the maximum allowed gas allowed by ZKsync protocol. As of protocol version 27, the gas is limited to 2^50 Note: When anvil-zksync is in forking mode, it lock-in and uses gas price at the forked block

Fields

tx_gas_per_pubdata_limit: Box<U256>

max_gas: Box<U256>

MaxFeePerGasTooLow

Summary

Transaction’s maxFeePerGas is lower than the current gas price in anvil-zksync.

Description

This error occurs when the maximum fee per gas specified in the transaction is lower than the current gas price set in the anvil-zksync node. To be considered valid, transactions must specify a maxFeePerGas that is greater or equal to the current gas price

In anvil-zksync, the gas price can be configured when starting the node using --l1-gas-price argument or can be modified dynamically. By default, the node simulates a gas price model similar to the real ZKSync network, including:

1. A base computation fee (similar to Ethereum’s base fee)
2. A simulated pubdata posting fee

Even though anvil-zksync is a testing environment, it enforces these gas price validations to ensure that your tests accurately reflect how transactions would behave on the actual ZKSync network. Note: When anvil-zksync is in forking mode, it lock-in and uses gas price at the forked block

Fields

max_fee_per_gas: Box<U256>

l2_gas_price: Box<U256>

MaxPriorityFeeGreaterThanMaxFee

Summary

Transaction’s maxPriorityFeePerGas exceeds maxFeePerGas.

Description

This error occurs when a transaction’s maximum priority fee per gas is greater than its maximum fee per gas in anvil-zksync. In ZKSync, the field maxPriorityFeePerGas is ignored, as ZKsync doesn’t have a concept of priority fees. Instead, maxFeePerGas is utilized and includes the base fees. However, certain transaction types like EIP-1559 or EIP-712 may contain field maxPriorityFeePerGas, which should be less or equal to the field maxFeePerGas.

Fields

max_fee_per_gas: Box<U256>

max_priority_fee_per_gas: Box<U256>

GenericError

Fields

message: String

Trait Implementations

impl AsRef<str> for TransactionValidation

fn as_ref(&self) -> &str

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for TransactionValidation

fn clone(&self) -> TransactionValidation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CustomErrorMessage for TransactionValidation

fn get_message(&self) -> String

impl Debug for TransactionValidation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TransactionValidation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for TransactionValidation

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

Formats the value using the given formatter.

impl Documented for TransactionValidation

type Documentation = &'static ErrorDocumentation

fn get_documentation( &self, ) -> Result<Option<Self::Documentation>, DocumentationError>

impl Error for TransactionValidation

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl<'_enum> From<&'_enum TransactionValidation> for TransactionValidationCode

fn from(val: &'_enum TransactionValidation) -> TransactionValidationCode

Converts to this type from the input type.

impl From<Error> for TransactionValidation

fn from(value: Error) -> Self

Converts to this type from the input type.

impl From<TransactionValidation> for AnvilZksync

fn from(val: TransactionValidation) -> Self

Converts to this type from the input type.

impl From<TransactionValidation> for PackedError<ZksyncError>

fn from(value: TransactionValidation) -> Self

Converts to this type from the input type.

impl From<TransactionValidation> for SerializedError

fn from(value: TransactionValidation) -> Self

Converts to this type from the input type.

impl From<TransactionValidation> for TransactionValidationCode

fn from(val: TransactionValidation) -> TransactionValidationCode

Converts to this type from the input type.

impl From<TransactionValidation> for ZksyncError

fn from(val: TransactionValidation) -> Self

Converts to this type from the input type.

impl ICustomError<ZksyncError, ZksyncError> for TransactionValidation

fn to_unified(&self) -> ZksyncError

impl NamedError for TransactionValidation

fn get_error_name(&self) -> String

impl PartialEq for TransactionValidation

fn eq(&self, other: &TransactionValidation) -> 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 TransactionValidation

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 TransactionValidation

impl StructuralPartialEq for TransactionValidation