Re-exports§
pub use crate::stark::NUM_QUOTIENT_SEGMENTS;
Modules§
- auxiliary_
table - cascade
- degree_
lowering - The degree lowering table contains the introduced variables that allow
lowering the degree of the AIR. See
air::TARGET_DEGREEfor additional information. - hash
- jump_
stack - lookup
- master_
table - op_
stack - processor
- program
- ram
- u32
Structs§
- Constraint
Type Iter - An iterator over the variants of ConstraintType
Enums§
Type Aliases§
- Auxiliary
Row - A single row of a
MasterAuxTable. - MainRow
- A single row of a
MasterMainTable. - Quotient
Segments - An element of the split-up quotient polynomial.