Struct miden_objects::transaction::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: IntoIterator<Item = (Word, Vec<Felt>)>>( code: ProgramAst, inputs: T, assembler: &Assembler ) -> Result<(Self, CodeBlock), TransactionScriptError>

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: IntoIterator<Item = (Word, Vec<Felt>)>>( code: ProgramAst, hash: Digest, inputs: T ) -> Result<Self, TransactionScriptError>

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) -> &Digest

Returns a reference to the code hash.

pub fn inputs(&self) -> &BTreeMap<Digest, Vec<Felt>>

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

Formats the value using the given formatter.