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>

pub fn new_unsafe(branches: [MastNodeId; 2], digest: RpoDigest) -> Self

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

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