WikiDer > Алгоритм Шуфа - Википедия

Алгоритм Шуфа эффективный алгоритм подсчета очков на эллиптические кривые над конечные поля. Алгоритм имеет приложения в криптография на основе эллиптических кривых где важно знать количество баллов, чтобы судить о сложности решения задача дискретного логарифмирования в группа точек на эллиптической кривой.

Алгоритм был опубликован Рене Шуф в 1985 году, и это был теоретический прорыв, так как это был первый детерминированный алгоритм полиномиального времени для подсчет точек на эллиптических кривых. До алгоритма Шуфа подходы к подсчету точек на эллиптических кривых, такие как наивный и бэби-шаг гигантский шаг алгоритмы были по большей части утомительными и имели экспоненциальное время работы.

В этой статье объясняется подход Шуфа с акцентом на математические идеи, лежащие в основе структуры алгоритма.

Вступление

Позволять ${ displaystyle E}$ быть эллиптическая кривая определен над конечным полем ${ displaystyle mathbb {F} _ {q}}$, куда ${ Displaystyle д = р ^ {п}}$ за ${ displaystyle p}$ прайм и ${ displaystyle n}$ целое число ${ displaystyle geq 1}$. Над полем характеристики ${ displaystyle neq 2,3}$ эллиптическая кривая может быть задана (коротким) уравнением Вейерштрасса

${ displaystyle y ^ {2} = x ^ {3} + Ax + B}$

