Убедитесь, что координаты x, y, заданные в виде шестнадцатеричной строки, являются допустимыми точками на эллиптической кривой.

Учитывая следующую информацию:

"кривая": "П-256",

"qx": "729C51D177EBE2079A0FB7B0B3C2145159CF81EC61960E642A1744719AA9F913",

"qy": "8C36BCF51475016E614F8C7E0CB1B37C7EA65B4ECCF809852C9B2D0E438710BD"

Вышеупомянутые координаты предположительно действительны в соответствии с ожидаемыми результатами тестового вектора:

«тест пройден»: правда

Мне нужно определить, являются ли приведенные выше координаты открытого ключа допустимыми точками на кривой или нет. Я попытался преобразовать координаты в python в целые числа с помощью:

>>> x = int("7C96DFF02F55B876A2A885A920E9FB5E30C6E1A4061A62517FD5C936A16AD363", 16)
>>> y = int("301ABC6B82DF5B6B6D3E8D56D7660D83A6E4F55E321BD2E57A5AC4A6A683374E", 16)

Затем подставили эти целочисленные значения в обе следующие формулы:

у ^ 2 = Х ^ 3 + 7 (secp256k1)

y^2 = x^3 - 3x + b, где b равно 41058363725152142129326129780047268409114441015993725554835256314039467401291

Ни в том, ни в другом случае формула не указывала на достоверность значений.

Кто-нибудь случайно не знает, как я могу проверить эти координаты?

Как вы написали, вы должны проверить это $y^2 = x^3 + ax + b \mod p$.

Согласно с этот источник.

$$p = 2^{256}-2^{224}+2^{192}+2^{96}-1$$

Обратите внимание, что $256$ относится к битовому размеру $р$, а не к $р$ сам.