SPRUJB6B November 2024 – May 2025 AM2612
This function tests whether a given (x,y) pair is a point on an elliptic curve. If not, it raises an error.
| Slot | Name | Description | In ROM? |
|---|---|---|---|
| 10 | b | b-coefficient of the elliptic curve | Yes |
| 11 | px | x-coordinate of the point | No |
| 12 | py | y-coordinate of the point | No |
| 14 | p | Order of the finite field underlying the elliptic curve if it is not a supported special modulus. | Yes |
| 15 | a | a-coefficient of the elliptic curve | Yes |
This command will raise an error if:
On success or on error, this command clears slots 7-8.