pub fn evals_of_split_evals<F: FieldWitness, S: AsRef<[F]>>(
point_zeta: F,
point_zetaw: F,
es: &ProofEvaluations<PointEvaluations<S>>,
rounds: usize,
) -> ProofEvaluations<PointEvaluations<F>>
pub fn evals_of_split_evals<F: FieldWitness, S: AsRef<[F]>>(
point_zeta: F,
point_zetaw: F,
es: &ProofEvaluations<PointEvaluations<S>>,
rounds: usize,
) -> ProofEvaluations<PointEvaluations<F>>