pub fn fold_highest_var_inplace<P: PackedField, Data: DerefMut<Target = [P]>>(
values: &mut FieldBuffer<P, Data>,
scalar: P::Scalar,
)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.
ยงPreconditions
values.log_len() >= 1(buffer must have at least 2 elements)