Сліди і базиси розширеного поля. Подання точок кривої у різних координатних системах. Складність арифметичних операцій у групах точок ЕК

Від ідеї створення криптосистем на еліптичних кривих (Сліди і базиси розширеного поля) до сьогоднішнього дня поряд із криптоаналізом цих систем фахівці безупинно і плідно працюють над підвищенням ефективності Сліди і базиси розширеного поля.

Насамперед це відноситься до швидкодії криптосистеми або швидкості обчислень. Одним з напрямків робіт у цій сфері було вивчення і порівняльний аналіз арифметики в поліноміальному і нормальному базисах поля Сліди і базиси розширеного поля.

Сліди і базиси розширеного поля

Операції в розширених полях вимагають введення таких понять, як слід елемента поля та базису поля.

Нехай Сліди і базиси розширеного поля — просте поле і Сліди і базиси розширеного поля — його розширення.

Слідом елемента Сліди і базиси розширеного поля над полем Сліди і базиси розширеного поля називається сума сполучених елементів поля Сліди і базиси розширеного поля

Сліди і базиси розширеного поля.

Зокрема, слід елемента над полем Сліди і базиси розширеного поля визначається сумою

Сліди і базиси розширеного поля.

Розширення поля Галуа Сліди і базиси розширеного поля є Сліди і базиси розширеного поля-вимірним векторним простором над полем Сліди і базиси розширеного поля. Базисом цього поля називається будь-яка множина з Сліди і базиси розширеного поля лінійно незалежних елементів поля Сліди і базиси розширеного поля (див. лекції з дисципліни РПЕК). Кожен елемент поля подається Сліди і базиси розширеного поля-вимірним вектором з координатами з поля Сліди і базиси розширеного поля (або поліномом степеня Сліди і базиси розширеного поля з коефіцієнтами з Сліди і базиси розширеного поля). Його також можна виразити як лінійну комбінацію векторів базису.

Сліди і базиси розширеного поля

Теорема 1. Елементи Сліди і базиси розширеного поля поля Сліди і базиси розширеного поля утворюють базис над полем Сліди і базиси розширеного поля тоді і тільки тоді, коли визначник матриці Вандермонда

Сліди і базиси розширеного поля

або визначник

Сліди і базиси розширеного поляСліди і базиси розширеного поля

Із множини всіляких базисів найбільш розповсюдженими є поліноміальний і нормальний базиси поля Сліди і базиси розширеного поля.

Поліноміальний базис, звичайно, будується за допомогою послідовних степенів примітивного елемента поля Сліди і базиси розширеного поля. Його назва пов’язана з тим, що при Сліди і базиси розширеного поля всі операції в полі здійснюються за модулем мінімального полінома елемента Сліди і базиси розширеного поля.

Примітивний елемент Сліди і базиси розширеного поля тут є утворюючим елементом мультиплікативної групи поля. слід базис розширений поле

Наприклад. Розглянемо поле Сліди і базиси розширеного поля. Елементами цього поля є 16 векторів.

Таблиця 1.

(0000)

(0001)

(0010)

(0011)

(0100)

(0101)

(0110)

(0111)
(1000)

(1001)

(1010)

(1011)

(1100)

(1101)

(1110)

(1111)

Використовуємо при обчисленнях поліном Сліди і базиси розширеного поля(незвідний)

Додавання:

(0101)+(1101) = (1000).

Множення:

(0101)Ч(1101) =

Сліди і базиси розширеного поля

Піднесення до степеня: Сліди і базиси розширеного поля

Сліди і базиси розширеного поляСліди і базиси розширеного поляСліди і базиси розширеного поля

Таблиця 2 — Мультиплікативна інверсія

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Мультиплікативною інверсією для Сліди і базиси розширеного поля є

Сліди і базиси розширеного поля

Дійсно Сліди і базиси розширеного поля.

Нормальний базис (НБ) над полем Сліди і базиси розширеного поля визначається як множина сполучених елементів поля Сліди і базиси розширеного поля з підходящим вибором елемента Сліди і базиси розширеного поля. Розглянемо далі властивості НБ Сліди і базиси розширеного поля над полем Сліди і базиси розширеного поля. На елемент Сліди і базиси розширеного поля тут накладається необхідна умова: Сліди і базиси розширеного поля. Водночас Сліди і базиси розширеного поля не обов’язково має бути примітивним. У будь-якому полі Сліди і базиси розширеного поля існує елемент зі слідом 1, тому в будь-якому полі Сліди і базиси розширеного поля існує і НБ. Елементи НБ можна подати Сліди і базиси розширеного поля-вимірними векторами.

