Function miden_air::stack::field_ops::enforce_eq_constraints

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

Enforces constraints of the EQ operation. The EQ operation checks if the top two elements in the current frame are equal or not. Therefore, the following constraints are enforced:

  • (s0 - s1) * s0’ = 0
  • s0` - (1 - (s0 - s1) * h0) = 0