Struct ExecutedTransaction 

pub struct ExecutedTransaction { /* private fields */ }

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

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( tx_inputs: TransactionInputs, tx_outputs: TransactionOutputs, account_delta: AccountDelta, tx_measurements: TransactionMeasurements, ) -> Self

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 account_id(&self) -> AccountId

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

pub fn initial_account(&self) -> &PartialAccount

Returns the partial state of the account before the transaction was executed.

pub fn final_account(&self) -> &AccountHeader

Returns the header of the account state 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 fee(&self) -> FungibleAsset

Returns the fee of the transaction.

pub fn expiration_block_num(&self) -> BlockNumber

Returns the block number at which the transaction will expire.

pub fn tx_args(&self) -> &TransactionArgs

Returns a reference to the transaction arguments.

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 measurements(&self) -> &TransactionMeasurements

Returns a reference to the transaction measurements which are the cycle counts for each stage.

pub fn into_parts( self, ) -> (TransactionInputs, TransactionOutputs, AccountDelta, TransactionMeasurements)

Returns individual components of this transaction.

Trait Implementations

impl Clone for ExecutedTransaction

fn clone(&self) -> ExecutedTransaction

Returns a duplicate 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

Formats the value using the given formatter.

impl Deserializable for ExecutedTransaction

fn read_from<R: ByteReader>( source: &mut R, ) -> Result<Self, DeserializationError>

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

impl From<ExecutedTransaction> for TransactionInputs

fn from(tx: ExecutedTransaction) -> Self

Converts to this type from the input type.

impl From<ExecutedTransaction> for TransactionMeasurements

fn from(tx: ExecutedTransaction) -> Self

Converts to this type from the input type.

impl PartialEq for ExecutedTransaction

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

fn write_into<W: ByteWriter>(&self, target: &mut W)

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl StructuralPartialEq for ExecutedTransaction