We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
is_negative()
1 parent 7cff72f commit 525e94bCopy full SHA for 525e94b
ed448-goldilocks/src/field/element.rs
@@ -418,7 +418,7 @@ impl FieldElement {
418
let e = b * c;
419
420
let mut a = n * e;
421
- a.conditional_negate(!Choice::from(a.0.retrieve().bit(0)) ^ square);
+ a.conditional_negate(!a.is_negative() ^ square);
422
423
let c = e * ONE_MINUS_TWO_D;
424
let b = c.square();
0 commit comments