Struct miden_core::mast::JoinNode

pub struct JoinNode { /* private fields */ }

A Join node describe sequential execution. When the VM encounters a Join node, it executes the first child first and the second child second.

Implementations

impl JoinNode

Constants

pub const DOMAIN: Felt = _

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

impl JoinNode

Constructors

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

Returns a new JoinNode instantiated with the specified children nodes.

impl JoinNode

Public accessors

pub fn digest(&self) -> RpoDigest

Returns a commitment to this Join node.

The commitment is computed as a hash of the first and second child node in the domain defined by Self::DOMAIN - i.e.,:

Hasher::merge_in_domain(&[first_child_digest, second_child_digest], JoinNode::DOMAIN);

pub fn first(&self) -> MastNodeId

Returns the ID of the node that is to be executed first.

pub fn second(&self) -> MastNodeId

Returns the ID of the node that is to be executed after the execution of the program defined by the first node completes.

Trait Implementations

impl Clone for JoinNode

fn clone(&self) -> JoinNode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for JoinNode

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

Formats the value using the given formatter.

impl PartialEq for JoinNode

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

impl StructuralPartialEq for JoinNode