Struct miden_core::code_blocks::Call

pub struct Call { /* private fields */ }

A code block describing a function call.

When the VM executes a Call block, it simply executes the code of the underlying function. Thus, to execute a function call, the VM must have access to the function’s body, otherwise, the execution fails.

Hash of a Call block is computed by hashing a concatenation of the function’s body hash with zero.

TODO: update hashing methodology to make it different from Loop block.

Implementations

impl Call

pub fn new(fn_hash: Digest) -> Self

Returns a new Call block instantiated with the specified function body hash.

pub fn new_syscall(fn_hash: Digest) -> Self

Returns a new Call block instantiated with the specified function body hash and marked as a kernel call.

pub fn hash(&self) -> Digest

Returns a hash of this code block.

pub fn fn_hash(&self) -> Digest

Returns a hash of the function to be called by this block.

pub fn is_syscall(&self) -> bool

Returns true if this call block corresponds to a kernel call.

Trait Implementations

impl Clone for Call

fn clone(&self) -> Call

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Call

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

Formats the value using the given formatter.

impl Display for Call

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

Formats the value using the given formatter.