error{
    PriorityFeeGreaterThanMaxFee,
    GasPriceLessThanBaseFee,
    GasLimitHigherThanBlock,
    TooManyBlobs,
    BlobCreateTransaction,
    BlobVersionNotSupported,
    BlobVersionedHashesNotSupported,
    BlobGasPriceHigherThanMax,
    EmptyBlobs,
    InvalidChainId,
    AccessListNotSupported,
}

struct {
  /// Configuration of the EVM.
  config: ConfigEnviroment
  /// Configuration of the block the transaction is in.
  block: BlockEnviroment
  /// Configuration of the transaction that is being executed.
  tx: TxEnviroment
}

pub fn default() EVMEnviroment

pub fn effectiveGasPrice(self: EVMEnviroment) u256

pub fn calculateDataFee(self: EVMEnviroment) ?u256

pub fn calculateMaxDataFee(self: EVMEnviroment) ?u256

pub fn validateBlockEnviroment(self: EVMEnviroment, spec: SpecId) error{ PrevRandaoNotSet, ExcessBlobGasNotSet }!void

pub fn validateTransaction(self: EVMEnviroment, spec: SpecId) ValidationErrors!void

struct {
  /// The chain id of the EVM. It will be compared with the `tx` chain id.
  chain_id: u64
  /// Whether to perform analysis on the bytecode.
  perform_analysis: AnalysisKind
  /// The contract code's size limit.
  ///
  /// By default if should be 24kb as part of the Spurious Dragon upgrade via [EIP-155].
  ///
  /// [EIP-155]: https://eips.ethereum.org/EIPS/eip-155
  limit_contract_size: ?usize
  /// The max size that the memory can grow too with failing with `OutOfGas` errors.
  memory_limit: u64
  /// Skips balance checks if enabled. Adds transaction cost to ensure execution doesn't fail.
  disable_balance_check: bool
  /// There are use cases where it's allowed to provide a gas limit that's higher than a block's gas limit.
  /// To that end, you can disable the block gas limit validation.
  disable_block_gas_limit: bool
  /// EIP-3607 rejects transactions from senders with deployed code. In development, it can be desirable to simulate
  /// calls from contracts, which this setting allows.
  disable_eip3607: bool
  /// Disables all gas refunds. This is useful when using chains that have gas refunds disabled e.g. Avalanche.
  /// Reasoning behind removing gas refunds can be found in EIP-3298.
  disable_gas_refund: bool
  /// Disables base fee checks for EIP-1559 transactions.
  /// This is useful for testing method calls with zero gas price.
  disable_base_fee: bool
  /// Disables the payout of the reward to the beneficiary.
  disable_beneficiary_reward: bool
}

pub fn default() ConfigEnviroment

struct {
  blob_gasprice: u256
  blob_excess_gas: u256
}

pub fn init(excess_gas: u64) BlobExcessGasAndPrice

struct {
  /// The number of previous blocks of this block (block height).
  number: u256
  /// Coinbase or miner or address that created and signed the block.
  ///
  /// This is the receiver address of all the gas spent in the block.
  coinbase: Address
  /// The timestamp of the block in seconds since the UNIX epoch.
  timestamp: u256
  /// The gas limit of the block.
  gas_limit: u256
  /// The base fee per gas, added in the London upgrade with [EIP-1559].
  ///
  /// [EIP-1559]: https://eips.ethereum.org/EIPS/eip-1559
  base_fee: u256
  /// The difficulty of the block.
  ///
  /// Unused after the Paris (AKA the merge) upgrade, and replaced by `prevrandao`.
  difficulty: u256
  /// The output of the randomness beacon provided by the beacon chain.
  ///
  /// Replaces `difficulty` after the Paris (AKA the merge) upgrade with [EIP-4399].
  ///
  /// NOTE: `prevrandao` can be found in a block in place of `mix_hash`.
  ///
  /// [EIP-4399]: https://eips.ethereum.org/EIPS/eip-4399
  prevrandao: ?u256
  /// Excess blob gas and blob gasprice. Check `BlobExcessGasAndPrice`
  ///
  /// Incorporated as part of the Cancun upgrade via [EIP-4844].
  ///
  /// [EIP-4844]: https://eips.ethereum.org/EIPS/eip-4844
  blob_excess_gas_and_price: ?BlobExcessGasAndPrice
}

