Struct miden_client::transactions::TransactionScript

pub struct TransactionScript { /* private fields */ }

A struct that represents a transaction script.

A transaction script is a program that is executed in a transaction after all input notes have been executed.

The TransactionScript object is composed of:

• code: the transaction script source code.
• hash: the hash of the compiled transaction script.
• inputs: a map of key, value inputs that are loaded into the advice map such that the transaction script can access them.

Implementations

impl TransactionScript

pub fn new<T>( code: ProgramAst, inputs: T, assembler: &Assembler, ) -> Result<(TransactionScript, CodeBlock), TransactionScriptError>

where T: IntoIterator<Item = ([BaseElement; 4], Vec<BaseElement>)>,

Returns a new instance of a TransactionScript with the provided script and inputs and the compiled script code block.

Errors

Returns an error if script compilation fails.

pub fn from_parts<T>( code: ProgramAst, hash: RpoDigest, inputs: T, ) -> Result<TransactionScript, TransactionScriptError>

where T: IntoIterator<Item = ([BaseElement; 4], Vec<BaseElement>)>,

Returns a new instance of a TransactionScript instantiated from the provided components.

Note: this constructor does not verify that a compiled code in fact results in the provided hash.

pub fn code(&self) -> &ProgramAst

Returns a reference to the code.

pub fn hash(&self) -> &RpoDigest

Returns a reference to the code hash.

pub fn inputs(&self) -> &BTreeMap<RpoDigest, Vec<BaseElement>>

Returns a reference to the inputs.

Trait Implementations

impl Clone for TransactionScript

fn clone(&self) -> TransactionScript

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TransactionScript

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

Formats the value using the given formatter.