Function miden_air::stack::field_ops::enforce_not_constraints

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

Enforces constraints of the NOT operation. The NOT operation updates the top element in the stack with its bitwise not value. Therefore, the following constraints are enforced:

  • The top element should be a binary. It is enforced as a general constraint.
  • The first element of the next frame should be a binary not of the first element of the current frame. s0` + s0 = 1.