Function miden_air::stack::field_ops::enforce_mul_constraints
source · pub fn enforce_mul_constraints<E: FieldElement>(
frame: &EvaluationFrame<E>,
result: &mut [E],
op_flag: E
) -> usize
Expand description
Enforces constraints of the MUL operation. The MUL operation multiplies the first two elements in the current trace. Therefore, the following constraints are enforced:
- The first element in the next frame should be the product of the first two elements in the current frame. s0` - s0 * s1 = 0