Struct miden_core::code_blocks::Split

pub struct Split { /* private fields */ }

Block for conditional execution.

Executes the first branch if the top of the stack is 1 or the second branch if 0. Fails if the top of the stack is neither 1 or 0 or if the branch execution fails.

The hash of a split block is:

hash(true_branch_hash || false_branch_hash, domain=SPLIT_DOMAIN)

Where true_branch_hash and false_branch_hash are 4 field elements (256 bits) each.

Implementations

impl Split

pub const DOMAIN: Felt = _

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

pub fn new(t_branch: CodeBlock, f_branch: CodeBlock) -> Self

Returns a new Split block instantiated with the specified true and false branches.

pub fn hash(&self) -> Digest

Returns a hash of this code block.

pub fn on_true(&self) -> &CodeBlock

Returns a reference to the code block which is to be executed when the top of the stack is 1.

pub fn on_false(&self) -> &CodeBlock

Returns a reference to the code block which is to be executed when the top of the stack is 0.

Trait Implementations

impl Clone for Split

fn clone(&self) -> Split

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Split

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

Formats the value using the given formatter.

impl Display for Split

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

Formats the value using the given formatter.