Struct LoopNode 

pub struct LoopNode { /* private fields */ }

A Loop node defines condition-controlled iterative execution. When the VM encounters a Loop node, it will keep executing the body of the loop as long as the top of the stack is `1``.

The loop is exited when at the end of executing the loop body the top of the stack is 0``. If the top of the stack is neither 0nor1` when the condition is checked, the execution fails.

Implementations

impl LoopNode

Constants

pub const DOMAIN: Felt

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

impl LoopNode

Constructors

pub fn new( body: MastNodeId, mast_forest: &MastForest, ) -> Result<Self, MastForestError>

Returns a new LoopNode instantiated with the specified body node.

pub fn new_unsafe(body: MastNodeId, digest: Word) -> Self

Returns a new LoopNode from values that are assumed to be correct. Should only be used when the source of the inputs is trusted (e.g. deserialization).

impl LoopNode

pub fn digest(&self) -> Word

Returns a commitment to this Loop node.

The commitment is computed as a hash of the loop body and an empty word ([ZERO; 4]) in the domain defined by Self::DOMAIN - i..e,:

Hasher::merge_in_domain(&[body_digest, Word::default()], LoopNode::DOMAIN);

pub fn body(&self) -> MastNodeId

Returns the ID of the node presenting the body of the loop.

pub fn before_enter(&self) -> &[DecoratorId]

Returns the decorators to be executed before this node is executed.

pub fn after_exit(&self) -> &[DecoratorId]

Returns the decorators to be executed after this node is executed.

impl LoopNode

Mutators

pub fn remap_children(&self, remapping: &Remapping) -> Self

pub fn append_before_enter(&mut self, decorator_ids: &[DecoratorId])

Sets the list of decorators to be executed before this node.

pub fn append_after_exit(&mut self, decorator_ids: &[DecoratorId])

Sets the list of decorators to be executed after this node.

pub fn remove_decorators(&mut self)

Removes all decorators from this node.

Trait Implementations

impl Clone for LoopNode

fn clone(&self) -> LoopNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LoopNode

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

Formats the value using the given formatter.

impl MastNodeExt for LoopNode

fn decorators(&self) -> impl Iterator<Item = (usize, DecoratorId)>

The list of decorators tied to this node, along with their associated index.

fn get_assembly_op<'m>( &self, mast_forest: &'m MastForest, target_op_idx: Option<usize>, ) -> Option<&'m AssemblyOp>

Returns the AssemblyOp associated with this node and operation (if provided), if any.

impl PartialEq for LoopNode

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for LoopNode

impl StructuralPartialEq for LoopNode