openvm_algebra_circuit::modular_chip

Type Alias ModularIsEqualChip

Source 
pub type ModularIsEqualChip<F, const NUM_LANES: usize, const LANE_SIZE: usize, const TOTAL_LIMBS: usize> = VmChipWrapper<F, Rv32IsEqualModAdapterChip<F, 2, NUM_LANES, LANE_SIZE, TOTAL_LIMBS>, ModularIsEqualCoreChip<TOTAL_LIMBS, RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS>>;

Aliased Type§

struct ModularIsEqualChip<F, const NUM_LANES: usize, const LANE_SIZE: usize, const TOTAL_LIMBS: usize> {
    pub adapter: Rv32IsEqualModAdapterChip<F, 2, NUM_LANES, LANE_SIZE, TOTAL_LIMBS>,
    pub core: ModularIsEqualCoreChip<TOTAL_LIMBS, 4, 8>,
    pub records: Vec<(<Rv32IsEqualModAdapterChip<F, 2, NUM_LANES, LANE_SIZE, TOTAL_LIMBS> as VmAdapterChip<F>>::ReadRecord, <Rv32IsEqualModAdapterChip<F, 2, NUM_LANES, LANE_SIZE, TOTAL_LIMBS> as VmAdapterChip<F>>::WriteRecord, <ModularIsEqualCoreChip<TOTAL_LIMBS, RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS> as VmCoreChip<F, <Rv32IsEqualModAdapterChip<F, 2, NUM_LANES, LANE_SIZE, TOTAL_LIMBS> as VmAdapterChip<F>>::Interface>>::Record)>,
    /* private fields */
}

Fields§

§adapter: Rv32IsEqualModAdapterChip<F, 2, NUM_LANES, LANE_SIZE, TOTAL_LIMBS>§core: ModularIsEqualCoreChip<TOTAL_LIMBS, 4, 8>§records: Vec<(<Rv32IsEqualModAdapterChip<F, 2, NUM_LANES, LANE_SIZE, TOTAL_LIMBS> as VmAdapterChip<F>>::ReadRecord, <Rv32IsEqualModAdapterChip<F, 2, NUM_LANES, LANE_SIZE, TOTAL_LIMBS> as VmAdapterChip<F>>::WriteRecord, <ModularIsEqualCoreChip<TOTAL_LIMBS, RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS> as VmCoreChip<F, <Rv32IsEqualModAdapterChip<F, 2, NUM_LANES, LANE_SIZE, TOTAL_LIMBS> as VmAdapterChip<F>>::Interface>>::Record)>