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.

impl PartialEq for Loop

fn eq(&self, other: &Loop) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Loop

impl StructuralPartialEq for Loop