Struct miden_objects::transaction::TransactionArgs

pub struct TransactionArgs { /* private fields */ }

A struct that represents optional transaction arguments.

• Transaction script: a program that is executed in a transaction after all input notes scripts have been executed.
• Note arguments: data put onto the stack right before a note script is executed. These are different from note inputs, as the user executing the transaction can specify arbitrary note args.
• Advice map: Provides data needed by the runtime, like the details of a public output note.

Implementations

impl TransactionArgs

pub fn new( tx_script: Option<TransactionScript>, note_args: Option<BTreeMap<NoteId, Word>>, advice_map: AdviceMap, ) -> Self

Returns new TransactionArgs instantiated with the provided transaction script and note arguments.

If tx_script is provided, this also adds all mappings from the transaction script inputs to the advice map.

pub fn with_tx_script(tx_script: TransactionScript) -> Self

Returns new TransactionArgs instantiated with the provided transaction script.

pub fn with_note_args(note_args: BTreeMap<NoteId, Word>) -> Self

Returns new TransactionArgs instantiated with the provided note arguments.

pub fn tx_script(&self) -> Option<&TransactionScript>

Returns a reference to the transaction script.

pub fn get_note_args(&self, note_id: NoteId) -> Option<&Word>

Returns a reference to a specific note argument.

pub fn advice_map(&self) -> &AdviceMap

Returns a reference to the args AdviceMap.

pub fn add_expected_output_note<T: Deref<Target = NoteDetails>>( &mut self, note: &T, )

Populates the advice inputs with the specified note details.

The advice map is extended with the following keys:

• recipient |-> recipient details (inputs_hash, script_hash, serial_num).
• inputs_key |-> inputs, where inputs_key is computed by taking note inputs commitment and adding ONE to its most significant element.
• script_hash |-> script.

pub fn extend_expected_output_notes<T, L>(&mut self, notes: L)

where L: IntoIterator<Item = T>, T: Deref<Target = NoteDetails>,

Populates the advice inputs with the specified note details.

The advice map is extended with the following keys:

• recipient |-> recipient details (inputs_hash, script_hash, serial_num)
• inputs_key |-> inputs, where inputs_key is computed by taking note inputs commitment and adding ONE to its most significant element.
• script_hash |-> script

pub fn extend_advice_map<T: IntoIterator<Item = (Digest, Vec<Felt>)>>( &mut self, iter: T, )

Extends the internal advice map with the provided key-value pairs.

Trait Implementations

impl Clone for TransactionArgs

fn clone(&self) -> TransactionArgs

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TransactionArgs

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

Formats the value using the given formatter.

impl Default for TransactionArgs

fn default() -> TransactionArgs

Returns the “default value” for a type.