Skip to main content

debug_constraints_and_interactions

openvm_stark_backend::air_builders::debug

Function debug_constraints_and_interactions 

Source 
pub fn debug_constraints_and_interactions<SC: StarkProtocolConfig>(
    airs: &[AirRef<SC>],
    pk: &[&StarkProvingKey<SC>],
    inputs: &[AirProofRawInput<SC::F>],
)
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.