rewrite for clarity #157

NilFoundation · May 21, 2024 · 1b452ed · 1b452ed
1 parent dae254e
commit 1b452ed
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/include/nil/crypto3/algebra/curves/detail/forms/twisted_edwards/element_g1_affine.hpp b/include/nil/crypto3/algebra/curves/detail/forms/twisted_edwards/element_g1_affine.hpp
@@ -138,7 +138,9 @@ namespace nil {
                          * @return true if element from group G1 is the point at infinity
                          */
                         constexpr bool is_zero() const {
-                            return X == params_type::zero_fill[0] && Y == params_type::zero_fill[1];
+                            /* Special case for blueprint compatibility: (0,0) is also infinity */
+                            return (X == params_type::zero_fill[0] && Y == params_type::zero_fill[1])
+                                || (X.is_zero() && Y.is_zero() );
                         }
 
                         /** @brief