Trait Evm 

pub trait Evm {
    type DB;
    type Tx: IntoTxEnv<Self::Tx>;
    type Error: EvmError;
    type HaltReason: HaltReasonTr + Send + Sync + 'static;
    type Spec: Debug + Copy + Hash + Eq + Send + Sync + Default + 'static;
    type BlockEnv: BlockEnvironment;
    type Precompiles;
    type Inspector;

    // Required methods
    fn block(&self) -> &Self::BlockEnv;
    fn chain_id(&self) -> u64;
    fn transact_raw(
        &mut self,
        tx: Self::Tx,
    ) -> Result<ResultAndState<Self::HaltReason>, Self::Error>;
    fn transact_system_call(
        &mut self,
        caller: Address,
        contract: Address,
        data: Bytes,
    ) -> Result<ResultAndState<Self::HaltReason>, Self::Error>;
    fn finish(self) -> (Self::DB, EvmEnv<Self::Spec, Self::BlockEnv>)
       where Self: Sized;
    fn set_inspector_enabled(&mut self, enabled: bool);
    fn components(&self) -> (&Self::DB, &Self::Inspector, &Self::Precompiles);
    fn components_mut(
        &mut self,
    ) -> (&mut Self::DB, &mut Self::Inspector, &mut Self::Precompiles);

    // Provided methods
    fn transact(
        &mut self,
        tx: impl IntoTxEnv<Self::Tx>,
    ) -> Result<ResultAndState<Self::HaltReason>, Self::Error> { ... }
    fn db(&self) -> &Self::DB { ... }
    fn db_mut(&mut self) -> &mut Self::DB { ... }
    fn transact_commit(
        &mut self,
        tx: impl IntoTxEnv<Self::Tx>,
    ) -> Result<ExecutionResult<Self::HaltReason>, Self::Error>
       where Self::DB: DatabaseCommit { ... }
    fn into_db(self) -> Self::DB
       where Self: Sized { ... }
    fn into_env(self) -> EvmEnv<Self::Spec, Self::BlockEnv>
       where Self: Sized { ... }
    fn enable_inspector(&mut self) { ... }
    fn disable_inspector(&mut self) { ... }
    fn precompiles(&self) -> &Self::Precompiles { ... }
    fn precompiles_mut(&mut self) -> &mut Self::Precompiles { ... }
    fn inspector(&self) -> &Self::Inspector { ... }
    fn inspector_mut(&mut self) -> &mut Self::Inspector { ... }
}

An instance of an ethereum virtual machine.

An EVM is commonly initialized with the corresponding block context and state and it’s only purpose is to execute transactions.

Executing a transaction will return the outcome of the transaction.

Required Associated Types

type DB

Database type held by the EVM.

type Tx: IntoTxEnv<Self::Tx>

The transaction object that the EVM will execute.

This type represents the transaction environment that the EVM operates on internally. Typically this is revm::context::TxEnv, which contains all necessary transaction data like sender, gas limits, value, and calldata.

The EVM accepts flexible transaction inputs through the IntoTxEnv trait. This means that while the EVM internally works with Self::Tx (usually TxEnv), users can pass various transaction formats to Evm::transact, including:

• Direct TxEnv instances
• Recovered<T> where T implements crate::FromRecoveredTx
• WithEncoded<Recovered<T>> where T implements crate::FromTxWithEncoded

This design allows the EVM to accept recovered consensus transactions seamlessly.

type Error: EvmError

Error type returned by EVM. Contains either errors related to invalid transactions or internal irrecoverable execution errors.

type HaltReason: HaltReasonTr + Send + Sync + 'static

Halt reason. Enum over all possible reasons for halting the execution. When execution halts, it means that transaction is valid, however, it’s execution was interrupted (e.g because of running out of gas or overflowing stack).

type Spec: Debug + Copy + Hash + Eq + Send + Sync + Default + 'static

Identifier of the EVM specification. EVM is expected to use this identifier to determine which features are enabled.

type BlockEnv: BlockEnvironment

Block environment used by the EVM.

type Precompiles

Precompiles used by the EVM.

type Inspector

Evm inspector.

Required Methods

fn block(&self) -> &Self::BlockEnv

Reference to Evm::BlockEnv.

fn chain_id(&self) -> u64

Returns the chain ID of the environment.

fn transact_raw( &mut self, tx: Self::Tx, ) -> Result<ResultAndState<Self::HaltReason>, Self::Error>

Executes a transaction and returns the outcome.

fn transact_system_call( &mut self, caller: Address, contract: Address, data: Bytes, ) -> Result<ResultAndState<Self::HaltReason>, Self::Error>

Executes a system call.

Note: this will only keep the target contract in the state. This is done because revm is loading revm::context::Block::beneficiary into state by default, and we need to avoid it by also covering edge cases when beneficiary is set to the system contract address.

fn finish(self) -> (Self::DB, EvmEnv<Self::Spec, Self::BlockEnv>)

where Self: Sized,

Consumes the EVM and returns the inner EvmEnv.

