Enum kimchi_msm::columns::Column

pub enum Column<T> {
    Relation(T),
    DynamicSelector(usize),
    FixedSelector(usize),
    LookupPartialSum((u32, usize)),
    LookupMultiplicity((u32, usize)),
    LookupAggregation,
    LookupFixedTable(u32),
}

Describe a generic indexed variable X_{i}.

Variants

Relation(T)

Columns related to the relation encoded in the circuit

DynamicSelector(usize)

Columns related to dynamic selectors to indicate gate type

FixedSelector(usize)

Constant column that is /always/ fixed for a given circuit.

LookupPartialSum((u32, usize))

Partial sums. This corresponds to the h_i. It is first indexed by the table ID, and after that internal index.

LookupMultiplicity((u32, usize))

Multiplicities, indexed. This corresponds to the m_i. First indexed by table ID, then internal index.

LookupAggregation

The lookup aggregation, i.e. phi

LookupFixedTable(u32)

The fixed tables. The parameter is considered to the indexed table.

Implementations

impl Column<usize>

pub fn add_rel_offset(self, offset: usize) -> Column<usize>

Adds offset if the column is Relation. Fails otherwise.

Trait Implementations

impl<T: Clone> Clone for Column<T>

fn clone(&self) -> Column<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for Column<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Copy> FoldingColumnTrait for Column<T>

fn is_witness(&self) -> bool

fn degree(&self) -> Degree

Return the degree of the column

impl FormattedOutput for Column<usize>

fn latex(&self, _cache: &mut HashMap<CacheId, Self>) -> String

fn text(&self, _cache: &mut HashMap<CacheId, Self>) -> String

fn ocaml(&self, _cache: &mut HashMap<CacheId, Self>) -> String

fn is_alpha(&self) -> bool

impl<T: Hash> Hash for Column<T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T: PartialEq> PartialEq<Column<T>> for Column<T>

fn eq(&self, other: &Column<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: Copy> Copy for Column<T>

impl<T: Eq> Eq for Column<T>

impl<T> StructuralEq for Column<T>

impl<T> StructuralPartialEq for Column<T>