pub fn evaluate<F, P, Data>(evals: &FieldBuffer<P, Data>, point: &[F]) -> FExpand 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