Struct kimchi_msm::logup::prover::QuotientPolynomialEnvironment

pub struct QuotientPolynomialEnvironment<'a, F: FftField, ID: LookupTableID> {
    pub lookup_terms_evals_d8: &'a BTreeMap<ID, Vec<Evaluations<F, D<F>>>>,
    pub lookup_aggregation_evals_d8: &'a Evaluations<F, D<F>>,
    pub lookup_counters_evals_d8: &'a BTreeMap<ID, Vec<Evaluations<F, D<F>>>>,
    pub fixed_tables_evals_d8: &'a BTreeMap<ID, Evaluations<F, D<F>>>,
}

The structure used by the prover the compute the quotient polynomial. The structure contains the evaluations of the inner sums, the multiplicities, the aggregation and the fixed tables, over the domain d8.

Fields

lookup_terms_evals_d8: &'a BTreeMap<ID, Vec<Evaluations<F, D<F>>>>

The evaluations of the partial sums, over d8.

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

The evaluations of the aggregation, over d8.

lookup_counters_evals_d8: &'a BTreeMap<ID, Vec<Evaluations<F, D<F>>>>

The evaluations of the multiplicities, over d8, indexed by the table ID.

fixed_tables_evals_d8: &'a BTreeMap<ID, Evaluations<F, D<F>>>

The evaluations of the fixed tables, over d8, indexed by the table ID.