Module ir

Source

Structs§

Builder
A builder for the DSL.
CircuitV2FriFoldInput
CircuitV2FriFoldOutput
DslIrBlock
A block of instructions.
DslIrProgram
Ext
A variable that represents an emulated extension field element.
ExtHandle
Felt
A variable that represents an emulated field element.
FeltHandle
FriFoldInput
IfBuilder
A builder for the DSL that handles if statements.
InnerBuilder
MemIndex
Ptr
A point to a location in memory.
RangeBuilder
A builder for the DSL that handles for loops.
SymbolicPtr
Var
A variable that represents a native field element.
VarHandle
Witness

Enums§

Array
An array that is either of static or dynamic size.
DslIr
An intermeddiate instruction set for implementing programs.
ExtOperand
SymbolicExt
SymbolicFelt
SymbolicUsize
SymbolicVar
Usize
A variable that represents either a constant or variable counter.

Traits§

Config
ExtConst
ExtensionOperand
FromConstant
IrIter
MemVariable
Variable