fix operate_with for jacobian coordinates

lambdaclass · Feb 12, 2025 · a6c166b · a6c166b
1 parent b8e1125
commit a6c166b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/math/src/elliptic_curve/short_weierstrass/point.rs b/math/src/elliptic_curve/short_weierstrass/point.rs
@@ -636,7 +636,7 @@ impl<E: IsShortWeierstrass> IsGroup for ShortWeierstrassJacobianPoint<E> {
         let z3 = z3.double() * h;
 
         debug_assert_eq!(
-            E::defining_equation_projective(&x3, &y3, &z3),
+            E::defining_equation_jacobian(&x3, &y3, &z3),
             FieldElement::<E::BaseField>::zero()
         );
         unsafe { Self::new([x3, y3, z3]).unwrap_unchecked() }