openvm_bigint_circuit

Type Alias Rv32BaseAlu256Chip

Source 
pub type Rv32BaseAlu256Chip<F> = VmChipWrapper<F, Rv32HeapAdapterChip<F, 2, INT256_NUM_LIMBS, INT256_NUM_LIMBS>, BaseAluCoreChip<INT256_NUM_LIMBS, RV32_CELL_BITS>>;

Aliased Type§

struct Rv32BaseAlu256Chip<F> {
    pub adapter: Rv32HeapAdapterChip<F, 2, 32, 32>,
    pub core: BaseAluCoreChip<32, 8>,
    pub records: Vec<(<Rv32HeapAdapterChip<F, 2, INT256_NUM_LIMBS, INT256_NUM_LIMBS> as VmAdapterChip<F>>::ReadRecord, <Rv32HeapAdapterChip<F, 2, INT256_NUM_LIMBS, INT256_NUM_LIMBS> as VmAdapterChip<F>>::WriteRecord, <BaseAluCoreChip<INT256_NUM_LIMBS, RV32_CELL_BITS> as VmCoreChip<F, <Rv32HeapAdapterChip<F, 2, INT256_NUM_LIMBS, INT256_NUM_LIMBS> as VmAdapterChip<F>>::Interface>>::Record)>,
    /* private fields */
}

Fields§

§adapter: Rv32HeapAdapterChip<F, 2, 32, 32>§core: BaseAluCoreChip<32, 8>§records: Vec<(<Rv32HeapAdapterChip<F, 2, INT256_NUM_LIMBS, INT256_NUM_LIMBS> as VmAdapterChip<F>>::ReadRecord, <Rv32HeapAdapterChip<F, 2, INT256_NUM_LIMBS, INT256_NUM_LIMBS> as VmAdapterChip<F>>::WriteRecord, <BaseAluCoreChip<INT256_NUM_LIMBS, RV32_CELL_BITS> as VmCoreChip<F, <Rv32HeapAdapterChip<F, 2, INT256_NUM_LIMBS, INT256_NUM_LIMBS> as VmAdapterChip<F>>::Interface>>::Record)>