Enum CascadeAuxColumn

#[repr(usize)]
pub enum CascadeAuxColumn {
    HashTableServerLogDerivative = 0,
    LookupTableClientLogDerivative = 1,
}

Variants

HashTableServerLogDerivative = 0

The (running sum of the) logarithmic derivative for the Lookup Argument with the Hash Table. In every row, the sum accumulates LookupMultiplicity / (X - Combo) where X is a verifier-supplied challenge and Combo is the weighted sum of

• 2^8·LookInHi + LookInLo, and
• 2^8·LookOutHi + LookOutLo with weights supplied by the verifier.

LookupTableClientLogDerivative = 1

The (running sum of the) logarithmic derivative for the Lookup Argument with the Lookup Table. In every row, accumulates the two summands

• 1 / combo_hi where combo_hi is the verifier-weighted combination of LookInHi and LookOutHi, and
• 1 / combo_lo where combo_lo is the verifier-weighted combination of LookInLo and LookOutLo.

Trait Implementations

impl Clone for CascadeAuxColumn

fn clone(&self) -> CascadeAuxColumn

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CascadeAuxColumn

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

Formats the value using the given formatter.

impl Display for CascadeAuxColumn

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

Formats the value using the given formatter.

impl EnumCount for CascadeAuxColumn

const COUNT: usize = 2usize

impl Hash for CascadeAuxColumn

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 IntoEnumIterator for CascadeAuxColumn

type Iterator = CascadeAuxColumnIter

fn iter() -> CascadeAuxColumnIter

impl MasterAuxColumn for CascadeAuxColumn

fn aux_index(&self) -> usize

The index of the column in the “local” auxiliary table, i.e., not the master extension table.

fn master_aux_index(&self) -> usize

The index of the column in the master auxiliary table.

impl PartialEq for CascadeAuxColumn

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

impl Eq for CascadeAuxColumn

impl StructuralPartialEq for CascadeAuxColumn