openvm_bigint_circuitType Alias Rv32Multiplication256Chip
Source pub type Rv32Multiplication256Chip<F> = VmChipWrapper<F, Rv32HeapAdapterChip<F, 2, INT256_NUM_LIMBS, INT256_NUM_LIMBS>, MultiplicationCoreChip<INT256_NUM_LIMBS, RV32_CELL_BITS>>;
struct Rv32Multiplication256Chip<F> {
pub adapter: Rv32HeapAdapterChip<F, 2, 32, 32>,
pub core: MultiplicationCoreChip<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, <MultiplicationCoreChip<INT256_NUM_LIMBS, RV32_CELL_BITS> as VmCoreChip<F, <Rv32HeapAdapterChip<F, 2, INT256_NUM_LIMBS, INT256_NUM_LIMBS> as VmAdapterChip<F>>::Interface>>::Record)>,
}