pub fn poly_eval(coeffs: &[Fp4], x: Fp4) -> Fp4