Verificați că coordonatele x, y date ca șir hexagonal sunt puncte valide pe o curbă eliptică

Având în vedere următoarele informații:

"curba": "P-256",

"qx": "729C51D177EBE2079A0FB7B0B3C2145159CF81EC61960E642A1744719AA9F913",

„qy”: „8C36BCF51475016E614F8C7E0CB1B37C7EA65B4ECCF809852C9B2D0E438710BD”

Se presupune că coordonatele de mai sus sunt valide conform rezultatelor așteptate ale vectorului de testare:

„testPassed”: adevărat

Trebuie să determin dacă coordonatele cheii publice de mai sus sunt puncte valide pe curbă sau nu. Am încercat să convertesc coordonatele din python în int cu:

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

Și apoi a conectat acele valori întregi în ambele formule următoare:

y^2 = X^3 + 7 (secp256k1)

y^2 = x^3 - 3x + b unde b este 41058363725152142129326129780047268409114441015993725554835256314039467401291

În niciunul dintre cazuri formula nu a indicat că valorile erau valide.

S-ar întâmpla cineva să știe cum aș putea să validez aceste coordonate?

După cum ai scris, ar trebui să verifici asta $y^2 = x^3 + ax + b \mod p$.

Conform această sursă.

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

Observați că $256$ se referă la dimensiunea biților a $p$, și nu să $p$ în sine.