Struct miden_core::code_blocks::Join

pub struct Join { /* private fields */ }

Block for sequential execution of two sub-blocks.

Executes left sub-block then the right sub-block. Fails if either of the sub-block execution fails.

The hash of a join block is computed as:

hash(left_block_hash || right_block_hash, domain=JOIN_DOMAIN)

Where left_block_hash and right_block_hash are 4 field elements (256 bits) each.

Implementations

impl Join

pub const DOMAIN: Felt = _

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

pub fn new(body: [CodeBlock; 2]) -> Self

Returns a new Join block instantiated with the specified code blocks.

pub fn hash(&self) -> Digest

Returns a hash of this code block.

pub fn first(&self) -> &CodeBlock

Returns a reference to the code block which is to be executed first when this join block is executed.

pub fn second(&self) -> &CodeBlock

Returns a reference to the code block which is to be executed second when this join block is executed.

Trait Implementations

impl Clone for Join

fn clone(&self) -> Join

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Join

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

Formats the value using the given formatter.

impl Display for Join

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

Formats the value using the given formatter.