Module degree_lowering

The degree lowering table contains the introduced variables that allow lowering the degree of the AIR. See air::TARGET_DEGREE for additional information.

Structs

• DegreeLoweringAuxColumnIter
  An iterator over the variants of DegreeLoweringAuxColumn
• DegreeLoweringMainColumnIter
  An iterator over the variants of DegreeLoweringMainColumn
• DegreeLoweringTable

Enums

• DegreeLoweringAuxColumn
• DegreeLoweringMainColumn