Re-exports§
pub use crate::stark::NUM_QUOTIENT_SEGMENTS;
Modules§
- The degree lowering table contains the introduced variables that allow lowering the degree of the AIR. See
air::TARGET_DEGREE
for additional information.
Structs§
- An iterator over the variants of ConstraintType
Enums§
Type Aliases§
- A single row of a
MasterAuxTable
. - A single row of a
MasterMainTable
. - An element of the split-up quotient polynomial.