openvm_stark_backend::air_builders::debug

Function debug_constraints_and_interactions

Source 
pub fn debug_constraints_and_interactions<SC: StarkGenericConfig>(
    airs: &[Arc<dyn AnyRap<SC>>],
    pk: &[StarkProvingKey<SC>],
    main_views_per_air: &[Vec<RowMajorMatrixView<'_, Val<SC>>>],
    public_values_per_air: &[Vec<Val<SC>>],
)
Expand description

The debugging will check the main AIR constraints and then separately check LogUp constraints by checking the actual multiset equalities. Currently it will not debug check any after challenge phase constraints for implementation simplicity.