Skip to main content

eq_ind_zero

Function eq_ind_zero 

Source
pub fn eq_ind_zero<F: FieldOps>(point: &[F]) -> F
Expand description

Evaluates the equality indicator multilinear with one operand fixed to all zeros.

Only the constant basis polynomial survives at a zero coordinate:

eq(0^n, Y_0, ..., Y_{n-1}) = prod_i (1 - Y_i)