Trait kimchi_msm::circuit_design::capabilities::ColWriteCap

pub trait ColWriteCap<F: PrimeField, CIx: ColumnIndexer>where
    Self: ColAccessCap<F, CIx>,{
    // Required method
    fn write_column(&mut self, col: CIx, value: &Self::Variable);
}

Environment capability similar to ColAccessCap but for /also writing/ columns. Used on the witness side.

Required Methods

fn write_column(&mut self, col: CIx, value: &Self::Variable)

Implementors

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

impl<'a, F: PrimeField, CIx1: ColumnIndexer, Env1: ColWriteCap<F, CIx1>, L> ColWriteCap<F, CIx1> for SubEnvLookup<'a, F, CIx1, Env1, L>

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