Does the elliptic curve equation y2 = x3 + 10x + 5 define a group over F17?
No, since:
= 4(10)3 + 27(5)2 mod 17
= 4675 mod 17
= 0
Thus this elliptic curve does not define a group because 4a3 + 27b2 mod p is 0
Do the points P(2,0) and Q(6,3) lie on the elliptic curve y2 = x3 + x + 7 over F17?
The point P(2,0) is on the elliptic curve since both sides of the equation agree:
(0)2 mod 17 = (2)3 + 2 + 7 mod 17
0 mod 17 = 17 mod 17
0 = 0.
However, the point Q(6,3) is not on the elliptic curve since the equation is false:
(3)2 mod 17 = (6)3 + 6 + 7 mod 17
9 mod 17 = 229 mod 17
9 = 8, does not agree.
What are the negatives of the following elliptic curve points over F17?
P(5,8) Q(3,0) R(0,6)
The negative of a point P = (xP, yP) is the point -P = (xP, -yP mod p). Thus
-P(5,9) -Q(3,0) -R(0,11)
In the elliptic curve group defined by y2 = x3 + x + 7 over F17, what is P + Q if P = (2,0) and Q = (1,3)?
s = (yP - yQ) / (xP - xQ) mod p = (-3) / 1 mod 17 = -3 mod 17 = 14
xR = s2 - xP - xQ mod p = 196 - 2 - 1 mod 17 = 193 mod 17 = 6
yR = -yP + s(xP - xR) mod p = 0 + 14*(2 - 6) mod 17 = -56 mod 17 = 12
Thus P + Q = (6,12)
In the elliptic curve group defined byy2 = x3 + x + 7 over F17, what is 2P if P = (1, 3)?
s = (3xP2 + a) / (2yP ) mod p = (3 + 1) * 6-1 mod 17 = 4 * 3 mod 17 = 12
xR = s2 - 2xP mod p = 144 - 2 mod 17 = 142 mod 17 = 6
yR = -yP + s(xP - xR) mod p = -3 + 12 * (1 - 6) mod 17 = -63 mod 17 = 5
Thus 2P = (6,5)
Next