Рейтинг:2

Разрыв между DLog и CDH

флаг cn

Есть ли какая-то конкретная группа, в которой один CDH в разы легче (даже все равно тяжело), ​​чем DLog.

fgrieu avatar
флаг ng
Я повторяю определения: задача DLog в группе $G$ заключается в вычислении $x$ при заданном $g$ в $G$ и $g^x$ при неизвестном $x$, случайном в $\mathbb Z_{\lvert G\rvert} $. Задача CDH заключается в вычислении $g^{ab}$ по $(g,g^a,g^b)$ для неизвестных $a$ и $b$, случайных в $\mathbb Z_{\lvert G\rvert}$.
Mark avatar
флаг ng
Хотя это не то, что вы задаете, [вопрос] (https://crypto.stackexchange.com/questions/44264/groups-for-what-ddh-is-easy-but-cdh-is-hard?rq=1) о разрыв между DDH и CDH, вероятно, должен быть связан здесь.
Рейтинг:2
флаг ng

Бумага Связь между взломом протокола Диффи-Хеллмана и вычислением дискретных логарифмов содержит некоторые интересные результаты, хотя они носят несколько технический характер.

В частности, это необходимо:

Предположение о гладкости: За $n\in\mathbb{N}$, определять $\ню(п)$ быть минимум, свыше $d\in [n-2\sqrt{n}+1, n+2\sqrt{n}+1]$ наибольшего простого множителя $д$. предположение о гладкости в том, что $\nu(n) = (\log n)^{O(1)}$.

В этой настройке, если у кого-то есть небольшая «цепочка советов», специфичная для $G$ (в документе говорится, что нужны большие простые множители $|G|$ и некоторые параметры эллиптических кривых --- общий совет имеет длину $O(\log |G|)$, тогда:

Следствие 5. Если предположение о гладкости верно, то существует общий (неравномерный) алгоритм с полиномиальным временем вычисления дискретных логарифмов в циклических группах порядка $n$, совершая вызовы оракула DH для той же группы тогда и только тогда, когда все множественные простые множители $n$ в порядке $ (\ журнал п) ^ {О (1)} $.

Здесь «несколько простых множителей» означают средние степени простых чисел. $p^e \mid п$ за $е > 1$.

Если все простые множители $n$ являются «одиночными» (например, $n$ не содержит квадратов), кажется, они могут добиться большего успеха --- их теорема 2 покрывает этот случай и, по-видимому, устраняет требование знания эллиптических кривых + предположение о гладкости (все еще требуется факторизация), и они явно оценить сложность редукции. Я не буду копировать его здесь, так как формулировка теоремы довольно длинная.

Все это говорит о том, что при определенном теоретико-числовом допущении в неравномерной постановке разрыва между DLOG и CDH нет.

poncho avatar
флаг my
Является ли этот результат специфичным для эллиптических кривых или он применим ко всем циклическим группам? Ни в вашем резюме, ни в реферате статьи не говорится, что это применимо только к группам ЕС; однако предположение о гладкости включает диапазон, подозрительно похожий на интервал Хассе...
Ievgeni avatar
флаг cn
Так вы намекаете на ответ "нет"?
Mark avatar
флаг ng
@poncho Результат общий. Идея состоит в том, чтобы применить CRT/Полига Хеллмана, чтобы свести случай к группам вида $(\mathbb{Z}/p^e\mathbb{Z})^\times$. Если $e > 1$, их доказательство продолжается путем вложения этой группы в группу эллиптических кривых, отсюда и требование оценки Хассе. Хотя это только часть доказательства.
Mark avatar
флаг ng
Ответ «нет» для неоднородных алгоритмов. Однако, если порядок $G$ трудно вычислить, неясно, как выполнить это сокращение, так как факторинг сам по себе, вероятно, сложен (и я не знаю сложности нахождения правильных параметров эллиптической кривой). Тем не менее, этот результат означает, что на самом деле не может быть явной группы, на которую вы указываете, где проблемы отличаются, и вместо этого вы можете надеяться взглянуть на какое-то семейство групп (скажем, группы RSA $(\mathbb{Z}/ pq\mathbb{Z})^*$ для случайных простых чисел $p, q$), которые, по крайней мере, должны иметь порядок, который сложно определить с помощью вычислений.

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

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