Skip to main content

evaluate

Function evaluate 

Source
pub fn evaluate<F, P, Data>(evals: &FieldBuffer<P, Data>, point: &[F]) -> F
where F: Field, P: PackedField<Scalar = F>, Data: Deref<Target = [P]>,
Expand description

Evaluates a multilinear polynomial at a point, leaving the coefficients in place.

The point holds one coordinate per variable. The result is a single field element. Memory used is on the order of the square root of the coefficient count.

ยงPreconditions

  • the point must hold one coordinate per variable of the polynomial