Пусть задано уравнение эллиптической кривой y 2 = x 3 + ax + b mod p.
Для каждого значения x, 0 £ x £ p – 1
1. Вычисляем A = x 3 + ax + b mod p
2. Решаем сравнение y 2 = A mod p
Если сравнение имеет решение – квадратичный вычет по mod p –, то имеются два значения y (кроме случая y = 0) – y 1, y 2: y i = A mod p. В этом случае точки (x, y 1) и (x, y 2) принадлежат эллиптической кривой.
Пример сложения точек эллиптической кривой y2 = x3 + x + 1 mod 5.
Пусть P 1 = (0,1), P 2 = (4,2), x 1 = 0, y 1 = 1, x 2 =4, y 2 = 2.
а) P 1 + P 2 = (x 3, y 3).
Так как P 1 ¹ P 2, то , l = (2-1)/(4-0) = ¼ mod 5 = 4.
x 3 = (l 2 – x 1 – x 2) mod p = 16 – 0 – 4 = 12 mod 5 = 2.
y 3 = (l (x 1 – x 3) – y 1) mod p = 4 (0 – 2) – 1 = – 9 mod 5 = 1.
Таким образом, (0,1) + (4,2) = (2,1).
b) 2 P 1 = (x 3, y 3)
Так как P 1 = P 2, то , l = (3*0 + 1)/(2*1) = 1/2 mod 5 = 3.
x 3 = (l 2 – x 1 – x 2) mod p = 9 – 0 – 0 = 9 mod 5 = 4.
y 3 = (l (x 1 – x 3) – y 1) mod p = 3 (0 – 4) – 1 = – 13 mod 5 = 2.
Таким образом, 2*(0,1) = (4,2).
c) Аналогичным образом можно вычислить
3 P 1 = 2 P 1 + P 1 = (4,2) + (0,1) = (2,1)
4 P 1 = 3 P 1 + P 1 = (2,1) + (0,1) = (3,4)
5 P 1 = 4 P 1 + P 1 = (3,4) + (0,1) = (3,1)
6 P 1 = 5 P 1 + P 1 = (3,1) + (0,1) = (2,4)
7 P 1 = 6 P 1 + P 1 = (2,4) + (0,1) = (4,3)
8 P 1 = 7 P 1 + P 1 = (4,3) + (0,1) = (0,4)
9 P 1 = 8 P 1 + P 1 = (0,4) + (0,1) = O
Определение. Точка P Î E p(a, b) называется базовой точкой группы точек эллиптической кривой E p(a, b), если любая точка Q Î E p(a, b) может быть представлена в виде Q = k P, где k = 1, 2,…, # E p(a, b).
|
|
Если порядок группы # E p(a, b) = n, то для базовой точки P имеет место
n P = O.
Точка P = (0,1) является базовой для группы точек эллиптической кривой
y 2 = x 3 + x + 1 mod 5.
Утверждение (теорема Хассе). Значение порядка группы имеет верхнюю и нижнюю границы:
Пример. Пусть Q = (2,4) – точка эллиптической кривой y 2 = x 3 + x + 1 mod 5.
Тогда 2 Q = (2,1), 3 Q = O.
Точка Q = (2,4) порождает циклическую подгруппу порядка 3: (2,4), (2,1), O.
Определение. Порядком точки Q эллиптической кривой называется наименьшее число k, т.ч. k Q = O.
Точка Q = (2,4), принадлежащая группе точек эллиптической кривой y 2 = x 3 + x + 1 mod 5, имеет порядок, равный 3.