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