Module miden_air::stack::u32_ops

Structs

• LimbCompositions
  Contains intermediate limbs values required in u32 constraint checks.

Constants

• CONSTRAINT_DEGREES
  The degrees of constraints in individual u32 operations.
• NUM_CONSTRAINTS
  The number of unique transition constraints in stack manipulation operations.
• TWO_0
• TWO_16
• TWO_32
• TWO_48

Functions

• enforce_check_element_validity
  The constraint checks if the top four element in the trace on aggregating forms a valid field element. no not. This constraint is applicable in U32SPLIT, U32MADD and U32MUL.
• enforce_constraints
  Enforces constraints for the u32 operations.
• enforce_limbs_agg
  Enforces constraints of the general operation. The constaints checks if the lower 16-bits limbs are aggregated correctly or not. Therefore, the following constraints are enforced:
• enforce_u32add3_constraints
  Enforces constraints of the U32ADD3 operation. The U32ADD3 operation adds the top three elements in the current trace of the stack. Therefore, the following constraints are enforced:
• enforce_u32add_constraints
  Enforces constraints of the U32ADD operation. The U32ADD operation adds the top two elements in the current trace of the stack. Therefore, the following constraints are enforced:
• enforce_u32div_constraints
  Enforces constraints of the U32DIV operation. The U32DIV operation divides the second element with the first element in the current trace. Therefore, the following constraints are enforced:
• enforce_u32madd_constraints
  Enforces constraints of the U32MADD operation. The U32MADD operation adds the third element to the product of the first two elements in the current trace. Therefore, the following constraints are enforced:
• enforce_u32mul_constraints
  Enforces constraints of the U32MUL operation. The U32MUL operation multiplies the top two elements in the current trace of the stack. Therefore, the following constraints are enforced:
• enforce_u32split_constraints
  Enforces constraints of the U32SPLIT operation. The U32SPLIT operation splits the top element into two 32-bit numbers. Therefore, the following constraints are enforced:
• enforce_u32sub_constraints
  Enforces constraints of the U32SUB operation. The U32SUB operation subtracts the first element from the second in the current trace of the stack. Therefore, the following constraints are enforced:
• get_transition_constraint_count
  Returns the number of transition constraints for the u32 operations.
• get_transition_constraint_degrees
  Builds the transition constraint degrees for the u32 operations.