Trait LookupCap

pub trait LookupCap<F: PrimeField, CIx: ColumnIndexer<usize>, 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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'a, F: PrimeField, CIx1: ColumnIndexer<usize>, CIx2: ColumnIndexer<usize>, 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<usize>, 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<usize>, LT: LookupTableID> LookupCap<F, CIx, LT> for ConstraintBuilderEnv<F, LT>

impl<F: PrimeField, CIx: ColumnIndexer<usize>, 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>