Struct miden_core::mast::SplitNode

pub struct SplitNode { /* private fields */ }

A Split node defines conditional execution. When the VM encounters a Split node it executes either the on_true child or on_false child.

Which child is executed is determined based on the top of the stack. If the value is 1, then the on_true child is executed. If the value is 0, then the on_false child is executed. If the value is neither 0 nor 1, the execution fails.

Implementations

impl SplitNode

Constants

pub const DOMAIN: Felt = _

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

impl SplitNode

Constructors

pub fn new( branches: [MastNodeId; 2], mast_forest: &MastForest, ) -> Result<Self, MastForestError>

impl SplitNode

Public accessors

pub fn digest(&self) -> RpoDigest

Returns a commitment to this Split node.

The commitment is computed as a hash of the on_true and on_false child nodes in the domain defined by Self::DOMAIN - i..e,:

Hasher::merge_in_domain(&[on_true_digest, on_false_digest], SplitNode::DOMAIN);

pub fn on_true(&self) -> MastNodeId

Returns the ID of the node which is to be executed if the top of the stack is 1.

pub fn on_false(&self) -> MastNodeId

Returns the ID of the node which is to be executed if the top of the stack is 0.

Trait Implementations

impl Clone for SplitNode

fn clone(&self) -> SplitNode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SplitNode

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

Formats the value using the given formatter.

impl PartialEq for SplitNode

fn eq(&self, other: &SplitNode) -> 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 SplitNode

impl StructuralPartialEq for SplitNode