Module miden_air::stack::stack_manipulation

Constants

• CONSTRAINT_DEGREES
  The degrees of constraints in individual stack manipulation operations.
• NUM_CONSTRAINTS
  The number of unique transition constraints in stack manipulation operations.

Functions

• enforce_constraints
  Enforces constraints for the stack manipulation operations.
• enforce_cswapx_constraints
  Enforces constraints of the CSWAP and CSWAPW operation. Each of the operation effects the stack in the following way:
• enforce_dup_movup_n_constraints
  Enforces constraints of the DUPn and MOVUPn operations. The DUPn operation copies the element at depth n in the stack and pushes the copy onto the stack, whereas MOVUPn opearation moves the element at depth n to the top of the stack. Therefore, the following constraints are enforced:
• enforce_movdnn_constraints
  Enforces constraints of the MOVDNn operation. The MOVDNn operation moves the top element to depth n in the stack. Therefore, the following constraints are enforced:
• enforce_pad_constraints
  Enforces constraints of the PAD operation. The PAD operation pushes a ZERO onto the stack. Therefore, the following constraints are enforced:
• enforce_swap_constraints
  Enforces constraints of the SWAP operation. The SWAP operation swaps the first two elements in the stack. Therefore, the following constraints are enforced:
• enforce_swapwx_constraints
  Enforces constraints of all the SWAP{W, W2, W3, DW} operations. Each of the operation effects the stack in the following way:
• get_transition_constraint_count
  Returns the number of transition constraints for the stack manipulation operations.
• get_transition_constraint_degrees
  Builds the transition constraint degrees for the stack manipulation operations.