Enum kimchi_msm::columns::Column

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

Describe a generic indexed variable X_{i}.

Variants

Relation(usize)

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

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

Adds offset if the column is Relation. Fails otherwise.

Trait Implementations

impl Clone for Column

fn clone(&self) -> Column

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Column

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

Formats the value using the given formatter.

impl FoldingColumnTrait for Column

fn is_witness(&self) -> bool

fn degree(&self) -> Degree

Return the degree of the column

impl FormattedOutput for Column

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 Hash for Column

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 PartialEq<Column> for Column

fn eq(&self, other: &Column) -> 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 Copy for Column

impl Eq for Column

impl StructuralEq for Column

impl StructuralPartialEq for Column