pub fn interpolate_cubic_at_0123<F: Field>(evals: &[F; 4], x: F) -> F
Interpolates a cubic polynomial through points (0, evals[0]), (1, evals[1]), (2, evals[2]), (3, evals[3]) and evaluates it at x.