Struct miden_core::code_blocks::Call

pub struct Call { /* private fields */ }

Block for a function call.

Executes the function referenced by fn_hash. Fails if the body is unavailable to the VM, or if the execution of the call fails.

The hash of a call block is computed as:

hash(fn_hash || padding, domain=CALL_DOMAIN) hash(fn_hash || padding, domain=SYSCALL_DOMAIN) # when a syscall is used

Where fn_hash is 4 field elements (256 bits), and padding is 4 ZERO elements (256 bits).

Implementations

impl Call

pub const CALL_DOMAIN: Felt = _

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

pub const SYSCALL_DOMAIN: Felt = _

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

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.

pub fn domain(&self) -> Felt

Returns the domain of the call block

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.