Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
The operational stack can be indexed into to fetch individual elements through its implementations of Index<usize> and Index<OpStackElement> (and the corresponding IndexMut<…>). It can be useful to get a slice from the op stack.
Implement the combinations {Index, IndexMut} $\times$ {Range, RangeInclusive} $\times$ {usize, OpStackElement} for OpStack.
The operational stack can be indexed into to fetch individual elements through its implementations of
Index<usize>
andIndex<OpStackElement>
(and the correspondingIndexMut<…>
). It can be useful to get a slice from the op stack.Implement the combinations {
Index
,IndexMut
} $\times$ {Range
,RangeInclusive
} $\times$ {usize
,OpStackElement
} forOpStack
.