Struct miden_core::code_blocks::Join
source · pub struct Join { /* private fields */ }
Expand description
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§
Trait Implementations§
Auto Trait Implementations§
impl RefUnwindSafe for Join
impl Send for Join
impl Sync for Join
impl Unpin for Join
impl UnwindSafe for Join
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more