openvm_rv32im_circuit

Type Alias Rv32BranchEqualChip

Source
pub type Rv32BranchEqualChip<F> = VmChipWrapper<F, Rv32BranchAdapterChip<F>, BranchEqualCoreChip<RV32_REGISTER_NUM_LIMBS>>;

Aliased Type§

struct Rv32BranchEqualChip<F> {
    pub adapter: Rv32BranchAdapterChip<F>,
    pub core: BranchEqualCoreChip<4>,
    pub records: Vec<(<Rv32BranchAdapterChip<F> as VmAdapterChip<F>>::ReadRecord, <Rv32BranchAdapterChip<F> as VmAdapterChip<F>>::WriteRecord, <BranchEqualCoreChip<RV32_REGISTER_NUM_LIMBS> as VmCoreChip<F, <Rv32BranchAdapterChip<F> as VmAdapterChip<F>>::Interface>>::Record)>,
    /* private fields */
}

Fields§

§adapter: Rv32BranchAdapterChip<F>§core: BranchEqualCoreChip<4>§records: Vec<(<Rv32BranchAdapterChip<F> as VmAdapterChip<F>>::ReadRecord, <Rv32BranchAdapterChip<F> as VmAdapterChip<F>>::WriteRecord, <BranchEqualCoreChip<RV32_REGISTER_NUM_LIMBS> as VmCoreChip<F, <Rv32BranchAdapterChip<F> as VmAdapterChip<F>>::Interface>>::Record)>