Struct DynamicTasmConstraintEvaluationMemoryLayout

pub struct DynamicTasmConstraintEvaluationMemoryLayout {
    pub free_mem_page_ptr: BFieldElement,
    pub challenges_ptr: BFieldElement,
}

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

Fields

free_mem_page_ptr: BFieldElement

Pointer to a region of memory that is reserved for (a) pointers to {current, next} {main, aux} rows, and (b) intermediate values in the course of constraint evaluation. The size of the region must be at least MEM_PAGE_SIZE BFieldElements.

challenges_ptr: BFieldElement

Pointer to an array of XFieldElements of length NUM_CHALLENGES.

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for DynamicTasmConstraintEvaluationMemoryLayout

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 DynamicTasmConstraintEvaluationMemoryLayout

fn clone(&self) -> DynamicTasmConstraintEvaluationMemoryLayout

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DynamicTasmConstraintEvaluationMemoryLayout

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

Formats the value using the given formatter.

impl Hash for DynamicTasmConstraintEvaluationMemoryLayout

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 DynamicTasmConstraintEvaluationMemoryLayout

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 DynamicTasmConstraintEvaluationMemoryLayout

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

impl Eq for DynamicTasmConstraintEvaluationMemoryLayout

impl StructuralPartialEq for DynamicTasmConstraintEvaluationMemoryLayout