feat(tests): add test case for P256 where Q.x is zero (#2221)

The P256 curve has two points with `x` coordinate being `0`
(and none points with `y` being `0`). Add two positive test cases
where the points with `0` x-coordinate are public keys.

Author: chfast

tests/osaka/eip7951_p256verify_precompiles/test_p256verify.py

@@ -124,6 +124,22 @@ def test_wycheproof_extra(state_test: StateTestFiller, pre: Alloc, post: dict, t
             + Y(Spec.Gy),
             id="hash_max",
         ),
+        pytest.param(
+            H(0xC3D3BE9EB3577F217AE0AB360529A30B18ADC751AEC886328593D7D6FE042809)
+            + R(0x3A4E97B44CBF88B90E6205A45BA957E520F63F3C6072B53C244653278A1819D8)
+            + S(0x6A184AA037688A5EBD25081FD2C0B10BB64FA558B671BD81955CA86E09D9D722)
+            + X(0)
+            + Y(0x66485C780E2F83D72433BD5D84A06BB6541C2AF31DAE871728BF856A174F93F4),
+            id="x_0_y_positive",
+        ),
+        pytest.param(
+            H(0xF98A88895CB0866C5BAD58CF03000DDF9D21CB9407892FF54D637E6A046AFBB3)
+            + R(0x81DC074973D3222F3930981AD98D022517C91063FFB83CFD620E29B86DC30A8F)
+            + S(0x365E4CD085617A265765062A2D9954ED86309DFA33CF5AE1464FE119419FC34A)
+            + X(0)
+            + Y(0x99B7A386F1D07C29DBCC42A27B5F9449ABE3D50DE25178E8D7407A95E8B06C0B),
+            id="x_0_y_negative",
+        ),
     ],
 )
 @pytest.mark.parametrize("expected_output", [Spec.SUCCESS_RETURN_VALUE], ids=[""])