Module ark_r1cs_std::eq

source ·
Expand description

This module describes a trait for checking equality of variables.

Traits

EqGadget
Specifies how to generate constraints that check for equality for two variables of type Self.