Skip to main content

eq_ind_partial_eval

Function eq_ind_partial_eval 

Source
pub fn eq_ind_partial_eval<P: PackedField>(
    point: &[P::Scalar],
) -> FieldBuffer<P>
Expand description

Computes the partial evaluation of the equality indicator polynomial.

For the point r = (r_0, ..., r_{n-1}) the result holds the 2^n values

(1 - r_0, r_0) (x) ... (x) (1 - r_{n-1}, r_{n-1})

which are the values of eq(X_0, ..., X_{n-1}, r) over the hypercube.