Formalization and verification of a circuit for asserting that two field elements are equal.
Given two field elements x and y, we combine the field-eq and boolean-assert-true to constrain x and y to be equal:
