pub enum Column<T> {
Relation(T),
DynamicSelector(usize),
FixedSelector(usize),
LookupPartialSum((u32, usize)),
LookupMultiplicity((u32, usize)),
LookupAggregation,
LookupFixedTable(u32),
}
Expand description
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§
Trait Implementations§
Source§impl<T: Copy> FoldingColumnTrait for Column<T>
impl<T: Copy> FoldingColumnTrait for Column<T>
Source§impl FormattedOutput for Column<usize>
impl FormattedOutput for Column<usize>
impl<T: Copy> Copy for Column<T>
impl<T: Eq> Eq for Column<T>
impl<T> StructuralPartialEq for Column<T>
Auto Trait Implementations§
impl<T> Freeze for Column<T>where
T: Freeze,
impl<T> RefUnwindSafe for Column<T>where
T: RefUnwindSafe,
impl<T> Send for Column<T>where
T: Send,
impl<T> Sync for Column<T>where
T: Sync,
impl<T> Unpin for Column<T>where
T: Unpin,
impl<T> UnwindSafe for Column<T>where
T: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more