Struct miden_client::transactions::ExecutedTransaction

pub struct ExecutedTransaction { /* private fields */ }

Describes the result of executing a transaction program for the Miden rollup.

Executed transaction serves two primary purposes:

• It contains a complete description of the effects of the transaction. Specifically, it contains all output notes created as the result of the transaction and describes all the changes made to the involved account (i.e., the account delta).
• It contains all the information required to re-execute and prove the transaction in a stateless manner. This includes all public transaction inputs, but also all nondeterministic inputs that the host provided to Miden VM while executing the transaction (i.e., advice witness).

Implementations

impl ExecutedTransaction

pub fn new( program: Program, tx_inputs: TransactionInputs, tx_outputs: TransactionOutputs, account_delta: AccountDelta, tx_args: TransactionArgs, advice_witness: AdviceInputs, ) -> ExecutedTransaction

Returns a new ExecutedTransaction instantiated from the provided data.

Panics

Panics if input and output account IDs are not the same.

pub fn id(&self) -> TransactionId

Returns a unique identifier of this transaction.

pub fn program(&self) -> &Program

Returns a reference the program defining this transaction.

pub fn account_id(&self) -> AccountId

Returns the ID of the account against which this transaction was executed.

pub fn initial_account(&self) -> &Account

Returns the description of the account before the transaction was executed.

pub fn final_account(&self) -> &AccountStub

Returns description of the account after the transaction was executed.

pub fn input_notes(&self) -> &InputNotes<InputNote>

Returns the notes consumed in this transaction.

pub fn output_notes(&self) -> &OutputNotes

Returns the notes created in this transaction.

pub fn tx_args(&self) -> &TransactionArgs

Returns a reference to the transaction args.

pub fn block_header(&self) -> &BlockHeader

Returns the block header for the block against which the transaction was executed.

pub fn account_delta(&self) -> &AccountDelta

Returns a description of changes between the initial and final account states.

pub fn tx_inputs(&self) -> &TransactionInputs

Returns a reference to the inputs for this transaction.

pub fn advice_witness(&self) -> &AdviceInputs

Returns all the data requested by the VM from the advice provider while executing the transaction program.

pub fn into_parts( self, ) -> (AccountDelta, TransactionOutputs, TransactionWitness)

Returns individual components of this transaction.

Trait Implementations

impl Clone for ExecutedTransaction

fn clone(&self) -> ExecutedTransaction

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutedTransaction

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

Formats the value using the given formatter.

impl From<&ExecutedTransaction> for TransactionId

fn from(tx: &ExecutedTransaction) -> TransactionId

Converts to this type from the input type.

impl ToTransactionKernelInputs for ExecutedTransaction

fn get_kernel_inputs(&self) -> (StackInputs, AdviceInputs)

Returns stack and advice inputs required to execute the transaction kernel.