openvm_algebra_circuit::modular_chip

Type Alias ModularAddSubChip

Source 
pub type ModularAddSubChip<F, const NUM_LANES: usize, const LANE_SIZE: usize> = VmChipWrapper<F, Rv32VecHeapAdapterChip<F, 2, NUM_LANES, NUM_LANES, LANE_SIZE, LANE_SIZE>, ModularAddSubCoreChip>;
Expand description

See ModularAddSubAir.

Aliased Type§

struct ModularAddSubChip<F, const NUM_LANES: usize, const LANE_SIZE: usize> {
    pub adapter: Rv32VecHeapAdapterChip<F, 2, NUM_LANES, NUM_LANES, LANE_SIZE, LANE_SIZE>,
    pub core: ModularAddSubCoreChip,
    pub records: Vec<(<Rv32VecHeapAdapterChip<F, 2, NUM_LANES, NUM_LANES, LANE_SIZE, LANE_SIZE> as VmAdapterChip<F>>::ReadRecord, <Rv32VecHeapAdapterChip<F, 2, NUM_LANES, NUM_LANES, LANE_SIZE, LANE_SIZE> as VmAdapterChip<F>>::WriteRecord, <ModularAddSubCoreChip as VmCoreChip<F, <Rv32VecHeapAdapterChip<F, 2, NUM_LANES, NUM_LANES, LANE_SIZE, LANE_SIZE> as VmAdapterChip<F>>::Interface>>::Record)>,
    /* private fields */
}

Fields§

§adapter: Rv32VecHeapAdapterChip<F, 2, NUM_LANES, NUM_LANES, LANE_SIZE, LANE_SIZE>§core: ModularAddSubCoreChip§records: Vec<(<Rv32VecHeapAdapterChip<F, 2, NUM_LANES, NUM_LANES, LANE_SIZE, LANE_SIZE> as VmAdapterChip<F>>::ReadRecord, <Rv32VecHeapAdapterChip<F, 2, NUM_LANES, NUM_LANES, LANE_SIZE, LANE_SIZE> as VmAdapterChip<F>>::WriteRecord, <ModularAddSubCoreChip as VmCoreChip<F, <Rv32VecHeapAdapterChip<F, 2, NUM_LANES, NUM_LANES, LANE_SIZE, LANE_SIZE> as VmAdapterChip<F>>::Interface>>::Record)>