Module debug 

Debug constraint checker for lifted AIRs. Debug constraint checker for lifted AIRs.

Evaluates constraints row-by-row on concrete trace values and panics if any constraint is nonzero. This avoids the full STARK pipeline (DFT, commitment, FRI) and provides immediate feedback on constraint violations during development.

Usage

use p3_miden_lifted_air::AirWitness;

// Single instance
let witness = AirWitness::new(&trace, &public_values, &[]);
check_constraints(&air, &witness, &aux_builder, &challenges);

// Multiple instances (ascending height order)
check_constraints_multi(
    &[(&air_a, witness_a, &builder_a), (&air_b, witness_b, &builder_b)],
    &challenges,
);

Functions

check_constraints

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

check_constraints_multi

Evaluate constraints for multiple AIR instances and panic on failure.