Struct TransactionExecutor

pub struct TransactionExecutor { /* private fields */ }

The transaction executor is responsible for executing Miden rollup transactions.

Transaction execution consists of the following steps:

• Fetch the data required to execute a transaction from the DataStore.
• Load the code associated with the transaction into the TransactionMastStore.
• Execute the transaction program and create an ExecutedTransaction.

The transaction executor uses dynamic dispatch with trait objects for the DataStore and TransactionAuthenticator, allowing it to be used with different backend implementations.

Implementations

impl TransactionExecutor

pub fn new( data_store: Arc<dyn DataStore>, authenticator: Option<Arc<dyn TransactionAuthenticator>>, ) -> Self

Creates a new TransactionExecutor instance with the specified DataStore and TransactionAuthenticator.

pub fn with_debug_mode(self) -> Self

Puts the TransactionExecutor into debug mode.

When transaction executor is in debug mode, all transaction-related code (note scripts, account code) will be compiled and executed in debug mode. This will ensure that all debug instructions present in the original source code are executed.

pub fn with_tracing(self) -> Self

Enables tracing for the created instance of TransactionExecutor.

When tracing is enabled, the executor will receive tracing events as various stages of the transaction kernel complete. This enables collecting basic stats about how long different stages of transaction execution take.

pub fn load_account_code(&mut self, code: &AccountCode)

Loads the provided account code into the internal MAST forest store and adds the commitment of the provided code to the commitments set.

pub fn load_library(&mut self, library: &Library)

Loads the provided library code into the internal MAST forest store.

TODO: this is a work-around to support accounts which were complied with user-defined libraries. Once Miden Assembler supports library vendoring, this should go away.

pub fn execute_transaction( &self, account_id: AccountId, block_ref: BlockNumber, notes: &[NoteId], tx_args: TransactionArgs, ) -> Result<ExecutedTransaction, TransactionExecutorError>

Prepares and executes a transaction specified by the provided arguments and returns an ExecutedTransaction.

The method first fetches the data required to execute the transaction from the DataStore and compile the transaction into an executable program. Then, it executes the transaction program and creates an ExecutedTransaction object.

Errors:

Returns an error if:

• If required data can not be fetched from the DataStore.

pub fn execute_tx_view_script( &self, account_id: AccountId, block_ref: BlockNumber, tx_script: TransactionScript, advice_inputs: AdviceInputs, ) -> Result<[Felt; 16], TransactionExecutorError>

Executes an arbitrary script against the given account and returns the stack state at the end of execution.

Errors:

Returns an error if:

• If required data can not be fetched from the DataStore.
• If the transaction host can not be created from the provided values.
• If the execution of the provided program fails.