с ${ displaystyle A, B in mathbb {F} _ {q}}$. Множество точек, определенных над ${ displaystyle mathbb {F} _ {q}}$ состоит из решений ${ Displaystyle (а, Ь) в mathbb {F} _ {q} ^ {2}}$ удовлетворяющие уравнению кривой и точка в бесконечности ${ displaystyle O}$. С использованием групповой закон на эллиптических кривых, ограниченных этим множеством, видно, что это множество ${ Displaystyle Е ( mathbb {F} _ {q})}$ образует абелева группа, с ${ displaystyle O}$ действуя как нулевой элемент. Чтобы подсчитать точки на эллиптической кривой, мы вычисляем мощность ${ Displaystyle Е ( mathbb {F} _ {q})}$Подход Шуфа к вычислению мощности ${ Displaystyle #E ( mathbb {F} _ {q})}$ использует Теорема Хассе об эллиптических кривых вместе с Китайская теорема об остатках и полиномы деления.

Теорема Хассе

Теорема Хассе утверждает, что если ${ Displaystyle E / mathbb {F} _ {q}}$ является эллиптической кривой над конечным полем ${ displaystyle mathbb {F} _ {q}}$, тогда ${ Displaystyle #E ( mathbb {F} _ {q})}$ удовлетворяет

${ displaystyle mid q + 1 - # E ( mathbb {F} _ {q}) mid leq 2 { sqrt {q}}.}$

Этот убедительный результат, представленный Хассе в 1934 году, упрощает нашу задачу, сужая ${ Displaystyle #E ( mathbb {F} _ {q})}$ к конечному (хотя и большому) набору возможностей. Определение ${ displaystyle t}$ быть ${ displaystyle q + 1 - # E ( mathbb {F} _ {q})}$, и, используя этот результат, мы теперь можем вычислить значение ${ displaystyle t}$ по модулю ${ displaystyle N}$ куда ${ displaystyle N> 4 { sqrt {q}}}$, достаточно для определения ${ displaystyle t}$, и поэтому ${ Displaystyle #E ( mathbb {F} _ {q})}$. Пока нет эффективного способа вычислить ${ Displaystyle т { pmod {N}}}$ непосредственно для общего ${ displaystyle N}$, можно вычислить ${ Displaystyle т { pmod {l}}}$ за ${ displaystyle l}$ небольшой прайм, довольно эффективно. Мы выбрали ${ Displaystyle S = {l_ {1}, l_ {2}, ..., l_ {r} }}$ быть набором различных простых чисел, таких что ${ displaystyle prod l_ {i} = N> 4 { sqrt {q}}}$. Данный ${ displaystyle т { pmod {l_ {i}}}}$ для всех ${ displaystyle l_ {i} in S}$, то Китайская теорема об остатках позволяет нам вычислить ${ Displaystyle т { pmod {N}}}$.

Чтобы вычислить ${ Displaystyle т { pmod {l}}}$ для прайма ${ displaystyle l neq p}$, воспользуемся теорией эндоморфизма Фробениуса ${ displaystyle phi}$ и полиномы деления. Обратите внимание, что с учетом простых чисел ${ displaystyle l neq p}$ Это не потеря, так как мы всегда можем выбрать более крупное прайм-лист на его место, чтобы гарантировать, что продукт достаточно большой. В любом случае алгоритм Шуфа чаще всего используется при рассмотрении дела. ${ displaystyle q = p}$ поскольку есть более эффективные, так называемые ${ displaystyle p}$ адические алгоритмы для полей с малой характеристикой.

Эндоморфизм Фробениуса

Учитывая эллиптическую кривую ${ displaystyle E}$ определяется по ${ displaystyle mathbb {F} _ {q}}$ мы рассматриваем вопросы ${ displaystyle E}$ над ${ displaystyle { bar { mathbb {F}}} _ {q}}$, то алгебраическое замыкание из ${ displaystyle mathbb {F} _ {q}}$; т.е. мы допускаем точки с координатами в ${ displaystyle { bar { mathbb {F}}} _ {q}}$. В Эндоморфизм Фробениуса из ${ displaystyle { bar { mathbb {F}}} _ {q}}$ над ${ displaystyle mathbb {F} _ {q}}$ продолжается до эллиптической кривой на ${ Displaystyle фи: (х, у) mapsto (х ^ {q}, у ^ {q})}$.

Эта карта - личность на ${ Displaystyle Е ( mathbb {F} _ {q})}$ и можно продолжить его до бесконечно удаленной точки ${ displaystyle O}$, делая это групповой морфизм из ${ displaystyle E ({ bar { mathbb {F} _ {q}}})}$ себе.

Эндоморфизм Фробениуса удовлетворяет квадратичному многочлену, связанному с мощностью ${ Displaystyle Е ( mathbb {F} _ {q})}$ по следующей теореме:

Теорема: Эндоморфизм Фробениуса, задаваемый формулой ${ displaystyle phi}$ удовлетворяет характеристическому уравнению

${ Displaystyle phi ^ {2} -t phi + q = 0,}$ куда ${ displaystyle t = q + 1 - # E ( mathbb {F} _ {q})}$

Таким образом, у нас есть для всех ${ displaystyle P = (x, y) in E}$ который ${ displaystyle (x ^ {q ^ {2}}, y ^ {q ^ {2}}) + q (x, y) = t (x ^ {q}, y ^ {q})}$, где + обозначает сложение на эллиптической кривой, а ${ Displaystyle д (х, у)}$ и ${ Displaystyle т (х ^ {д}, у ^ {д})}$обозначают скалярное умножение ${ Displaystyle (х, у)}$ к ${ displaystyle q}$ и из ${ displaystyle (х ^ {q}, y ^ {q})}$ к ${ displaystyle t}$.

Можно попытаться символически вычислить эти точки ${ Displaystyle (х ^ {д ^ {2}}, у ^ {д ^ {2}})}$, ${ displaystyle (х ^ {q}, y ^ {q})}$ и ${ Displaystyle д (х, у)}$ как функции в координатное кольцо ${ displaystyle mathbb {F} _ {q} [x, y] / (y ^ {2} -x ^ {3} -Ax-B)}$ из ${ displaystyle E}$а затем найдите значение ${ displaystyle t}$ которое удовлетворяет уравнению. Однако степени становятся очень большими, и такой подход непрактичен.

Идея Шуфа заключалась в том, чтобы провести это вычисление, ограничиваясь порядком ведения. ${ displaystyle l}$ для различных малых простых чисел ${ displaystyle l}$.Исправление нечетного простого числа ${ displaystyle l}$, перейдем к решению задачи определения ${ displaystyle t_ {l}}$, определяется как ${ Displaystyle т { pmod {l}}}$, для данного простого числа ${ displaystyle l neq 2, p}$. Если точка ${ Displaystyle (х, у)}$ находится в ${ displaystyle l}$-торсионная подгруппа ${ displaystyle E [l] = {P in E ({ bar { mathbb {F} _ {q}}}) mid lP = O }}$, тогда ${ displaystyle qP = { bar {q}} P}$ куда ${ displaystyle { bar {q}}}$ - единственное целое число такое, что ${ Displaystyle д экв { бар {д}} { pmod {l}}}$ и ${ displaystyle mid { bar {q}} mid$. Обратите внимание, что ${ displaystyle phi (O) = O}$ и что для любого целого числа ${ displaystyle r}$ у нас есть ${ Displaystyle г фи (п) = фи (рП)}$. Таким образом ${ displaystyle phi (P)}$ будет иметь тот же порядок, что и ${ displaystyle P}$. Таким образом, для ${ Displaystyle (х, у)}$ принадлежащий ${ displaystyle E [l]}$, у нас также есть ${ displaystyle t (x ^ {q}, y ^ {q}) = { bar {t}} (x ^ {q}, y ^ {q})}$ если ${ Displaystyle т экв { бар {т}} { pmod {l}}}$. Таким образом, мы свели нашу задачу к решению уравнения

${ displaystyle (x ^ {q ^ {2}}, y ^ {q ^ {2}}) + { bar {q}} (x, y) Equiv { bar {t}} (x ^ { q}, y ^ {q}),}$

куда ${ displaystyle { bar {t}}}$ и ${ displaystyle { bar {q}}}$ иметь целые значения в ${ Displaystyle [- (l-1) / 2, (l-1) / 2]}$.

Вычисление по модулю простых чисел

В лth полином деления таков, что его корни в точности Икс координаты пунктов порядка л. Таким образом, чтобы ограничить вычисление ${ displaystyle (х ^ {q ^ {2}}, y ^ {q ^ {2}}) + { bar {q}} (x, y)}$ к л-Точки кручения означает вычисление этих выражений как функций в координатном кольце E и по модулю лмногочлен деления. Т.е. мы работаем в ${ displaystyle mathbb {F} _ {q} [x, y] / (y ^ {2} -x ^ {3} -Ax-B, psi _ {l})}$. Это, в частности, означает, что степень Икс и Y определяется через ${ displaystyle (X (x, y), Y (x, y)): = (x ^ {q ^ {2}}, y ^ {q ^ {2}}) + { bar {q}} ( х, у)}$ не больше 1 в у и самое большее ${ displaystyle (l ^ {2} -3) / 2}$в Икс.

Скалярное умножение ${ displaystyle { bar {q}} (х, у)}$ можно сделать либо сложить и сложить методы или с помощью ${ displaystyle { bar {q}}}$многочлен деления. Последний подход дает:

${ displaystyle { bar {q}} (x, y) = (x _ { bar {q}}, y _ { bar {q}}) = left (x - { frac { psi _ {{ bar {q}} - 1} psi _ {{ bar {q}} + 1}} { psi _ { bar {q}} ^ {2}}}, { frac { psi _ { 2 { bar {q}}}} {2 psi _ { bar {q}} ^ {4}}} right)}$

куда ${ displaystyle psi _ {n}}$ это пполином деления. Обратите внимание, что ${ displaystyle y _ { bar {q}} / y}$ функция в Икс только и обозначим его ${ Displaystyle тета (х)}$.

Мы должны разделить проблему на два случая: случай, когда ${ displaystyle (х ^ {q ^ {2}}, y ^ {q ^ {2}}) neq pm { bar {q}} (x, y)}$, и случай, когда ${ Displaystyle (х ^ {q ^ {2}}, y ^ {q ^ {2}}) = pm { bar {q}} (x, y)}$. Отметим, что эти равенства проверяются по модулю ${ displaystyle psi _ {l}}$.

Случай 1: ${ displaystyle (х ^ {q ^ {2}}, y ^ {q ^ {2}}) neq pm { bar {q}} (x, y)}$

Используя формула сложения для группы ${ Displaystyle Е ( mathbb {F} _ {q})}$ мы получаем:

${ Displaystyle X (x, y) = left ({ frac {y ^ {q ^ {2}} - y _ { bar {q}}} {x ^ {q ^ {2}} - x _ { bar {q}}}} right) ^ {2} -x ^ {q ^ {2}} - x _ { bar {q}}.}$

Обратите внимание, что это вычисление не выполняется, если предположение о неравенстве было неверным.

Теперь мы можем использовать Икс-координат, чтобы сузить выбор ${ displaystyle { bar {t}}}$ две возможности, а именно положительный и отрицательный случай. С использованием у-координатный позже определяет, какой из двух случаев имеет место.

Сначала покажем, что Икс функция в Икс один. Учитывать ${ displaystyle (y ^ {q ^ {2}} - y _ { bar {q}}) ^ {2} = y ^ {2} (y ^ {q ^ {2} -1} -y _ { bar {q}} / y) ^ {2}}$.С ${ displaystyle q ^ {2} -1}$ четно, заменив ${ displaystyle y ^ {2}}$ к ${ displaystyle x ^ {3} + Ax + B}$, перепишем выражение как

${ Displaystyle (х ^ {3} + Ax + B) ((x ^ {3} + Ax + B) ^ { frac {q ^ {2} -1} {2}} - theta (x)) }$

и иметь это

${ Displaystyle X (x) Equiv (x ^ {3} + Ax + B) ((x ^ {3} + Ax + B) ^ { frac {q ^ {2} -1} {2}} - theta (x)) { bmod { psi}} _ {l} (x).}$

Вот вроде не правильно, выбрасываем ${ displaystyle x ^ {q ^ {2}} - x _ { bar {q}}}$?

Сейчас если ${ Displaystyle X Equiv x _ { bar {t}} ^ {q} { bmod { psi}} _ {l} (x)}$ для одного ${ displaystyle { bar {t}} in [0, (l-1) / 2]}$ тогда ${ displaystyle { bar {t}}}$ удовлетворяет

${ displaystyle phi ^ {2} (P) mp { bar {t}} phi (P) + { bar {q}} P = O}$

для всех л-точки кручения п.

Как упоминалось ранее, использование Y и ${ displaystyle y _ { bar {t}} ^ {q}}$ теперь мы можем определить, какое из двух значений ${ displaystyle { bar {t}}}$ (${ displaystyle { bar {t}}}$ или же ${ displaystyle - { bar {t}}}$) работает. Это дает значение ${ Displaystyle т экв { бар {т}} { pmod {l}}}$. Алгоритм Шуфа хранит значения ${ displaystyle { bar {t}} { pmod {l}}}$ в переменной ${ displaystyle t_ {l}}$ для каждого прайма л считается.

Случай 2: ${ displaystyle (x ^ {q ^ {2}}, y ^ {q ^ {2}}) = pm { bar {q}} (x, y)}$

Начнем с предположения, что ${ displaystyle (х ^ {q ^ {2}}, y ^ {q ^ {2}}) = { bar {q}} (x, y)}$. С л нечетное простое число не может быть ${ displaystyle { bar {q}} (x, y) = - { bar {q}} (x, y)}$ и поэтому ${ displaystyle { bar {t}} neq 0}$. Характеристическое уравнение дает ${ displaystyle { bar {t}} phi (P) = 2 { bar {q}} P}$. И, следовательно, что ${ displaystyle { bar {t}} ^ {2} { bar {q}} Equiv (2q) ^ {2} { pmod {l}}}$. Отсюда следует, что q квадрат по модулю л. Позволять ${ Displaystyle д эквив ш ^ {2} { pmod {l}}}$. Вычислить ${ Displaystyle ш фи (х, у)}$ в ${ displaystyle mathbb {F} _ {q} [x, y] / (y ^ {2} -x ^ {3} -Ax-B, psi _ {l})}$ и проверьте, есть ли ${ Displaystyle { бар {q}} (х, у) = вес фи (х, у)}$. Если так, ${ displaystyle t_ {l}}$ является ${ displaystyle pm 2w { pmod {l}}}$ в зависимости от координаты y.

Если q оказывается не квадрат по модулю л или если уравнение не выполняется ни для одного из ш и ${ displaystyle -w}$, наше предположение, что ${ displaystyle (х ^ {q ^ {2}}, y ^ {q ^ {2}}) = + { bar {q}} (x, y)}$ ложно, поэтому ${ displaystyle (x ^ {q ^ {2}}, y ^ {q ^ {2}}) = - { bar {q}} (x, y)}$. Характеристическое уравнение дает ${ displaystyle t_ {l} = 0}$.

Дополнительный случай ${ displaystyle l = 2}$

Если вы помните, в наших первоначальных рассмотрениях случай ${ displaystyle l = 2}$. Поскольку мы предполагаем q быть странным, ${ Displaystyle д + 1-т эквив т { pmod {2}}}$ и, в частности, ${ Displaystyle т_ {2} эквив 0 { pmod {2}}}$ если и только если ${ Displaystyle Е ( mathbb {F} _ {q})}$ имеет элемент порядка 2. По определению добавления в группе любой элемент порядка 2 должен иметь вид ${ displaystyle (x_ {0}, 0)}$. Таким образом ${ Displaystyle т_ {2} эквив 0 { pmod {2}}}$ тогда и только тогда, когда многочлен ${ displaystyle x ^ {3} + Ax + B}$ имеет корень в ${ displaystyle mathbb {F} _ {q}}$, если и только если ${ displaystyle gcd (x ^ {q} -x, x ^ {3} + Ax + B) neq 1}$.

Алгоритм

    Исходные данные: 1. Эллиптическая кривая. ${ displaystyle E = y ^ {2} -x ^ {3} -Ax-B}$. 2. Целое число q для конечного поля ${ displaystyle F_ {q}}$ с ${ Displaystyle д = р ^ {Ь}, б  geq 1}$. Выход: количество точек E над ${ displaystyle F_ {q}}$. Выберите набор нечетных простых чисел S не содержащий п такой, что ${ displaystyle N =  prod _ {l  in S} l> 4 { sqrt {q}}.}$    Положить ${ displaystyle t_ {2} = 0}$ если ${ displaystyle  gcd (x ^ {q} -x, x ^ {3} + Ax + B)  neq 1}$, еще ${ displaystyle t_ {2} = 1}$.    Вычислить полином деления ${ displaystyle  psi _ {l}}$. Все вычисления в приведенном ниже цикле выполняются. в ринге ${ displaystyle  mathbb {F} _ {q} [x, y] / (y ^ {2} -x ^ {3} -Ax-B,  psi _ {l}).}$    За ${ displaystyle l  in S}$ делать:        Позволять ${ displaystyle { bar {q}}}$ быть уникальным целым числом такой, что ${ Displaystyle д  экв { бар {д}} { pmod {l}}}$ и ${ displaystyle  mid { bar {q}}  mid$.        Вычислить ${ displaystyle (х ^ {q}, y ^ {q})}$, ${ Displaystyle (х ^ {д ^ {2}}, у ^ {д ^ {2}})}$ и ${ displaystyle (x _ { bar {q}}, y _ { bar {q}})}$.           если ${ displaystyle x ^ {q ^ {2}}  neq x _ { bar {q}}}$ тогда            Вычислить ${ displaystyle (X, Y)}$.            за ${ displaystyle 1  leq { bar {t}}  leq (l-1) / 2}$ делать:                если ${ displaystyle X = x _ { bar {t}} ^ {q}}$ тогда                    если ${ displaystyle Y = y _ { bar {t}} ^ {q}}$ тогда                        ${ displaystyle t_ {l} = { bar {t}}}$;                    еще                        ${ displaystyle t_ {l} = - { bar {t}}}$.        иначе если q квадрат по модулю л тогда            вычислить ш с ${ Displaystyle д  эквив ш ^ {2} { pmod {l}}}$            вычислить ${ Displaystyle ш (х ^ {д}, у ^ {д})}$            если ${ Displaystyle ш (х ^ {q}, y ^ {q}) = (х ^ {q ^ {2}}, y ^ {q ^ {2}})}$ тогда                ${ displaystyle t_ {l} = 2w}$            иначе если ${ displaystyle w (x ^ {q}, y ^ {q}) = (x ^ {q ^ {2}}, - y ^ {q ^ {2}})}$ тогда                ${ displaystyle t_ {l} = - 2w}$            еще                ${ displaystyle t_ {l} = 0}$        еще            ${ displaystyle t_ {l} = 0}$    Использовать Китайская теорема об остатках вычислить т по модулю N        из уравнений ${ Displaystyle т  эквив т_ {л} { pmod {l}}}$, куда ${ displaystyle l  in S}$. Выход ${ Displaystyle д + 1-т}$.

Сложность

Большую часть вычислений занимает оценка ${ displaystyle phi (P)}$ и ${ Displaystyle phi ^ {2} (P)}$, для каждого простого числа ${ displaystyle l}$, то есть вычисление ${ displaystyle x ^ {q}}$, ${ displaystyle y ^ {q}}$, ${ Displaystyle х ^ {д ^ {2}}}$, ${ Displaystyle у ^ {д ^ {2}}}$ для каждого прайма ${ displaystyle l}$. Это включает возведение в степень в кольце ${ Displaystyle R = mathbb {F} _ {q} [x, y] / (y ^ {2} -x ^ {3} -Ax-B, psi _ {l})}$ и требует ${ Displaystyle О ( журнал q)}$ умножения. Поскольку степень ${ displaystyle psi _ {l}}$ является ${ displaystyle { frac {l ^ {2} -1} {2}}}$, каждый элемент кольца является полиномом степени ${ Displaystyle О (л ^ {2})}$. Посредством теорема о простых числах, есть вокруг ${ Displaystyle О ( журнал q)}$ простые числа размера ${ Displaystyle О ( журнал q)}$, давая это ${ displaystyle l}$ является ${ Displaystyle О ( журнал q)}$ и получаем, что ${ Displaystyle О (л ^ {2}) = О ( журнал ^ {2} q)}$. Таким образом, каждое умножение в кольце ${ displaystyle R}$ требует ${ Displaystyle О ( журнал ^ {4} q)}$ умножения в ${ displaystyle mathbb {F} _ {q}}$ что, в свою очередь, требует ${ Displaystyle О ( журнал ^ {2} q)}$ битовые операции. Всего количество битовых операций для каждого простого числа ${ displaystyle l}$ является ${ Displaystyle О ( журнал ^ {7} q)}$. Учитывая, что это вычисление необходимо выполнить для каждого из ${ Displaystyle О ( журнал q)}$ простых чисел, общая сложность алгоритма Шуфа оказывается равной ${ Displaystyle О ( журнал ^ {8} q)}$. Использование быстрой полиномиальной и целочисленной арифметики сводит это к ${ Displaystyle { тильда {O}} ( log ^ {5} q)}$.

Улучшения алгоритма Шуфа

В 1990-е годы Ноам Элкис, с последующим Аткин А.О., разработал улучшения основного алгоритма Шуфа, ограничив набор простых чисел ${ Displaystyle S = {l_ {1}, ldots, l_ {s} }}$ ранее считались простыми числами определенного вида.Их стали называть простыми числами Элкиса и простыми числами Аткина соответственно. Премьер ${ displaystyle l}$ называется простым числом Элкиса, если характеристическое уравнение: ${ Displaystyle phi ^ {2} -t phi + q = 0}$ раскалывается ${ displaystyle mathbb {F} _ {l}}$, в то время как простое число Аткина - это простое число, которое не является простым числом Элкиса. Аткин показал, как объединить информацию, полученную из простых чисел Аткина, с информацией, полученной из простых чисел Элкиса, для создания эффективного алгоритма, который стал известен как Алгоритм Шуфа – Элкиса – Аткина. Первая проблема, которую необходимо решить, - определить, является ли данное простое число Элкисом или Аткином. Для этого мы используем модульные многочлены, которые получены в результате изучения модульные формы и интерпретация эллиптические кривые над комплексными числами как решетки. Как только мы определили, в каком случае мы находимся, вместо использования полиномы деления, мы можем работать с многочленом, который имеет более низкую степень, чем соответствующий многочлен деления: ${ Displaystyle О (л)}$ скорее, чем ${ Displaystyle О (л ^ {2})}$. Для эффективной реализации используются вероятностные алгоритмы поиска корней, что делает это Алгоритм Лас-Вегаса а не детерминированный алгоритм. При эвристическом предположении, что примерно половина простых чисел до ${ Displaystyle О ( журнал q)}$ являются простыми числами Элкиса, это дает алгоритм, более эффективный, чем у Шуфа, с ожидаемым временем работы ${ Displaystyle О ( журнал ^ {6} q)}$ используя наивную арифметику, и ${ Displaystyle { тильда {O}} ( log ^ {4} q)}$ используя быструю арифметику. Хотя известно, что это эвристическое предположение справедливо для большинства эллиптических кривых, известно, что оно верно не во всех случаях, даже при GRH.

Реализации

Несколько алгоритмов были реализованы в C ++ Майк Скотт и доступны с исходный код. Реализации бесплатны (без условий, без условий) и используют МИРАКЛ библиотека, которая распространяется под AGPLv3.

• Алгоритм Шуфа выполнение за ${ Displaystyle E ( mathbb {F} _ {p})}$ с премьер ${ displaystyle p}$.
• Алгоритм Шуфа выполнение за ${ Displaystyle E ( mathbb {F} _ {2 ^ {m}})}$.

Смотрите также

• Криптография на эллиптических кривых
• Подсчет точек на эллиптических кривых
• Полиномы деления
• Эндоморфизм Фробениуса

Рекомендации

• Р. Шоф: Эллиптические кривые над конечными полями и вычисление квадратного корня mod p. Математика. Comp., 44 (170): 483–494, 1985. Доступно на http://www.mat.uniroma2.it/~schoof/ctpts.pdf
• Р. Шоф: Подсчет точек на эллиптических кривых над конечными полями. J. Theor. Nombres Bordeaux 7: 219–254, 1995. Доступно на http://www.mat.uniroma2.it/~schoof/ctg.pdf
• Г. Мусикер: Алгоритм Шуфа для подсчета очков на ${ Displaystyle Е ( mathbb {F} _ {q})}$. Доступны на http://www.math.umn.edu/~musiker/schoof.pdf
• В. Мюллер: Die Berechnung der Punktanzahl von elliptischen kurven über endlichen Primkörpern. Дипломная работа. Universität des Saarlandes, Saarbrücken, 1991. Доступно на http://lecturer.ukdw.ac.id/vmueller/publications.php
• А. Энге: Эллиптические кривые и их приложения в криптографии: Введение. Kluwer Academic Publishers, Дордрехт, 1999.
• Л. С. Вашингтон: Эллиптические кривые: теория чисел и криптография. Chapman & Hall / CRC, Нью-Йорк, 2003.
• Н. Коблиц: курс теории чисел и криптографии, выпускные тексты по математике. № 114, Springer-Verlag, 1987. Издание второе, 1994.