Struct kimchi_msm::circuit_design::composition::SubEnvLookup

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

Sub environment with a lens that is mapping lookup tables.

Implementations

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

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

Trait Implementations

impl<'a, F: PrimeField, CIx1: ColumnIndexer, Env1: ColAccessCap<F, CIx1>, L> ColAccessCap<F, CIx1> for SubEnvLookup<'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: CIx1) -> Self::Variable

Reads value from a column position.

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

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

impl<'a, F: PrimeField, CIx: ColumnIndexer, Env1: DirectWitnessCap<F, CIx>, L> DirectWitnessCap<F, CIx> for SubEnvLookup<'a, F, CIx, Env1, L>

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

Convert an abstract variable to a field element! Inverse of Env::constant().

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

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

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

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>

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

Look up (read) value from a lookup table.

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

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

impl<'a, F: PrimeField, CIx: ColumnIndexer, Env1: MultiRowReadCap<F, CIx>, L> MultiRowReadCap<F, CIx> for SubEnvLookup<'a, F, CIx, Env1, L>

fn read_row_column(&mut self, row: usize, col: CIx) -> Self::Variable

Read value from a (row,column) position.

fn next_row(&mut self)

Progresses to the next row.

fn curr_row(&self) -> usize

Returns the current row.