arnaucube/ark-r1cs-std
1
0
Fork 0
mirror of https://github.com/arnaucube/ark-r1cs-std.git synced 2026-01-10 16:01:28 +01:00
Code Issues Projects Releases Wiki Activity

fix(fp-cmp): use enforce unchecked in enforce unchecked function

Browse Source
This commit is contained in:
Georgios Konstantopoulos
2020-05-06 17:20:02 +03:00
committed by Pratyush Mishra
parent cc534494ec
commit ea2adb4f7f
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
r1cs-std/src/fields/fp/cmp.rs
View File

@@ -27,7 +27,7 @@ impl<F: PrimeField> FpGadget<F> {
ordering, ordering,
should_also_check_equality, should_also_check_equality,
)?; )?;
Self::enforce_smaller_than_unchecked(cs.ns(|| "enforce smaller than"), &left, &right) Self::enforce_smaller_than(cs.ns(|| "enforce smaller than"), &left, &right)
} }
/// This function enforces the ordering between `self` and `b`. The /// This function enforces the ordering between `self` and `b`. The
@@ -49,7 +49,7 @@ impl<F: PrimeField> FpGadget<F> {
ordering, ordering,
should_also_check_equality, should_also_check_equality,
)?; )?;
Self::enforce_smaller_than(cs.ns(|| "enforce smaller than"), &left, &right) Self::enforce_smaller_than_unchecked(cs.ns(|| "enforce smaller than"), &left, &right)
} }
/// This function checks the ordering between `self` and `b`. It outputs a /// This function checks the ordering between `self` and `b`. It outputs a