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