pub(crate) type LookupWitness<F> = LogupWitness<F, LookupTableIDs>;Expand description
Represents a witness of one instance of the lookup argument of the zkVM project
Aliased Type§
pub(crate) struct LookupWitness<F> {
pub f: Vec<Vec<Logup<F, LookupTableIDs>>>,
pub m: Vec<Vec<F>>,
}Fields§
§f: Vec<Vec<Logup<F, LookupTableIDs>>>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].