pub fn ft_eval0<F: FieldWitness, const NLIMB: usize>(
env: &ScalarsEnv<F>,
evals: &ProofEvaluations<PointEvaluations<F>>,
minimal: &PlonkMinimal<F, NLIMB>,
p_eval0: &[F],
) -> F
pub fn ft_eval0<F: FieldWitness, const NLIMB: usize>(
env: &ScalarsEnv<F>,
evals: &ProofEvaluations<PointEvaluations<F>>,
minimal: &PlonkMinimal<F, NLIMB>,
p_eval0: &[F],
) -> F