Struct miden_core::code_blocks::Loop

pub struct Loop { /* private fields */ }

A code block used to describe condition-based iterative execution.

When the VM encounters a Loop block, executes the loop’s body if the top of the stack is 1, and skips the block if the top of the stack is 0. If the top of the stack is neither 0 nor 1, the program fails. Once the loop body is fully executed, the VM checks the top of the stack again. If the top of the stack is 1, the loop is executed again, if it is 0, the VM stops executing the loop and moves to the next block. Thus, the body of the loop is executed while the top of the stack remains 1 at the end of each loop iteration.

Hash of a Loop block is computed by hashing a concatenation of the loop’s body hash with zero.

Implementations

impl Loop

pub const DOMAIN: Felt = _

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

pub fn new(body: CodeBlock) -> Self

Returns a new Loop bock instantiated with the specified body.

pub fn hash(&self) -> Digest

Returns a hash of this code block.

pub fn body(&self) -> &CodeBlock

Returns a reference to the code block which represents the body of the loop.

Trait Implementations

impl Clone for Loop

fn clone(&self) -> Loop

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Loop

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

Formats the value using the given formatter.

impl Display for Loop

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

Formats the value using the given formatter.