Structs§
- Dynamic
Tasm Constraint Evaluation Memory Layout - Memory layout guarantees for the Triton assembly AIR constraint evaluator with input lists at dynamically known memory locations.
- Memory
Region - Static
Tasm Constraint Evaluation Memory Layout - Memory layout guarantees for the Triton assembly AIR constraint evaluator with input lists at statically known memory locations.
Constants§
- MEM_
PAGE_ SIZE - The minimal required size of a memory page in
BFieldElement
s.