Trait kimchi_msm::circuit_design::capabilities::LookupCap

pub trait LookupCap<F: PrimeField, CIx: ColumnIndexer, LT: LookupTableID>where
    Self: ColAccessCap<F, CIx>,{
    // Required methods
    fn lookup(&mut self, lookup_id: LT, value: Vec<Self::Variable>);
    fn lookup_runtime_write(
        &mut self,
        lookup_id: LT,
        value: Vec<Self::Variable>
    );
}

Capability for invoking table lookups.

Required Methods

fn lookup(&mut self, lookup_id: LT, value: Vec<Self::Variable>)

Look up (read) value from a lookup table.

fn lookup_runtime_write(&mut self, lookup_id: LT, value: Vec<Self::Variable>)

Write a value into a runtime table. Panics if called on a fixed table.

Implementors

impl<'a, F: PrimeField, CIx1: ColumnIndexer, CIx2: ColumnIndexer, LT: LookupTableID, Env1: LookupCap<F, CIx1, LT>, L: MPrism<Source = CIx1, Target = CIx2>> LookupCap<F, CIx2, LT> for SubEnvColumn<'a, F, CIx1, Env1, L>

impl<'a, F: PrimeField, CIx: ColumnIndexer, LT1: LookupTableID, LT2: LookupTableID, Env1: LookupCap<F, CIx, LT1>, L: MPrism<Source = LT1, Target = LT2>> LookupCap<F, CIx, LT2> for SubEnvLookup<'a, F, CIx, Env1, L>

impl<F: PrimeField, CIx: ColumnIndexer, LT: LookupTableID> LookupCap<F, CIx, LT> for ConstraintBuilderEnv<F, LT>

impl<F: PrimeField, CIx: ColumnIndexer, const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, LT: LookupTableID> LookupCap<F, CIx, LT> for WitnessBuilderEnv<F, CIx, N_WIT, N_REL, N_DSEL, N_FSEL, LT>