Function check_constraints 

pub fn check_constraints<F, EF, A, B>(
    air: &A,
    witness: AirWitness<'_, F>,
    aux_builder: &B,
    challenges: &[EF],
)
where
    F: Field,
    EF: ExtensionField<F>,
    A: LiftedAir<F, EF>,
    B: AuxBuilder<F, EF>,

Evaluate every AIR constraint against a concrete trace and panic on failure.

Convenience wrapper around check_constraints_multi for a single instance.

Panics

• If the AIR fails validation
• If trace dimensions don’t match the AIR
• If challenges are insufficient
• If any constraint evaluates to nonzero on any row