openvm_rv32im_circuit

Type Alias Rv32AuipcChip

Source 
pub type Rv32AuipcChip<F> = VmChipWrapper<F, Rv32RdWriteAdapterChip<F>, Rv32AuipcCoreChip>;

Aliased Type§

struct Rv32AuipcChip<F> {
    pub adapter: Rv32RdWriteAdapterChip<F>,
    pub core: Rv32AuipcCoreChip,
    pub records: Vec<(<Rv32RdWriteAdapterChip<F> as VmAdapterChip<F>>::ReadRecord, <Rv32RdWriteAdapterChip<F> as VmAdapterChip<F>>::WriteRecord, <Rv32AuipcCoreChip as VmCoreChip<F, <Rv32RdWriteAdapterChip<F> as VmAdapterChip<F>>::Interface>>::Record)>,
    /* private fields */
}

Fields§

§adapter: Rv32RdWriteAdapterChip<F>§core: Rv32AuipcCoreChip§records: Vec<(<Rv32RdWriteAdapterChip<F> as VmAdapterChip<F>>::ReadRecord, <Rv32RdWriteAdapterChip<F> as VmAdapterChip<F>>::WriteRecord, <Rv32AuipcCoreChip as VmCoreChip<F, <Rv32RdWriteAdapterChip<F> as VmAdapterChip<F>>::Interface>>::Record)>