Module debug

Structs

DebugConstraintBuilder

An AirBuilder which asserts that each constraint is zero, allowing any failed constraints to be detected early.

Constants

USE_DEBUG_BUILDER

Functions

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.