Structs§
- Rv32
Heap Adapter Air - This adapter reads from NUM_READS <= 2 pointers and writes to 1 pointer.
- Rv32
Heap Adapter Chip - Rv32
Heap Branch Adapter Air - Rv32
Heap Branch Adapter Chip - Rv32
Heap Branch Adapter Cols - This adapter reads from NUM_READS <= 2 pointers.
- Rv32
Heap Branch Read Record - Rv32
IsEqual ModAdapter Air - Rv32
IsEqual ModAdapter Chip - Rv32
IsEqual ModAdapter Cols - This adapter reads from NUM_READS <= 2 pointers and writes to a register.
- Rv32
IsEqual ModRead Record - Rv32
IsEqual ModWrite Record - Rv32
VecHeap Adapter Air - Rv32
VecHeap Adapter Chip - This adapter reads from R (R <= 2) pointers and writes to 1 pointer.
- Rv32
VecHeap Adapter Cols - Rv32
VecHeap Read Record - Rv32
VecHeap TwoReads Adapter Air - Rv32
VecHeap TwoReads Adapter Chip - This adapter reads from 2 pointers and writes to 1 pointer.
- Rv32
VecHeap TwoReads Adapter Cols - Rv32
VecHeap TwoReads Read Record - Rv32
VecHeap TwoReads Write Record - Rv32
VecHeap Write Record