Structs§
- Builder
- A builder for the DSL.
- Builder
Flags - Ext
- A variable that represents an emulated extension field element.
- Felt
- A variable that represents an emulated field element.
- IfBuilder
- A builder for the DSL that handles if statements.
- Iterator
Builder - MemIndex
- Ptr
- A point to a location in memory.
- Symbolic
Ptr - Traced
Vec - TracedVec is a Vec wrapper that records a trace whenever an element is pushed. When extending from another TracedVec, the traces are copied over.
- Var
- A variable that represents a native field element.
- Witness
Enums§
- Array
- A logical array.
- DslIr
- An intermeddiate instruction set for implementing programs.
- ExtOperand
- RVar
- A right value of Var. It should never be assigned with a value.
- Symbolic
Ext - Symbolic
Felt - Symbolic
Var - A symbolic variable. For any binary operator, at least one of the operands must be variable.
- Usize
- A variable that represents either a constant or variable counter.
- Witness
Ref
Constants§
Traits§
Functions§
- elements
- ext_
elements - unsafe_
array_ transmute - Unsafe transmute from array of one type to another.