triton_vm::table

Module degree_lowering

Source
Expand description

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