Function check_constraints_multi 

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

Evaluate constraints for multiple AIR instances and panic on failure.

Each instance is a tuple of (air, witness, aux_builder). Instances must be in ascending trace height order, matching the protocol’s multi-trace convention.

Builds the auxiliary trace for each instance and checks constraints row by row. Uses shared challenges across all instances (caller samples from RNG in test code).

Panics

• If any AIR fails validation
• If trace dimensions don’t match their AIR
• If instances are not in ascending height order
• If challenges are insufficient
• If any constraint evaluates to nonzero on any row