Сліди і базиси розширеного поля

Зазначимо, що молодший розряд НБ звичайно записується ліворуч (на відміну від поліноміального, у якому молодший розряд прийнято записувати праворуч).

Кожен наступний елемент базису є циклічним зсувом вправо попереднього. Оскільки Сліди і базиси розширеного поля, елемент 1 поля Сліди і базиси розширеного поля визначається координатами Сліди і базиси розширеного поля. Як бачимо, векторне подання елемента 1 поля Сліди і базиси розширеного поля в поліноміальному і нормальному базисах різні.

Для порівняння двійкове подання елементів у поліноміальному і нормальному базисах подано в таблиці 3.

Таблиця 2 — Двійкове подання елементів у поліноміальному і нормальному базисах

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

0

0000

0000

Сліди і базиси розширеного поля

1011

1110
1

0001

1111

Сліди і базиси розширеного поля

0101

0011

Сліди і базиси розширеного поля

0010

1001

Сліди і базиси розширеного поля

1010

0001

Сліди і базиси розширеного поля

0100

1100

Сліди і базиси розширеного поля

0111

1010

Сліди і базиси розширеного поля

1000

1000

Сліди і базиси розширеного поля

1110

1101

Сліди і базиси розширеного поля

0011

0110

Сліди і базиси розширеного поля

1111

0010

Сліди і базиси розширеного поля

0110

0101

Сліди і базиси розширеного поля

1101

1011

Сліди і базиси розширеного поля

1100

0100

Сліди і базиси розширеного поля

1001

0111

Довільний елемент поля в нормальному базисі подається як

Сліди і базиси розширеного поля.

Піднесення до квадрата елемента Сліди і базиси розширеного поля в нормальному базисі дає

Сліди і базиси розширеного поля

Таким чином, операція піднесення до квадрата (або витягу кореня квадратного) зводиться до циклічного зсуву вправо (або вліво) векторного подання елемента. Це одне з важливих технологічних переваг нормального базису перед поліноміальним. Іншою його перевагою є простота визначення сліду елемента. Дійсно:

Сліди і базиси розширеного поля.

Отже, слід елемента дорівнює 0 при парній вазі його векторного подання в НБ і 1 – при непарній вазі. Ця властивість радикально спрощує визначення сліду елемента у НБ.

Наприклад: елемент Сліди і базиси розширеного поля у нормальному базисі має парну вагу векторного подання. Слід цього елемента дорівнює 0 Дійсно

Сліди і базиси розширеного поля

На наступній лекції ми розглядатимемо окремо т.з. оптимальний нормальний базис, який має значні переваги у швидкості та технологічності обчислень.

Під час обчислення точок з багаторазовими операціями додавання (віднімання) і подвоєння більш продуктивними є групові операції не в афінних координатах, а різного роду проективних координатах. Це дозволяє уникнути обчислення оберненого елемента в полі як самої трудомісткої операції й заощадити тимчасові обчислювальні ресурси.

У стандартних проективних координатах проективна точка Сліди і базиси розширеного поля, Сліди і базиси розширеного поля, відповідає афінній точці Сліди і базиси розширеного поля Однорідне рівняння кривої після заміни змінних і множення на куб перемінної Сліди і базиси розширеного поля приймає вигляд

Сліди і базиси розширеного поля

(в афінних координатах рівняння кривої має вигляд

Сліди і базиси розширеного поля).

Точка на нескінченності Сліди і базиси розширеного поля є вже одним з розв’язків даного рівняння. Зворотна точка тут, як і раніше, визначається інверсією знака Сліди і базиси розширеного полякоординатиСліди і базиси розширеного поля

Подібно тому, як в афінних координатах, сумою точок Сліди і базиси розширеного поля і Сліди і базиси розширеного поля при Сліди і базиси розширеного поля називається точка Сліди і базиси розширеного поля, координати якої (позначення Сліди і базиси розширеного поля надалі опускається для скорочення запису) рівні:

Сліди і базиси розширеного поля

де Сліди і базиси розширеного поля

Операцію підсумовування однакових точок Сліди і базиси розширеного поля називають подвоєнням, а координати точки Сліди і базиси розширеного поля дорівнюють:

Сліди і базиси розширеного поля

де Сліди і базиси розширеного поля