pub fn default() BlockEnviroment

struct {
  /// The signer of this transaction.
  caller: Address
  /// The gas limit for this transaction.
  gas_limit: u64
  /// The gas price for this transaction.
  gas_price: u256
  /// The target of this transaction.
  transact_to: AddressKind
  /// The value sent in this transaction.
  value: u256
  /// The data of the transaction.
  data: []u8
  /// The nonce of this transaction.
  ///
  /// Caution: If set to `null`, then nonce validation against the account's nonce is skipped.
  nonce: ?u64
  /// The chain ID of the transaction. If set to `null`, no checks are performed.
  ///
  /// Incorporated as part of the Spurious Dragon upgrade via [EIP-155].
  ///
  /// [EIP-155]: https://eips.ethereum.org/EIPS/eip-155
  chain_id: ?u64
  /// A list of addresses and storage keys that the transaction plans to access.
  ///
  /// Added in [EIP-2930].
  ///
  /// [EIP-2930]: https://eips.ethereum.org/EIPS/eip-2930
  access_list: []const AccessList
  /// The priority fee per gas.
  ///
  /// Incorporated as part of the London upgrade via [EIP-1559].
  ///
  /// [EIP-1559]: https://eips.ethereum.org/EIPS/eip-1559
  gas_priority_fee: ?u256
  /// The list of blob versioned hashes. Per EIP there should be at least
  /// one blob present if `max_fee_per_blob_gas` isn't null.
  ///
  /// Incorporated as part of the Cancun upgrade via [EIP-4844].
  ///
  /// [EIP-4844]: https://eips.ethereum.org/EIPS/eip-4844
  blob_hashes: []const Hash
  /// The max fee per blob gas.
  ///
  /// Incorporated as part of the Cancun upgrade via [EIP-4844].
  ///
  /// [EIP-4844]: https://eips.ethereum.org/EIPS/eip-4844
  max_fee_per_blob_gas: ?u256
  /// `Optimism` dedicated fields.
  optimism: OptimismFields
}

pub fn default() TxEnviroment

pub fn getTotalBlobGas(self: TxEnviroment) u64

struct {
  /// The source hash is used to make sure that deposit transactions do
  /// not have identical hashes.
  ///
  /// L1 originated deposit transaction source hashes are computed using
  /// the hash of the l1 block hash and the l1 log index.
  /// L1 attributes deposit source hashes are computed with the l1 block
  /// hash and the sequence number = l2 block number - l2 epoch start
  /// block number.
  ///
  /// These two deposit transaction sources specify a domain in the outer
  /// hash so there are no collisions.
  source_hash: ?u256
  /// The amount to increase the balance of the `from` account as part of
  /// a deposit transaction. This is unconditional and is applied to the
  /// `from` account even if the deposit transaction fails since
  /// the deposit is pre-paid on L1.
  mint: ?u128
  /// Whether or not the transaction is a system transaction.
  is_system_tx: ?bool
  /// An enveloped EIP-2718 typed transaction. This is used
  /// to compute the L1 tx cost using the L1 block info, as
  /// opposed to requiring downstream apps to compute the cost
  /// externally.
  /// This field is optional to allow the `TxEnviroment` to be constructed
  /// for non-optimism chains when the `optimism` feature is enabled,
  /// but the `ConfigEnviroment` and `optimism` field is set to false.
  enveloped_tx: ?[]u8
}

pub fn default() OptimismFields

union(enum) {
    /// Simple call `address`.
    call: Address,
    /// Contract creation.
    create,
}

enum {
  /// Do not perform analysis.
  raw
  /// Perform analysis.
  analyse
}