pub fn evaluators<F, P>(
cols: [ColId; 4],
) -> (impl MleCheckRoundEvaluator<F, P> + 'static, impl MleCheckRoundEvaluator<F, P> + 'static)where
F: Field,
P: PackedField<Scalar = F>,Expand description
Creates the round evaluators for the fractional-addition claims required in logUp*.
The columns are [num_a, num_b, den_a, den_b]: the numerators and denominators of the two
fraction collections being added, split as either half of one layer buffer. The two claims —
one evaluator each — are the fractional-addition numerator num_a * den_b + num_b * den_a over
all four columns and the denominator den_a * den_b over [den_a, den_b], both weighted by the
equality indicator at the shared evaluation point. The driving SharedMleCheckProver owns
that point’s eq tracker and holds the two claimed evaluations, so the evaluators carry neither.