Главная
В математике методы проверки на простоту с помощью эллиптических кривых (англ. - Elliptic Curve Primality Proving, сокр. ЕСРР) являются одними из самых быстрых и наиболее широко используемых методов проверки на простоту . Эту идею выдвинули Шафи Гольдвассер и Джо Килиан в 1986 году; она была превращена в алгоритм А.О.Л. Аткином в том же году. Впоследствии алгоритм был несколько раз изменён и улучшен, в особенности Аткином и François Morain в 1993. Концепция использования факторизации с помощью эллиптических кривых была разработана Хендриком Ленстрой в 1985 году, и в скором времени последовало её использование для проверки и доказательства чисел на простоту.
Тест простоты существовал со времен Ферма, когда большинство алгоритмов базировалось на факторизации, которая становятся громоздкой при большом числе на входе. Современные алгоритмы по отдельности решают проблемы определения является ли число простым и каковы его факторы. С наступлением современного периода развития криптографии это стало иметь весомое практическое значение. Хотя многие современные тесты дают лишь вероятностный результат (или показывается, что N составное, или вероятно простое, как например с помощью теста Миллера-Рабина), тест эллиптических кривых показывает, что число простое (или составное) с помощью быстро проверяемого сертификата(англ.).
Тест эллиптических кривых на простоту представляет собой альтернативу (среди прочих) тесту Поклингтона, который бывает трудно реализовать на практике. Тест эллиптических кривых основан на критериях, аналогичных критерию Поклингтона, на котором и базируется соответствующий тест. Теперь мы сформулируем предложение, на основе которой наш тест, который аналогичен критерию Поклингтона, и дает начало Гольдвасера-Килиан-Аткин виде теста эллиптической кривой простоты чисел.
Доказательство простоты с помощью эллиптических кривых
Это универсальный алгоритм, что означает, что не зависит чисел особой формы. В настоящее время ECPP на практике является самым быстрым из известных алгоритмов для проверки простоты чисел, но время выполнения в худшем случае (максимальное время, за которое задача может быть выполнена на конкретной аппаратной платформе) не известно. ЕСРР работает за время:
O ( ( log n ) 5 + ε ) {displaystyle O((log n)^{5+varepsilon })}
для некоторых ε > 0 {displaystyle varepsilon >0} . Этот показатель из эвристических соображений может быть уменьшен до 4 + ε {displaystyle 4+varepsilon } для некоторых случаев. ЕСРР работает так же, как большинство других тестов простоты, находит группу и показывает, что её размер таков, что p {displaystyle p} простое. Для ЕСРР группой является эллиптическая кривая над конечным набором квадратичных форм, таких, что p − 1 {displaystyle p-1} тривиально относительно фактора группы*(?).
ЕСРР генерирует сертификат простоты Аткина-Гольдвасера-Килиана-Морейна с помощью рекурсии, а затем пытается проверить сертификат. Шагом, который занимает больше всего времени у процессора, является генерация сертификата, потому что необходимо выполнить факторизацию над полем класса. Сертификат может быть подтвержден быстро, из-за чего задержка на эту операцию займет очень мало времени.
По состоянию на сентябрь 2015 года, наибольшим простым числом, которое было найдено методом ЕСРР, является 30950-знаковая величина, которая обозначается в терминах последовательности Люка как:
V ( 148091 ) . {displaystyle V(148091).}
Его сертификация при помощи Primo (программного обеспечения Марселя Мартина) заняла 9 месяцев у Пола Андервуда.
Утверждение
Пусть N целое положительное число, а Е множество, которое определяется по формуле y 2 = x 3 + a x + b ( mod N ) {displaystyle y^{2}=x^{3}+ax+b{pmod {N}}} . Рассмотрим E над Z / N Z {displaystyle mathbb {Z} /Nmathbb {Z} } , используя обычный закон сложения на Е, и запишем 0 как нейтральный элемент на Е.
Пусть m целое. Если есть простое число q, которое является делителем m, и большее, чем ( N 1 / 4 + 1 ) 2 {displaystyle (N^{1/4}+1)^{2}} и существует точка P на E такая, что
(1) mP = 0
2) (m/q)P определено и не равно 0
Тогда N — простое число.
Доказательство
Если N составное, то существует простое число p ≤ N {displaystyle pleq {sqrt {N}}} , которое делит N. Определим E p {displaystyle E_{p}} как эллиптическую кривую, определенную тем же уравнением, что и Е, но определим по модулю р, а не по модулю N. Определим m p {displaystyle m_{p}} как порядок группы E p {displaystyle E_{p}} . По теореме Хассе об эллиптических кривых мы знаем
m p ≤ p + 1 + 2 p = ( p + 1 ) 2 ≤ ( N 1 / 4 + 1 ) 2 < q {displaystyle m_{p}leq p+1+2{sqrt {p}}=({sqrt {p}}+1)^{2}leq (N^{1/4}+1)^{2}<q}
и, таким образом, НОД ( q , m p ) = 1 {displaystyle {(q,m_{p})}=1} , и существует целое число u со свойством
u q ≡ 1 ( mod m p ) {displaystyle uqequiv 1{pmod {m_{p}}}}
Пусть P p {displaystyle P_{p}} есть точка P оцененная по модулю р. Таким образом, на E p {displaystyle E_{p}} мы имеем
( m / q ) P p = u q ( m / q ) P p = u m P p = 0 {displaystyle (m/q)P_{p}=uq(m/q)P_{p}=umP_{p}=0}
используя (1), т.к. m P p {displaystyle mP_{p}} высчитано с использованием тех же методов, что и mP, за исключением модуля р, а не модуля N (и p ∣ N {displaystyle pmid N} ).
Это противоречит (2), потому что, если (m/q)Р определен и не равно 0 (mod N), то тот же метод рассчитывается по модулю р, а не по модулю N даст
( m / q ) P p ≠ 0 {displaystyle (m/q)P_{p} eq 0}
Алгоритм Гольдвассер-Килиана
Из этого утверждения может быть построен алгоритм для доказательства того, что целое число N является простым. Это делается следующим образом:
Выберем три случайных целых числа а, х, у и зададим
b ≡ y 2 − x 3 − a x ( mod N ) {displaystyle bequiv y^{2}-x^{3}-ax{pmod {N}}}
Пусть теперь P = (x,y) точка, принадлежащая Е, где Е определено как y 2 = x 3 + a x + b {displaystyle y^{2}=x^{3}+ax+b} . Далее нам нужен алгоритм для подсчета количества точек на Е. Применимо к Е этот алгоритм (Коблиц и другие ученые предлагают алгоритм Шуфa [алгоритм подсчета точек эллиптической кривой над конечным полем]) даст число m, выражающее количество точек на кривой Е над FN, при условии, что N простое. Затем, у нас есть критерий для принятия решения о том, является ли наша кривая Е приемлемой.
Если мы можем написать m в виде m = k q {displaystyle m=kq} , где k ≥ 2 {displaystyle kgeq 2} небольшой целое число, а q вероятно простое (например, оно прошло некоторые предыдущие вероятностные тесты простоты), то мы не отбрасываем Е. Если же невозможно записать m в этой форме, то мы отбрасываем нашу кривую и случайным образом выбираем другую тройку (а, х, у), чтобы начать снова.
Предположим, что мы нашли кривую, которая проходит под критерий, тогда приступим к вычислению mP и kP. Если на любом этапе расчетов мы сталкиваемся с неопределенным выражением (из расчета Р или в алгоритме подсчета количества точек), это дает нам нетривиальный фактор N.
Если m P ≠ 0 {displaystyle mP eq 0} , то становится ясно, что N не является простым, потому что, если бы N было простое, то Е имела бы порядок m, и любой элемент E станет 0 при умножении на m. Если Kp = 0, то мы попали в тупик и должны начать снова с другой тройкой.
Теперь, если m P = 0 {displaystyle mP=0} и k P ≠ 0 {displaystyle kP eq 0} , тогда наша предыдущее утверждение говорит нам, что N является простым. Тем не менее, есть одна возможная проблема, которая заключается в простоте q. Это должно быть проверено, используя тот же алгоритм. Таким образом, мы описали пошаговую процедуру, где простота N может быть доказана с помощью простоты q и небольших вероятно простых чисел, повторяющуюся пока мы не достигли определенных простых чисел и не закончили.
Проблемы с алгоритмом
Аткин и Морейн говорили, что "проблема с алгоритмом Гольдвассер-Килиана заключается в том, что алгоритм Шуфa почти невозможно реализовать". Очень медленно и громоздко рассчитывать все точки на Е, используя алгоритм Шуфа, который является предпочтительным алгоритмом для алгоритма Гольдвассер-Килиана. Тем не менее, оригинальный алгоритм Шуфа недостаточно эффективный, чтобы обеспечить вычисления количества точек в короткий промежуток времени. Эти комментарии должны рассматриваться в историческом контексте, до улучшения Элкисом и Аткином метода Шуфа.
Тест простоты эллиптических кривых (ЕСРР) Аткина-Морейна
В статье 1993 года, Аткин и Морейн описали алгоритм ЕСРР, который избегает трудностей, возникающих при использовании алгоритма, который опирается на громоздкое вычисление количества точек (алгоритм Шуфа). Алгоритм по-прежнему опирается на утверждения, описанные выше, но вместо генерирования эллиптических кривых случайным образом и последующего поиска правильного m, их идея заключается в построении кривой E, на которой легко вычислить число точек. Комплексное умножение является ключевым в строительстве кривой.
Теперь, взяв определенное N, простота которого должна быть доказана, мы должны найти подходящие m и q, так же, как в алгоритме Гольдвасер-Килиана, которые будут удовлетворять теореме и доказывать простоту N. (конечно, точка P и сама кривая, Е, также должны быть найдены)
ЕСРР использует комплексное умножение для построения кривой E, такой способ позволяет легко вычислить m (количество точек на Е). Теперь опишем этот метод:
Использование комплексного умножения требует отрицательный дискриминант, D, такой, что D может быть записан в виде произведения двух элементов D = π π ¯ {displaystyle D=pi {ar {pi }}} , или, что полностью эквивалентно, мы можем написать уравнение:
a 2 + | D | b 2 = 4 N {displaystyle a^{2}+|D|b^{2}=4N}
Для некоторых a, b. Если мы может описать N в терминах любой из этих форм, мы можем создать эллиптическую кривую E на Z / N Z {displaystyle mathbb {Z} /Nmathbb {Z} } с комплексным умножением (подробно описано ниже), и число точек определяется по формуле:
| E ( Z / N Z ) | = N + 1 − π − π ¯ = N + 1 − a . {displaystyle |E(mathbb {Z} /Nmathbb {Z} )|=N+1-pi -{ar {pi }}=N+1-a.}
Для того, чтобы разделить N на два элемента, нам нужно, чтобы ( D N ) = 1 {displaystyle left({frac {D}{N}} ight)=1} (где ( D N ) {displaystyle left({frac {D}{N}} ight)} обозначает символ Лежандра). Это является необходимым условием, и мы достигнем достаточности, если порядок группы h(D) в Q ( D ) {displaystyle mathbb {Q} ({sqrt {D}})} равен 1. Это происходит только для 13 значений D, которые являются элементами {-3, -4, -7, - 8, -11, -12, -16, -19, -27, -28, -43, -67, -163}