Module canonicity 

Structs

CanonicityAuxCols

CanonicityIo

CanonicitySubAir

Sub-AIR to constrain that a field byte decomposition is canonical. Note:

CanonicityTraceGen

Tracegen helper for canonicity sub-AIR auxiliary columns