pub fn var_base_mul<F: FieldWitness>( evals: &ProofEvaluations<[F; 2]>, powers_of_alpha: &[F; 24], ) -> F