Struct kimchi_msm::circuit_design::constraints::ConstraintBuilderEnv

pub struct ConstraintBuilderEnv<F: PrimeField, LT: LookupTableID> {
    pub constraints: Vec<Expr<ConstantExpr<F, BerkeleyChallengeTerm>, Column>>,
    pub lookup_reads: BTreeMap<LT, Vec<Vec<E<F>>>>,
    pub lookup_writes: BTreeMap<LT, Vec<Vec<E<F>>>>,
    pub assert_mapper: Box<dyn Fn(E<F>) -> E<F>>,
}

Fields

constraints: Vec<Expr<ConstantExpr<F, BerkeleyChallengeTerm>, Column>>

An indexed set of constraints.

lookup_reads: BTreeMap<LT, Vec<Vec<E<F>>>>

Aggregated lookups or “reads”.

lookup_writes: BTreeMap<LT, Vec<Vec<E<F>>>>

Aggregated “write” lookups, for runtime tables.

assert_mapper: Box<dyn Fn(E<F>) -> E<F>>

The function that maps the argument of assert_zero.

Implementations

impl<F: PrimeField, LT: LookupTableID> ConstraintBuilderEnv<F, LT>

pub fn create() -> Self

impl<F: PrimeField, LT: LookupTableID> ConstraintBuilderEnv<F, LT>

pub fn get_relation_constraints(&self) -> Vec<E<F>>

Get constraints related to the application logic itself.

pub fn get_lookup_constraints(&self) -> Vec<E<F>>

Get constraints related to the lookup argument.

pub fn get_constraints(&self) -> Vec<E<F>>

Get all relevant constraints generated by the constraint builder.

Trait Implementations

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

type Variable = Operations<ExprInner<Operations<ConstantExprInner<F, BerkeleyChallengeTerm>>, Column>>

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 read_column(&self, position: CIx) -> Self::Variable

Reads value from a column position.

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

Turns a constant value into a variable.

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

fn hcopy(&mut self, x: &Self::Variable, position: CIx) -> Self::Variable

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

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

fn bitmask_be( &mut self, _x: &<Self as ColAccessCap<F, CIx>>::Variable, _highest_bit: u32, _lowest_bit: u32, position: CIx ) -> <Self as ColAccessCap<F, CIx>>::Variable

Returns the bits between [highest_bit, lowest_bit] of the variable x, and copy the result in the column position. The value x is expected to be encoded in big-endian

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

fn lookup( &mut self, table_id: LT, value: Vec<<Self as ColAccessCap<F, CIx>>::Variable> )

Look up (read) value from a lookup table.

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

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