Struct miden_objects::accounts::code::procedure::AccountProcedureInfo

pub struct AccountProcedureInfo { /* private fields */ }

Information about a procedure exposed in a public account interface.

The info included the MAST root of the procedure and the storage offset applied to all account storage-related accesses made by this procedure. For example, if storage offset is set ot 1, a call to the account::get_item(storage_slot=4) made from this procedure would actually access storage slot with index 5.

Implementations

impl AccountProcedureInfo

pub const NUM_ELEMENTS_PER_PROC: usize = 8usize

The number of field elements needed to represent an AccountProcedureInfo in kernel memory.

pub fn new(mast_root: Digest, storage_offset: u16) -> Self

Returns a new instance of an AccountProcedureInfo.

pub fn mast_root(&self) -> &Digest

Returns a reference to the procedure’s mast_root.

pub fn storage_offset(&self) -> u16

Returns a reference to the procedure’s storage_offset.

Trait Implementations

impl Clone for AccountProcedureInfo

fn clone(&self) -> AccountProcedureInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AccountProcedureInfo

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

Formats the value using the given formatter.

impl Deserializable for AccountProcedureInfo

fn read_from<R: ByteReader>( source: &mut R, ) -> Result<Self, DeserializationError>

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

impl From<AccountProcedureInfo> for [Felt; 8]

fn from(value: AccountProcedureInfo) -> Self

Converts to this type from the input type.

impl PartialEq for AccountProcedureInfo

fn eq(&self, other: &AccountProcedureInfo) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serializable for AccountProcedureInfo

fn write_into<W: ByteWriter>(&self, target: &mut W)

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl TryFrom<[BaseElement; 8]> for AccountProcedureInfo

type Error = AccountError

The type returned in the event of a conversion error.

fn try_from(value: [Felt; 8]) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for AccountProcedureInfo

impl StructuralPartialEq for AccountProcedureInfo