Apply mod p to coordinate verification

rdubois-crypto · Apr 3, 2024 · 452f107 · 452f107
1 parent ec7122f
commit 452f107
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/solidity/src/FCL_elliptic.sol b/solidity/src/FCL_elliptic.sol
@@ -306,7 +306,7 @@ function SqrtMod(uint256 self) internal view returns (uint256 result){
      * @dev Check if a point in affine coordinates is on the curve (reject Neutral that is indeed on the curve).
      */
     function ecAff_isOnCurve(uint256 x, uint256 y) internal pure returns (bool) {
-        if ( ((0 == x)&&( 0 == y)) || (x == p &&  y == p)) {
+        if ((0 == x % p) && (0 == y % p)) {
             return false;
         }
         unchecked {