Module miden_air::stack::system_ops

source ·

Constants

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

Functions

  • enforce_assert_constraints
    Enforces unique constraints of the ASSERT operation. The ASSERT operation asserts the top element in the stack to ONE. Therefore, the following constraints are enforced:
  • enforce_clk_constraints
    Enforces constraints of the CLK operation. The CLK operation pushes the current cycle number to the stack. Therefore, the following constraints are enforced:
  • enforce_constraints
    Enforces constraints of all the system operations.
  • enforce_fmpadd_constraints
    Enforces unique constraints of the FMPADD operation. The FMPADD operation increments the top element in the stack by fmp register value. Therefore, the following constraints are enforced:
  • enforce_fmpupdate_constraints
    Enforces constraints of the FMPUPDATE operation. The FMPUPDATE operation increments the fmp register value by the first element value in the current trace. Therefore, the following constraints are enforced:
  • get_transition_constraint_count
    Returns the number of transition constraints required in all the system operations.
  • get_transition_constraint_degrees
    Builds the transition constraint degrees of all the system operations.