openvm_algebra_circuit::modular_chip

Type Alias ModularAddSubAir

Source
pub type ModularAddSubAir<const NUM_LANES: usize, const LANE_SIZE: usize> = VmAirWrapper<Rv32VecHeapAdapterAir<2, NUM_LANES, NUM_LANES, LANE_SIZE, LANE_SIZE>, ModularAddSubCoreAir>;
Expand description

Each prime field element will be represented as NUM_LANES * LANE_SIZE cells in memory. The LANE_SIZE must be a power of 2 and determines the size of the batch memory read/writes.

Aliased Type§

struct ModularAddSubAir<const NUM_LANES: usize, const LANE_SIZE: usize> {
    pub adapter: Rv32VecHeapAdapterAir<2, NUM_LANES, NUM_LANES, LANE_SIZE, LANE_SIZE>,
    pub core: ModularAddSubCoreAir,
}

Fields§

§adapter: Rv32VecHeapAdapterAir<2, NUM_LANES, NUM_LANES, LANE_SIZE, LANE_SIZE>§core: ModularAddSubCoreAir