Not on curve!

Modifying Rosing’s codes to do this checking if a point is on curve using Pari,
with the sample parameters:

the result is like this (on binary fields):


poly_prime =
8 0 0 0 0 c9

NUMBITS = 163
NUMWORD = 5
MAXLONG = 6
a =
0 0 0 0 0 1
b =
2 a601907 b8c953ca 1481eb10 512f7874 4a3205fd

3 f0eba162 86a2d57e a0991168 d4994637 e8343e36
y =
0 d51fbc6c 71a0094f a2cdd545 b11c5c0c 797324f1
left =
1 393a5074 f973003b 4ab508ce 55cc184a 928293df
right =
1 cf775de5 a25942e6 33c8b050 97bf9375 d364fba2

left and right, is not equal!

The idea is to compare if the left side and the right side of y^2 + xy = x^3 + ax + b is equal, then the point (x, y) is on the curve.

Something is still very wrong. Now will do debugging…

Advertisements