Struct kimchi_msm::circuit_design::composition::SubEnvColumn

pub struct SubEnvColumn<'a, F: PrimeField, CIx1: ColumnIndexer, Env1: ColAccessCap<F, CIx1>, L>(_);

Sub environment with a lens that is mapping columns.

Implementations

impl<'a, F: PrimeField, CIx1: ColumnIndexer, Env1: ColAccessCap<F, CIx1>, L> SubEnvColumn<'a, F, CIx1, Env1, L>

pub fn new(env: &'a mut Env1, lens: L) -> Self

Trait Implementations

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

type Variable = <Env1 as ColAccessCap<F, CIx1>>::Variable

fn assert_zero(&mut self, cst: Self::Variable)

Asserts that the value is zero.

fn set_assert_mapper( &mut self, mapper: Box<dyn Fn(Self::Variable) -> Self::Variable> )

Sets an assert predicate f(X) such that when assert_zero is called on x, it will actually perform assert_zero(f(x)).

fn constant(value: F) -> Self::Variable

Turns a constant value into a variable.

fn read_column(&self, ix: CIx2) -> Self::Variable

Reads value from a column position.

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>

fn write_column(&mut self, ix: CIx2, value: &Self::Variable)

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

fn hcopy(&mut self, x: &Self::Variable, ix: CIx2) -> Self::Variable

Given variable x and position ix, it (hybrid) writes x into ix, and returns the value.

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>

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.