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.