Struct StaticTasmConstraintEvaluationMemoryLayout

pub struct StaticTasmConstraintEvaluationMemoryLayout {
    pub free_mem_page_ptr: BFieldElement,
    pub curr_main_row_ptr: BFieldElement,
    pub curr_aux_row_ptr: BFieldElement,
    pub next_main_row_ptr: BFieldElement,
    pub next_aux_row_ptr: BFieldElement,
    pub challenges_ptr: BFieldElement,
}

Memory layout guarantees for the Triton assembly AIR constraint evaluator with input lists at statically known memory locations.

Fields

free_mem_page_ptr: BFieldElement

Pointer to a region of memory that is reserved for constraint evaluation. The size of the region must be at least MEM_PAGE_SIZE BFieldElements.

curr_main_row_ptr: BFieldElement

Pointer to an array of XFieldElements of length MasterMainTable::NUM_COLUMNS.

curr_aux_row_ptr: BFieldElement

Pointer to an array of XFieldElements of length MasterAuxTable::NUM_COLUMNS.

next_main_row_ptr: BFieldElement

Pointer to an array of XFieldElements of length MasterMainTable::NUM_COLUMNS.

next_aux_row_ptr: BFieldElement

Pointer to an array of XFieldElements of length MasterAuxTable::NUM_COLUMNS.

challenges_ptr: BFieldElement

Pointer to an array of XFieldElements of length NUM_CHALLENGES.

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for StaticTasmConstraintEvaluationMemoryLayout

fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

impl Clone for StaticTasmConstraintEvaluationMemoryLayout

fn clone(&self) -> StaticTasmConstraintEvaluationMemoryLayout

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StaticTasmConstraintEvaluationMemoryLayout

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

Formats the value using the given formatter.

impl Hash for StaticTasmConstraintEvaluationMemoryLayout

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl IntegralMemoryLayout for StaticTasmConstraintEvaluationMemoryLayout

fn memory_regions(&self) -> Box<[MemoryRegion]>

fn is_integral(&self) -> bool

Determine if the memory layout’s constraints are met, i.e., whether the various pointers point to large enough regions of memory.

impl PartialEq for StaticTasmConstraintEvaluationMemoryLayout

fn eq(&self, other: &StaticTasmConstraintEvaluationMemoryLayout) -> 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 Copy for StaticTasmConstraintEvaluationMemoryLayout

impl Eq for StaticTasmConstraintEvaluationMemoryLayout

impl StructuralPartialEq for StaticTasmConstraintEvaluationMemoryLayout