Enum SerializationColumn

pub enum SerializationColumn {
    CurrentRow,
    PreviousCoeffRow,
    ChalKimchi(usize),
    ChalIntermediate(usize),
    ChalConverted(usize),
    CoeffInput(usize),
    FFieldModulus(usize),
    QuotientSmall(usize),
    QuotientLarge(usize),
    QuotientSign,
    Carry(usize),
    CoeffResult(usize),
}

Columns used by the serialization subcircuit.

Variants

CurrentRow

A fixed selector column that gives one the current row, starting with 0.

PreviousCoeffRow

For current row i, this is i - 2^{ceil(log(i)) - 1}

ChalKimchi(usize)

3 88-bit inputs. For the row #i this represents the IPA challenge xi_{log(i)}.

ChalIntermediate(usize)

N_INTERMEDIATE_LIMBS intermediate values, 4 bits long. Represent parts of the IPA challenge.

ChalConverted(usize)

N_LIMBS values, representing the converted IPA challenge.

CoeffInput(usize)

Previous coefficient C_j, this one is looked up. For the row i, the expected value is (C_i >> 1).

FFieldModulus(usize)

Trusted (for range) foreign field modulus, in 4 big limbs.

QuotientSmall(usize)

Quotient limbs (small)

QuotientLarge(usize)

Quotient limbs (large)

QuotientSign

Sign of the quotient, one bit

Carry(usize)

Carry limbs

CoeffResult(usize)

The resulting coefficient C_i = C_{i - 2^{ceil(log i) - 1}} * xi_{log(i)}. In small limbs.

Trait Implementations

impl Clone for SerializationColumn

fn clone(&self) -> SerializationColumn

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ColumnIndexer<usize> for SerializationColumn

const N_COL: usize = 138usize

Total number of columns in this index.

fn to_column(self) -> Column<usize>

Flatten the column “alias” into the integer-like column.

impl Debug for SerializationColumn

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

Formats the value using the given formatter.

impl Ord for SerializationColumn

fn cmp(&self, other: &SerializationColumn) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for SerializationColumn

fn eq(&self, other: &SerializationColumn) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl PartialOrd for SerializationColumn

fn partial_cmp(&self, other: &SerializationColumn) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for SerializationColumn

impl Eq for SerializationColumn

impl StructuralPartialEq for SerializationColumn