pub fn fold_highest_var_inplace<P: PackedField, Data: DerefMut<Target = [P]>>(
values: &mut FieldBuffer<P, Data>,
scalar: P::Scalar,
) -> Result<(), Error>Expand description
Computes the partial evaluation of a multilinear on its highest variable, inplace.
Each scalar of the result requires one multiplication to compute. Multilinear evaluations occupy a prefix of the field buffer; scalars after the truncated length are zeroed out.