Struct zk_evm::vm_state::VmLocalState

pub struct VmLocalState<const N: usize = 8, E: VmEncodingMode<N> = EncodingModeProduction> {

    pub previous_code_word: U256,
    pub previous_code_memory_page: MemoryPage,
    pub registers: [PrimitiveValue; 15],
    pub flags: Flags,
    pub timestamp: u32,
    pub monotonic_cycle_counter: u32,
    pub spent_pubdata_counter: u32,
    pub memory_page_counter: u32,
    pub absolute_execution_step: u32,
    pub current_ergs_per_pubdata_byte: u32,
    pub tx_number_in_block: u16,
    pub pending_exception: bool,
    pub previous_super_pc: E::PcOrImm,
    pub context_u128_register: u128,
    pub callstack: Callstack<N, E>,
}

Fields

previous_code_word: U256

previous_code_memory_page: MemoryPage

registers: [PrimitiveValue; 15]

flags: Flags

timestamp: u32

monotonic_cycle_counter: u32

spent_pubdata_counter: u32

memory_page_counter: u32

absolute_execution_step: u32

current_ergs_per_pubdata_byte: u32

tx_number_in_block: u16

pending_exception: bool

previous_super_pc: E::PcOrImm

context_u128_register: u128

callstack: Callstack<N, E>

Implementations

impl<const N: usize, E: VmEncodingMode<N>> VmLocalState<N, E>

pub fn empty_state() -> Self

pub fn execution_has_ended(&self) -> bool

pub fn timestamp_for_code_or_src_read(&self) -> Timestamp

pub fn callstack_is_full(&self) -> bool

Trait Implementations

impl<const N: usize, E: Clone + VmEncodingMode<N>> Clone for VmLocalState<N, E>

where E::PcOrImm: Clone,

fn clone(&self) -> VmLocalState<N, E>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const N: usize, E: Debug + VmEncodingMode<N>> Debug for VmLocalState<N, E>

where E::PcOrImm: Debug,

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

Formats the value using the given formatter.

impl<const N: usize, E: PartialEq + VmEncodingMode<N>> PartialEq for VmLocalState<N, E>

where E::PcOrImm: PartialEq,

fn eq(&self, other: &VmLocalState<N, E>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<const N: usize, E: VmEncodingMode<N>> StructuralPartialEq for VmLocalState<N, E>