Struct miden_core::Program

pub struct Program { /* private fields */ }

A program which can be executed by the VM.

A program is described by a Merkelized Abstract Syntax Tree (MAST), where each node is a CodeBlock. Internal nodes describe control flow semantics of the program, while leaf nodes contain linear sequences of instructions which contain no control flow.

Implementations

impl Program

pub fn new(root: CodeBlock) -> Self

Instantiates a new Program from the specified code block.

pub fn with_kernel(
    root: CodeBlock,
    kernel: Kernel,
    cb_table: CodeBlockTable
) -> Self

Instantiates a new Program from the specified code block and associated code block table.

pub fn root(&self) -> &CodeBlock

Returns the root code block of this program.

pub fn hash(&self) -> Digest

Returns a hash of this program.

pub fn kernel(&self) -> &Kernel

Returns a kernel for this program.

pub fn cb_table(&self) -> &CodeBlockTable

Returns code block table for this program.

Trait Implementations

impl Clone for Program

fn clone(&self) -> Program

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Program

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

Formats the value using the given formatter.

impl Display for Program

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

Formats the value using the given formatter.