Рейтинг:2

Почему множество точек r-кручения изоморфно $\mathbb{Z}_r \times \mathbb{Z}_r$

флаг fr

я читаю «О реализации парных криптосистем».

В нем говорится, что $E(\mathbb{F}_{k^q})[r]$ изоморфен произведению $\mathbb{Z}_r$ с собой. $E(\mathbb{F}_{k^q})[r]$ это набор $г$-точки кручения, то есть все точки, $P$ куда $rP = O$ (Я думаю).

Хорошо. Давайте проверим это с $ г = 2 $. Мы знаем, 4 решения: $\{О, (а_0, 0), (а_1, 0), (а_2, 0)\}$ куда $a_n$ это $n$-й корень из кубического $х^3 + топор + б = 0$.

Но $\mathbb{Z}_2 \раз \mathbb{Z}_2$ является $\{(0, 0), (0, 1), (1, 0), (1, 1)\}$.

Я предполагаю, что это изоморфно, так как в каждом наборе 4 элемента. Но... я не уверен, какую ценность имеет утверждение об изоморфизме?

Например: вместо этого мы могли бы просто сказать $E(\mathbb{F}_{k^q})[r]$ имеет $ г ^ 2 $ элементы (размером $\mathbb{Z}_r \times \mathbb{Z}_r$).

Рейтинг:1
флаг gb

$E(\mathbb{F}_{k^q})[r]$ это набор $г$-точки кручения, то есть все точки, $P$ куда $rP = O$ (Я думаю).

Правильный.

Я предполагаю, что это изоморфно, так как в каждом наборе 4 элемента. Но... я не уверен, какую ценность имеет утверждение об изоморфизме?

Например: вместо этого мы могли бы просто сказать $E(\mathbb{F}_{k^q})[r]$ имеет $ г ^ 2 $ элементы (размером $Z_r \раз Z_r$).

Понимание этой структуры очень важно для многих приложений в криптографии. Например, это очень важно в криптографии на основе изогении. Причина этого в том, что как произведение двух циклических групп оно порождается двумя (независимыми) точками. $П, К$ порядка $г$. То есть каждую точку кручения можно записать как $[a]P + [b]Q$ для некоторых коэффициентов $а,б$. Сравните это, скажем, с классической криптографией на эллиптических кривых, где мы работаем в циклической группе, и каждая точка может быть записана как $[x]G$ на один генератор $G$. Нет пунктов заказа $ г ^ 2 $ в $E(\mathbb{F}_{k^q})[r]$, даже если сама группа имеет порядок $ г ^ 2 $.

Из-за этой структуры существуют $г+1$ подгруппы порядка $г$ в торсионной подгруппе. Это важно в криптографии на основе изогении, потому что каждая из этих подгрупп образует ядро ​​изогении, отличной от кривой $Е$.

Изучая структуру $р$-кручения подгруппы, когда $р$ характеристика поля (то, что вы, кажется, назвали $к$ - Я подозреваю, что вы написали $q$ и $к$ наоборот) также классифицирует эллиптические кривые на «обычные» и «суперсингулярные».

Для получения дополнительной информации см. «Арифметика эллиптических кривых» Сильвермана, раздел III, следствие 6.4.

В парной криптографии эта структура также чрезвычайно важна. Хорошим справочником для получения дополнительной информации в этой области является «Пейринги для начинающих» Крейга Костелло. (Особенно см. главу 4).

Foobar avatar
флаг fr
Спасибо за объяснение. Я смотрю на «Пейринги для начинающих» Крейга Костелло, и он использует символ «|». приличная сумма. Например: $r\, |\, 105$.Ты знаешь что это значит?
Morrolan avatar
флаг ng
Скорее всего, это будет обозначать отношение «делит». Это $x | y \Leftrightarrow y = kx, k \in \mathbb{Z}$.

Ответить или комментировать

Большинство людей не понимают, что склонность к познанию нового открывает путь к обучению и улучшает межличностные связи. В исследованиях Элисон, например, хотя люди могли точно вспомнить, сколько вопросов было задано в их разговорах, они не чувствовали интуитивно связи между вопросами и симпатиями. В четырех исследованиях, в которых участники сами участвовали в разговорах или читали стенограммы чужих разговоров, люди, как правило, не осознавали, что задаваемый вопрос повлияет — или повлиял — на уровень дружбы между собеседниками.