fn set_inspector_enabled(&mut self, enabled: bool)

Determines whether additional transactions should be inspected or not.

See also EvmFactory::create_evm_with_inspector.

fn components(&self) -> (&Self::DB, &Self::Inspector, &Self::Precompiles)

Provides immutable references to the database, inspector and precompiles.

fn components_mut( &mut self, ) -> (&mut Self::DB, &mut Self::Inspector, &mut Self::Precompiles)

Provides mutable references to the database, inspector and precompiles.

Provided Methods

fn transact( &mut self, tx: impl IntoTxEnv<Self::Tx>, ) -> Result<ResultAndState<Self::HaltReason>, Self::Error>

Same as Evm::transact_raw, but takes any type implementing IntoTxEnv.

This is the primary method for executing transactions. It accepts flexible input types that can be converted to the EVM’s transaction environment, including:

• TxEnv - Direct transaction environment
• Recovered<T> - Consensus transaction with recovered sender
• WithEncoded<Recovered<T>> - Transaction with sender and encoded bytes

The conversion happens automatically through the IntoTxEnv trait.

fn db(&self) -> &Self::DB

Returns an immutable reference to the underlying database.

fn db_mut(&mut self) -> &mut Self::DB

Returns a mutable reference to the underlying database.

fn transact_commit( &mut self, tx: impl IntoTxEnv<Self::Tx>, ) -> Result<ExecutionResult<Self::HaltReason>, Self::Error>

where Self::DB: DatabaseCommit,

Executes a transaction and commits the state changes to the underlying database.

fn into_db(self) -> Self::DB

where Self: Sized,

Consumes the EVM and returns the inner database.

fn into_env(self) -> EvmEnv<Self::Spec, Self::BlockEnv>

where Self: Sized,

Consumes the EVM and returns the inner EvmEnv.

fn enable_inspector(&mut self)

Enables the configured inspector.

All additional transactions will be inspected if enabled.

fn disable_inspector(&mut self)

Disables the configured inspector.

Transactions will no longer be inspected.

fn precompiles(&self) -> &Self::Precompiles

Getter of precompiles.

fn precompiles_mut(&mut self) -> &mut Self::Precompiles

Mutable getter of precompiles.

fn inspector(&self) -> &Self::Inspector

Getter of inspector.

fn inspector_mut(&mut self) -> &mut Self::Inspector

Mutable getter of inspector.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<L, R> Evm for Either<L, R>

where L: Evm, R: Evm<DB = L::DB, Tx = L::Tx, Error = L::Error, HaltReason = L::HaltReason, Spec = L::Spec, BlockEnv = L::BlockEnv, Precompiles = L::Precompiles, Inspector = L::Inspector>,

type DB = <L as Evm>::DB

type Tx = <L as Evm>::Tx

type Error = <L as Evm>::Error

type HaltReason = <L as Evm>::HaltReason

type Spec = <L as Evm>::Spec

type BlockEnv = <L as Evm>::BlockEnv

type Precompiles = <L as Evm>::Precompiles

type Inspector = <L as Evm>::Inspector

fn block(&self) -> &Self::BlockEnv

fn chain_id(&self) -> u64

fn transact_raw( &mut self, tx: Self::Tx, ) -> Result<ResultAndState<Self::HaltReason>, Self::Error>

fn transact( &mut self, tx: impl IntoTxEnv<Self::Tx>, ) -> Result<ResultAndState<Self::HaltReason>, Self::Error>

fn transact_system_call( &mut self, caller: Address, contract: Address, data: Bytes, ) -> Result<ResultAndState<Self::HaltReason>, Self::Error>

fn transact_commit( &mut self, tx: impl IntoTxEnv<Self::Tx>, ) -> Result<ExecutionResult<Self::HaltReason>, Self::Error>

where Self::DB: DatabaseCommit,

fn finish(self) -> (Self::DB, EvmEnv<Self::Spec, Self::BlockEnv>)

where Self: Sized,

fn into_db(self) -> Self::DB

where Self: Sized,

fn into_env(self) -> EvmEnv<Self::Spec, Self::BlockEnv>

where Self: Sized,

fn set_inspector_enabled(&mut self, enabled: bool)

fn enable_inspector(&mut self)

fn disable_inspector(&mut self)

fn components(&self) -> (&Self::DB, &Self::Inspector, &Self::Precompiles)

fn components_mut( &mut self, ) -> (&mut Self::DB, &mut Self::Inspector, &mut Self::Precompiles)

Implementors

impl<DB, I, PRECOMPILE> Evm for EthEvm<DB, I, PRECOMPILE>

where DB: Database, I: Inspector<EthEvmContext<DB>>, PRECOMPILE: PrecompileProvider<EthEvmContext<DB>, Output = InterpreterResult>,

type DB = DB

type Tx = TxEnv

type Error = EVMError<<DB as Database>::Error>

type HaltReason = HaltReason

type Spec = SpecId

type BlockEnv = BlockEnv

type Precompiles = PRECOMPILE

type Inspector = I