Function miden_air::stack::field_ops::enforce_eqz_constraints

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

Enforces constraints of the EQZ operation. The EQZ operation checks if the top element in the current frame is 0 or not. Therefore, the following constraints are enforced:

  • s0 * s0` = 0.
  • s0` - (1 - h0 * s0) = 0.