Function miden_air::stack::stack_manipulation::enforce_dup_movup_n_constraints

pub fn enforce_dup_movup_n_constraints<E: FieldElement>(
    frame: &EvaluationFrame<E>,
    result: &mut [E],
    op_flag: &OpFlags<E>
) -> usize

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:

• The top element in the next frame should be equal to the element at depth n in the current frame. s0` - sn = 0.