Skip to main content

Module debug

openvm_stark_backend::air_builders

Module debug 

Source

Structs§

AirProofRawInput
Raw input data for debugging a single AIR.
DebugConstraintBuilder
An AirBuilder which asserts that each constraint is zero, allowing any failed constraints to be detected early.

Constants§

USE_DEBUG_BUILDER

Functions§

check_constraints
Check that all constraints vanish on the subgroup.
check_logup
debug_constraints_and_interactions
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.