Struct kimchi_msm::logup::LogupWitness

pub struct LogupWitness<F, ID: LookupTableID> {
    pub f: Vec<Vec<Logup<F, ID>>>,
    pub m: Vec<Vec<F>>,
}

Represents a witness of one instance of the lookup argument

Fields

f: Vec<Vec<Logup<F, ID>>>

A list of functions/looked-up values. Invariant: for fixed lookup tables, the last value of the vector is the lookup table t. The lookup table values must have a negative sign. The values are represented as: [ [f_{1}(1), …, f_{1}(ω^(n-1)], [f_{2}(1), …, f_{2}(ω^(n-1)] … [f_{m}(1), …, f_{m}(ω^(n-1)] ]

m: Vec<Vec<F>>

The multiplicity polynomials; by convention, this is a vector of columns, corresponding to the tail of f. That is, m[last] ~ f[last].

Implementations

impl<F: FftField> LogupWitness<F, LookupTableIDs>

pub fn random(domain: EvaluationDomains<F>) -> (LookupTableIDs, Self)

Generate a random number of correct lookups in the table RangeCheck16

Trait Implementations

impl<F: Clone, ID: Clone + LookupTableID> Clone for LogupWitness<F, ID>

fn clone(&self) -> LogupWitness<F, ID>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug, ID: Debug + LookupTableID> Debug for LogupWitness<F, ID>

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

Formats the value using the given formatter.

impl<F: PartialEq, ID: PartialEq + LookupTableID> PartialEq<LogupWitness<F, ID>> for LogupWitness<F, ID>

fn eq(&self, other: &LogupWitness<F, ID>) -> 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<F: Eq, ID: Eq + LookupTableID> Eq for LogupWitness<F, ID>

impl<F, ID: LookupTableID> StructuralEq for LogupWitness<F, ID>

impl<F, ID: LookupTableID> StructuralPartialEq for LogupWitness<F, ID>