Struct miden_core::code_blocks::Dyn

pub struct Dyn {}

Block for dynamic code where the target is specified by the stack.

Executes the code block referenced by the hash on top of the stack. Fails if the body is unavailable to the VM, or if the execution of the dynamically-specified code block fails.

The child of a Dyn block (the target specified by the stack) is always dynamic and does not affect the representation of the Dyn block. Therefore all Dyn blocks are represented by the same constant (rather than by unique hashes), which is computed as an RPO hash of two empty words ([ZERO, ZERO, ZERO, ZERO]) with a domain value of DYN_DOMAIN.

Implementations

impl Dyn

pub const DOMAIN: Felt = _

The domain of the Dyn block (used for control block hashing).

pub fn new() -> Self

Returns a new Dyn block instantiated with the specified function body hash.

pub fn hash(&self) -> Digest

Returns a hash of this code block.

pub fn dyn_hash() -> Digest

Returns a hash of this code block.

Trait Implementations

impl Clone for Dyn

fn clone(&self) -> Dyn

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Dyn

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

Formats the value using the given formatter.

impl Default for Dyn

fn default() -> Self

Returns the “default value” for a type.

impl Display for Dyn

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

Formats the value using the given formatter.