Module miden_air::stack::io_ops

Constants

• CONSTRAINT_DEGREES
  The degrees of constraints in the individual constraints of the input/output ops.
• NUM_CONSTRAINTS
  The number of unique transition constraints in the input/output operations.

Functions

• enforce_constraints
  Enforces constraints for the input/output operations.
• enforce_sdepth_constraint
  Enforces constraints of the SDEPTH operation. The SDEPTH operation pushes the depth of the stack onto the stack. Therefore, the following constraints are enforced:
• get_transition_constraint_count
  Returns the number of transition constraints for the input/output operations.
• get_transition_constraint_degrees
  Builds the transition constraint degrees for the input/output operations.