pub fn empty_mix_composition<P: PackedField>( n_vars: usize, challenge: P::Scalar, ) -> MixComposition<P, ()>