Struct ShiftIndOutput 

pub struct ShiftIndOutput<F> {
    pub weights_eval: F,
    pub ind_eval: F,
    pub eval: F,
    pub point: Vec<F>,
}

What one run of these rounds leaves the phases after it.

The two factor evaluations are reported apart rather than as their product. A reduction peeling two shifts runs these rounds once per slot and needs them separately: the indicator evaluation alone is the constant the next run carries, while the products of both runs are what scale the monster multilinear at the end.

Fields

weights_eval: F

The weight vector at the challenge point, weights(r_i).

ind_eval: F

The interpolated shift indicator at the challenge point, shift_ind(r_i, point). The verifier recomputes it from the point alone.

eval: F

The claim the next phase proves: the two evaluations above times the carried constant.

point: Vec<F>

The point these rounds bound, in evaluation order.

Trait Implementations

impl<F: Clone> Clone for ShiftIndOutput<F>

fn clone(&self) -> ShiftIndOutput<F>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Debug> Debug for ShiftIndOutput<F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.