Function storage_proofs_core::gadgets::constraint::equal
source ยท pub fn equal<Scalar: PrimeField, A, AR, CS: ConstraintSystem<Scalar>>(
cs: &mut CS,
annotation: A,
a: &AllocatedNum<Scalar>,
b: &AllocatedNum<Scalar>,
)
Expand description
Adds a constraint to CS, enforcing an equality relationship between the allocated numbers a and b.
a == b