Struct kimchi::circuits::berkeley_columns::LookupEnvironment

pub struct LookupEnvironment<'a, F: FftField> {
    pub sorted: &'a Vec<Evaluations<F, D<F>>>,
    pub aggreg: &'a Evaluations<F, D<F>>,
    pub selectors: &'a LookupSelectors<Evaluations<F, D<F>>>,
    pub table: &'a Evaluations<F, D<F>>,
    pub runtime_selector: Option<&'a Evaluations<F, D<F>>>,
    pub runtime_table: Option<&'a Evaluations<F, D<F>>>,
}

The polynomials specific to the lookup argument.

All are evaluations over the D8 domain

Fields

sorted: &'a Vec<Evaluations<F, D<F>>>

The sorted lookup table polynomials.

aggreg: &'a Evaluations<F, D<F>>

The lookup aggregation polynomials.

selectors: &'a LookupSelectors<Evaluations<F, D<F>>>

The lookup-type selector polynomials.

table: &'a Evaluations<F, D<F>>

The evaluations of the combined lookup table polynomial.

runtime_selector: Option<&'a Evaluations<F, D<F>>>

The evaluations of the optional runtime selector polynomial.

runtime_table: Option<&'a Evaluations<F, D<F>>>

The evaluations of the optional runtime table.