Function miden_air::stack::field_ops::enforce_incr_constraints
source · pub fn enforce_incr_constraints<E: FieldElement>(
frame: &EvaluationFrame<E>,
result: &mut [E],
op_flag: E
) -> usize
Expand description
Enforces constraints of the INCR operation. The INCR operation increments the top element in the stack by 1. Therefore, the following constraints are enforced:
- The next element in the next frame should be equal to the addition of first element in the current frame with 1. s0` - s0 - 1 = 0.