Function miden_air::stack::system_ops::enforce_assert_constraints

source · 
pub fn enforce_assert_constraints<E: FieldElement>(
    frame: &EvaluationFrame<E>,
    result: &mut [E],
    op_flag: E
) -> usize
Expand description

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:

  • The first element in the current frame should be ONE. s0 = 1.