Skip to main content

evals_eq_hypercube

Function evals_eq_hypercube 

Source
pub fn evals_eq_hypercube<F: Field>(x: &[F]) -> Vec<F>
Expand description

Given vector x in F^n, populates out with eq_n(x, y) for y on hypercube H_n.

The multilinear equality polynomial is defined as:

    eq(x, z) = \prod_{i=0}^{n-1} (x_i z_i + (1 - x_i)(1 - z_i)).