Re-exports§
pub use self::Rv32IGpuBuilder as Rv32IBuilder;pub use self::Rv32ImGpuBuilder as Rv32ImBuilder;
Modules§
Structs§
- Base
AluCore Air - Base
AluCore Cols - Base
AluCore Record - Base
AluExecutor - Base
AluFiller - Branch
Equal Core Air - Branch
Equal Core Cols - Branch
Equal Core Record - Branch
Equal Executor - Branch
Equal Filler - Branch
Less Than Core Air - Branch
Less Than Core Cols - Branch
Less Than Core Record - Branch
Less Than Executor - Branch
Less Than Filler - DivRem
Core Air - DivRem
Core Cols - DivRem
Core Record - DivRem
Executor - DivRem
Filler - Less
Than Core Air - Less
Than Core Cols - Less
Than Core Record - Less
Than Executor - Less
Than Filler - Load
Sign Extend Core Air - Load
Sign Extend Core Cols - LoadSignExtend Core Chip handles byte/halfword into word conversions through sign extend This chip uses read_data to construct write_data prev_data columns are not used in constraints defined in the CoreAir, but are used in constraints by the Adapter shifted_read_data is the read_data shifted by (shift_amount & 2), this reduces the number of opcode flags needed using this shifted data we can generate the write_data as if the shift_amount was 0 for loadh and 0 or 1 for loadb
- Load
Sign Extend Core Record - Load
Sign Extend Executor - Load
Sign Extend Filler - Load
Store Core Air - Load
Store Core Cols - LoadStore Core Chip handles byte/halfword into word conversions and unsigned extends This chip uses read_data and prev_data to constrain the write_data It also handles the shifting in case of not 4 byte aligned instructions This chips treats each (opcode, shift) pair as a separate instruction
- Load
Store Core Record - Load
Store Executor - Load
Store Filler - MulH
Core Air - MulH
Core Cols - MulH
Core Record - MulH
Executor - MulH
Filler - Multiplication
Core Air - Multiplication
Core Cols - Multiplication
Core Record - Multiplication
Executor - Multiplication
Filler - Offset
Info - Rv32
Auipc Chip Gpu - Rv32
Auipc Core Air - Rv32
Auipc Core Cols - Rv32
Auipc Core Record - Rv32
Auipc Executor - Rv32
Auipc Filler - Rv32
Base AluChip Gpu - Rv32
Branch Equal Chip Gpu - Rv32
Branch Less Than Chip Gpu - Rv32
DivRem Chip Gpu - Rv32
Hint Store Air - Rv32
Hint Store Chip Gpu - Rv32
Hint Store Cols - Rv32
Hint Store Executor - Rv32
Hint Store Filler - Rv32
Hint Store Metadata - Rv32
Hint Store Record Header - Rv32
Hint Store Record Mut - SAFETY: the order of the fields in
Rv32HintStoreRecordandRv32HintStoreVaris important. The chip also assumes that the offset of the fieldswrite_auxanddatainRv32HintStoreColsis bigger thansize_of::<Rv32HintStoreRecord>() - Rv32
Hint Store Var - Rv32I
- RISC-V 32-bit Base (RV32I) Extension
- Rv32I
Config - Rv32I
CpuBuilder - Rv32I
GpuBuilder - Rv32
ImConfig - Config for a VM with base extension, IO extension, and multiplication extension
- Rv32
ImCpu Builder - Rv32
ImCpu Prover Ext - Rv32
ImGpu Builder - Rv32
ImGpu Prover Ext - Rv32Io
- RISC-V Extension for handling IO (not to be confused with I base extension)
- Rv32
JalLui Chip Gpu - Rv32
JalLui Core Air - Rv32
JalLui Core Cols - Rv32
JalLui Core Record - Rv32
JalLui Executor - Rv32
JalLui Filler - Rv32
Jalr Chip Gpu - Rv32
Jalr Core Air - Rv32
Jalr Core Cols - Rv32
Jalr Core Record - Rv32
Jalr Executor - Rv32
Jalr Filler - Rv32
Less Than Chip Gpu - Rv32
Load Sign Extend Chip Gpu - Rv32
Load Store Chip Gpu - Rv32M
- RISC-V 32-bit Multiplication Extension (RV32M) Extension
- Rv32
MulH Chip Gpu - Rv32
Multiplication Chip Gpu - Rv32
Shift Chip Gpu - Shift
Core Air - RV32 shift AIR.
Note: when the shift amount from operand is greater than the number of bits, only shift
shift_amount % num_bitsbits. This matches the RV32 specs for SLL/SRL/SRA. - Shift
Core Cols - Shift
Core Record - Shift
Executor - Shift
Filler
Enums§
- Rv32I
Config Executor - Rv32I
Executor - RISC-V 32-bit Base (RV32I) Instruction Executors
- Rv32
ImConfig Executor - Rv32
IoExecutor - RISC-V 32-bit Io Instruction Executors
- Rv32M
Executor - RISC-V 32-bit Multiplication Extension (RV32M) Instruction Executors
Type Aliases§
- Rv32
Auipc Air - Rv32
Auipc Chip - Rv32
Base AluAir - Rv32
Base AluChip - Rv32
Base AluExecutor - Rv32
Branch Equal Air - Rv32
Branch Equal Chip - Rv32
Branch Equal Executor - Rv32
Branch Less Than Air - Rv32
Branch Less Than Chip - Rv32
Branch Less Than Executor - Rv32
DivRem Air - Rv32
DivRem Chip - Rv32
DivRem Executor - Rv32
Hint Store Chip - Rv32
Hint Store Layout - Rv32
JalLui Air - Rv32
JalLui Chip - Rv32
Jalr Air - Rv32
Jalr Chip - Rv32
Less Than Air - Rv32
Less Than Chip - Rv32
Less Than Executor - Rv32
Load Sign Extend Air - Rv32
Load Sign Extend Chip - Rv32
Load Sign Extend Executor - Rv32
Load Store Air - Rv32
Load Store Chip - Rv32
Load Store Executor - Rv32
MulH Air - Rv32
MulH Chip - Rv32
MulH Executor - Rv32
Multiplication Air - Rv32
Multiplication Chip - Rv32
Multiplication Executor - Rv32
Shift Air - Rv32
Shift Chip - Rv32
Shift Executor