Час виконання операції додавання Сліди і базиси розширеного поля і подвоєння Сліди і базиси розширеного поля, де Сліди і базиси розширеного поля позначає проективне подання точки.

Наступний вид проективних координат — якобіанові координати.

До них можна перейти ізоморфним перетворенням координат, помноживши рівняння Сліди і базиси розширеного поля на Сліди і базиси розширеного поля, при цьому отримаємо:

Сліди і базиси розширеного поля або

Сліди і базиси розширеного поля

де Сліди і базиси розширеного поля

Сумою точок Сліди і базиси розширеного поля і Сліди і базиси розширеного поля при Сліди і базиси розширеного поля є точка Сліди і базиси розширеного поля, координати якої визначаються як:

Сліди і базиси розширеного поля

де Сліди і базиси розширеного поля

При подвоєнні точки кривої отримаємо Сліди і базиси розширеного поля:

Сліди і базиси розширеного поля

де Сліди і базиси розширеного поля.

У даному випадку час виконання складає Сліди і базиси розширеного поля і Сліди і базиси розширеного поля, де Сліди і базиси розширеного поляпозначає якобіаново подання точки.

Замість трьох якобіанових координат точки Чудновський запропонував використовувати п’ять: Сліди і базиси розширеного поля Рівняння кривої описується формулою Сліди і базиси розширеного поля, а сума точок

Сліди і базиси розширеного поля і Сліди і базиси розширеного поля

при Сліди і базиси розширеного поля визначається як точка Сліди і базиси розширеного поля, координати Чудновського якої рівні:

Сліди і базиси розширеного поля

Де

Сліди і базиси розширеного поля

При подвоєнні точки кривої одержимо

Сліди і базиси розширеного поля:

Сліди і базиси розширеного поля

де Сліди і базиси розширеного поля.

Час виконання складе Сліди і базиси розширеного поля і Сліди і базиси розширеного поля, де Сліди і базиси розширеного поля означає подання точки в координатах Чудновського.

Модифіковані якобіанові координати для рівняння

Сліди і базиси розширеного поля

кривої містять чотири координати Сліди і базиси розширеного поля

Сума точок Сліди і базиси розширеного поля і Сліди і базиси розширеного поляпри Сліди і базиси розширеного поля визначається як точка Сліди і базиси розширеного поля, модифіковані якобіанові координати якої дорівнюють:

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля,

де Сліди і базиси розширеного поля

При подвоєнні точки кривої отримаємо

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

де Сліди і базиси розширеного поля

Нарешті, можна зробити наступні оцінки. Час виконання дорівнює Сліди і базиси розширеного поля і Сліди і базиси розширеного поля, де Сліди і базиси розширеного поля означає подання точки в модифікованих якобіанових координатах.

Формули, що визначають сумарне число Сліди і базиси розширеного поля інверсій (Сліди і базиси розширеного поля ), множень Сліди і базиси розширеного поля і піднесень до квадрата Сліди і базиси розширеного поля при додаванні і подвоєнні точок відповідно в афінних Сліди і базиси розширеного поля, проективних Сліди і базиси розширеного поля, якобіанових Сліди і базиси розширеного поля координатах, координатах Чудновського Сліди і базиси розширеного поля і модифікованих якобіанових координатахСліди і базиси розширеного поля наведені в таблиці 1 (узагальнення).

За деякими оцінками, одна інверсія Сліди і базиси розширеного поля, а піднесення до квадрата Сліди і базиси розширеного поля (при операціях у простому полі Галуа). Звідси стає зрозумілою доцільність переходу до проективних або до якобіанових координат, у яких операції інверсії відсутні.

Мінімальна обчислювальна складність додавання досягається за допомогою координат чудновського, а подвоєння – у модифікованих якобіанових координатах. Тому, звичайно, користуються змішаними координатами з метою оптимізації обчислень при багаторазовому додаванні точки.

Таблиця 3 — Число операцій множення Сліди і базиси розширеного поля, піднесення до квадрата Сліди і базиси розширеного поля й інверсій Сліди і базиси розширеного поляелементів простого поля при додаванні і подвоєнні точок у різних координатних системах

Координати

Додавання точок

Подвоєння точок
Афінні

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Проективні

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Якобіанові

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Чудновського

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Модифіковані

Якобіанові

Сліди і базиси розширеного поля

Сліди і базиси розширеного поля

Після обчислення точки Сліди і базиси розширеного поля у змішаних координатах необхідно повернутися в афінні координати, для чого наприкінці обчислень потрібна одна інверсія.