Struct RoundContext 

pub struct RoundContext<'a, P: PackedField> { /* private fields */ }

The scalar state of one round, as an evaluator may read it while interpolating.

Holds no columns and no allocator, so an evaluator is generic over neither. The store has not folded this round yet, so every value here is the current round’s.

Implementations

impl<F: Field, P: PackedField<Scalar = F>> RoundContext<'_, P>

pub const fn n_vars(&self) -> usize

Returns the number of variables not yet bound, this round’s included.

pub fn eq_alpha(&self, id: EqId) -> F

Returns the coordinate of the variable this round binds, for a registered eq tracker.

This is the round’s alpha: the highest coordinate of that tracker’s point still unbound.

pub const fn eq_prefix(&self, id: EqId) -> F

Returns the equality prefix of a registered eq tracker.

This is the product of the equality terms over all coordinates bound so far. The Gruen24 technique multiplies it into each round polynomial.