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