Struct miden_core::code_blocks::Loop

pub struct Loop { /* private fields */ }

Block for a conditional loop.

Executes the loop body while the value on the top of the stack is 1, stops when 0. Fails if the top of the stack is neither 1 nor 0, or if the execution of the body fails.

The hash of a loop block is:

hash(body_hash || padding, domain=LOOP_DOMAIN)

Where body_hash is 4 field elements (256 bits), and padding is 4 ZERO elements (256 bits).

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.