More on testing points on curve

Have successfully tested two points:


FIELD2N x = {0x00000001, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000};
FIELD2N y = {0x00000003, 0x477aaa32, 0xb86eae40, 0xa053e2a8, 0x0c4b05c3, 0x073f1c94};

and


FIELD2N x = {0x00000001, 0x00000002, 0x00000000, 0x00000000, 0x00000000, 0x00000000};
FIELD2N y = {0x00000004, 0xc2e04f09, 0x7ec85acb, 0x386fc4f1, 0x526affe9, 0xf6e4d3f5};

on curve

poly_prime =
8 0 0 0 0 c9
data :
1 1 0 0 0 0
setting up curves

the curve after setting up:
form: 1
a2: 0 0 0 0 0 0
a6: 1 0 0 0 0 0

point->x :
1 1 0 0 0 0
f :
0 4000141 4000141 4000141 4000000 1f68
point result
x: 1 2 0 0 0 0
y: 4 c2e04f09 7ec85acb 386fc4f1 526affe9 f6e4d3f5

The result:

poly_prime =
8 0 0 0 0 c9

NUMBITS = 163
NUMWORD = 5
MAXLONG = 6
a2 =
0 0 0 0 0 0
a6 =
1 0 0 0 0 0

1 2 0 0 0 0
y =
4 c2e04f09 7ec85acb 386fc4f1 526affe9 f6e4d3f5
yy =
0 8a736b80 84a3b214 9d4c0808 d81f0825 8aecb069
xy =
0 8e736902 8ca3b710 8d4c0200 f81f0825 8aecaf01
x_2 =
1 20000000 64 80000000 0 15b
x_3 =
1 4000282 8000504 10000a08 20000000 1f68
ax2 =
0 0 0 0 0 0
left =
0 4000282 8000504 10000a08 20000000 1f68
right =
0 4000282 8000504 10000a08 20000000 1f68

the left equation is equal to the right equation. It’s on curve. Yay!

[what’s next? thinking.]

Advertisements