diff --git a/math/src/elliptic_curve/short_weierstrass/point.rs b/math/src/elliptic_curve/short_weierstrass/point.rs index 9d6432046..65d0c7712 100644 --- a/math/src/elliptic_curve/short_weierstrass/point.rs +++ b/math/src/elliptic_curve/short_weierstrass/point.rs @@ -636,7 +636,7 @@ impl IsGroup for ShortWeierstrassJacobianPoint { let z3 = z3.double() * h; debug_assert_eq!( - E::defining_equation_projective(&x3, &y3, &z3), + E::defining_equation_jacobian(&x3, &y3, &z3), FieldElement::::zero() ); unsafe { Self::new([x3, y3, z3]).unwrap_unchecked() }