Structs§
- Builder
- A builder for the DSL.
- Circuit
V2Fri Fold Input - Circuit
V2Fri Fold Output - DslIr
Block - A block of instructions.
- DslIr
Program - Ext
- A variable that represents an emulated extension field element.
- ExtHandle
- Felt
- A variable that represents an emulated field element.
- Felt
Handle - FriFold
Input - IfBuilder
- A builder for the DSL that handles if statements.
- Inner
Builder - MemIndex
- Ptr
- A point to a location in memory.
- Range
Builder - A builder for the DSL that handles for loops.
- Symbolic
Ptr - 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
- Symbolic
Ext - Symbolic
Felt - Symbolic
Usize - Symbolic
Var - Usize
- A variable that represents either a constant or variable counter.