Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
.
Browse files Browse the repository at this point in the history
TomAFrench committed Jan 29, 2025

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
1 parent 2e0fb65 commit e68e6ef
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/fns/constrained_ops.nr
Original file line number Diff line number Diff line change
@@ -253,8 +253,8 @@ pub(crate) fn assert_is_not_equal<let N: u32, let MOD_BITS: u32>(
// lhs can be either X mod N or P + X mod N
// rhs can be either Y mod N or P + Y mod N
// If lhs - rhs = 0 mod P then lhs - rhs = 0, P or -P mod N
let mut diff = l - r;
let mut target = diff * (diff + modulus_mod_n) * (diff - modulus_mod_n);
let diff = l - r;
let target = diff * (diff + modulus_mod_n) * (diff - modulus_mod_n);
assert(target != 0, "asssert_is_not_equal fail");
}

0 comments on commit e68e6ef

Please sign in to comment.