Module eq
ark_r1cs_std
This module describes a trait for checking equality of variables.
Specifies how to generate constraints that check for equality for two variables of type Self.
Self