Modules§
Structs§
- CastF
- CastF
Core Air - CastF
Core Chip - CastF
Core Cols - CastF
Extension - CastF
Record - Field
Arithmetic - Field
Arithmetic Core Air - Field
Arithmetic Core Chip - Field
Arithmetic Core Cols - Field
Arithmetic Record - Field
Extension - Field
Extension Core Air - Field
Extension Core Chip - Field
Extension Core Cols - Field
Extension Record - FriReduced
Opening Chip - FriReduced
Opening Record - JalRange
Check Air - JalRange
Check Chip - Chip for JAL and RANGE_CHECK. These opcodes are logically irrelevant. Putting these opcodes into the same chip is just to save columns.
- JalRange
Check Record - Native
- Native
Config - Native
Load Store Core Air - Native
Load Store Core Chip - Native
Load Store Core Cols - Native
Load Store Core Record - Rv32
With Kernels Config
Enums§
- CastF
Extension Executor - CastF
Extension Periphery - Native
Config Executor - Native
Config Periphery - Native
Executor - Native
Periphery - Rv32
With Kernels Config Executor - Rv32
With Kernels Config Periphery