Skip to main content

eq_ind_prefix_eval

binius_math::multilinear::eq_prefix

Function eq_ind_prefix_eval 

Source 
pub fn eq_ind_prefix_eval<F: FieldOps>(m: usize, x: &[F], y: &[F]) -> F
Expand description

Evaluates the prefix equality indicator eq_{<m}(x, y) in O(n) field operations.

ยงPreconditions

  • x and y must have the same length n
  • m must be at most 2^n