Чи є проблема цілочисельної факторизації складнішою за факторизацію RSA:


39

Це перехресний пост від math.stackexchange.


Нехай FACT позначає цілочисельну задачу факторингу: заданий знаходить праймери та цілі числа такі щоp iN , e iN , n = k i = 0 p e i i .nN,piN,eiN,n=i=0kpiei.

Нехай RSA позначає особливий випадок задачі факторингу, де і - прості. Тобто, якщо знайдено простих чисел або NONE, якщо такої факторизації немає.p , q n p , qn=pqp,qnp,q

Зрозуміло, що RSA є примірником FACT. Чи FACT важче, ніж RSA? Враховуючи оракул, який розв'язує RSA в поліноміальний час, чи можна його використовувати для розв’язання FACT у поліноміальний час?

(Вказівник на літературу дуже цінується.)


Редагувати 1: Додано обмеження на обчислювальну потужність, щоб було багаточленним часом.


Редагування 2: Як вказував у відповіді Дена Брамлеве, що існують документи, які сперечаються за та проти RSA, важче (або простіше, ніж) ФАКТ. Досі я знайшов такі документи:

Д. Боне і Р. Венкатесан. Порушити RSA може бути простіше, ніж факторинг. EUROCRYPT 1998. http://crypto.stanford.edu/~dabo/papers/no_rsa_red.pdf

Д. Браун: Порушити RSA може бути настільки ж складно, як і факторинг. Архів ePrint криптології, звіт 205/380 (2006) http://eprint.iacr.org/2005/380.pdf

Г. Леандер та А. Рупп. Про еквівалентність RSA та факторинг щодо загальних кільцевих алгоритмів. ASIACRYPT 2006. http://www.iacr.org/archive/asiacrypt2006/42840239/42840239.pdf

Д. Агарваль і У. Маурер. Порушення загальної RSA рівнозначно факторингу. EUROCRYPT 2009. http://eprint.iacr.org/2008/260.pdf

Я маю пройти через них і знайти висновок. Хтось, хто знає про ці результати, може дати резюме?


1
якщо я правильно пам’ятаю, то обчислення або знаходження d є еквівалентом факторингу, але як такий, можливо, RSA слабший, ніж факторинг. Коротше кажучи, рішення RSA може не означати вирішення проблеми факторингу. Жодних офіційних доказів для них невідомого (як я знаю)ϕ(n)
singhsumit

1
Мохаммеде, чому ФАКТ не зводиться до RSA?
Дан Брумлев

1
Можливо, я нерозумію щось базове. Як показати, що існування алгоритму для розподілу напівпроміру в поліномічний час не означає існування алгоритму для множення числа з трьома простими факторами в поліноміальний час?
Дан Брумлеве

6
Звідки ви знаєте, що це те, що воно становить?
Дан Брамлеве

7
Якщо між двома заявленими проблемами немає скорочення часу, тоді це буде важко показати, правда? Для того, щоб довести , НЕ полі-час відновлення може існувати не вимагає , щоб ми довести . PNP
Fixee

Відповіді:


13

Я знайшов цей документ під назвою " Розбити RSA може бути легше, ніж факторинг" . Вони стверджують , що обчислювальні й коріння по модулю п = р д може бути простіше , ніж факторинг п = р д .en=pqn=pq

Однак вони не звертаються до питання, про яке ви задали питання: вони не розглядають, чи може факторизувати цілі числа форми простіше, ніж факторизувати довільні цілі числа. Як результат, ця відповідь в значній мірі не має значення для вашого конкретного питання.n=pq


Спасибі! Я знайшов кілька інших робіт із пов’язаними назвами, перехресними посиланнями. Я розміщую посилання нижче. (Редагувати: посилання нижче - некрасиві. Я не можу отримати належне форматування в коментарях.)

1
Д. Боне і Р. Венкатесан. Порушити RSA може бути простіше, ніж факторинг. EUROCRYPT 1998. crypto.stanford.edu/~dabo/papers/no_rsa_red.pdf D. Браун: Порушити RSA може бути так само важко, як і факторинг. Криптологічний архів ePrint, Доповідь 205/380 (2006) eprint.iacr.org/2005/380.pdf Д. Агарваль та У. Маурер. Порушення загальної RSA рівнозначно факторингу. EUROCRYPT 2009. eprint.iacr.org/2008/260.pdf Г. Леандр та А. Рупп. Про еквівалентність RSA та факторинг щодо загальних кільцевих алгоритмів. ASIACRYPT 2006. iacr.org/archive/asiacrypt2006/42840239/42840239.pdf

1
Я читаю тези, і папір Агарвальва та Маурера, здається, стосується дещо різної проблеми (розбиття напівпринципу та обчислення функції фі?) Інші прямо говорять, що проблема відкрита. Я припускаю, що це все ще є, якщо не буде результату останніх, ніж 2006 рік?
Ден Брумлев,

1
Напевно, варто згадати, що в роботі Boneh і Venkatesan йдеться про твердість напівпримірів факторингу порівняно з твердістю порушення RSA. Те, що питання називає "RSA", насправді є проблемою розбиття напівперіодів, що може бути складніше, ніж порушити RSA (про що пропонує документ Boneh-Venkatesan)
Сашо Ніколов

4
Ця відповідь не правильна. Ви неправильно зрозуміли, що це документи. Під "проблемою RSA" вони мають на увазі проблему обчислення модульного -кореня (mod n ) і пов'язану це з труднощами факторингу n . В обох випадках n - номер RSA, тобто n = p q . Тож документи, які ви цитуєте, насправді не стосуються питання, про яке ви задали питання. Плутанина тут виникає через те, що "проблема RSA" питання не те саме, що ці документи називають "проблемою RSA". ennnn=pq
DW

19

Наскільки я бачу, ефективний алгоритм факторингу напівпримірів (RSA) не автоматично перетворюється на ефективний алгоритм для факторингу загальних цілих чисел (FACT). Однак на практиці напівперіоди є найважчими цілими числами. Однією з причин цього є те, що максимальний розмір найменшого простору залежить від кількості факторів. Для цілого числа з f простими множниками максимальний розмір найменшого основного коефіцієнта дорівнює N 1Nf, і так (черезтеорему просте число) існує приблизноfN 1N1f можливості для цього. Таким чином, збільшенняfзменшує кількість можливостей для найменшого основного фактора. Будь-який алгоритм, який працює послідовно, скорочуючи цей простір ймовірностей, тоді буде найкращим для великихfта найгірших дляf=2. Це підтверджується на практиці, оскільки багато класичних алгоритмів факторингу набагато швидше, коли число, що фактурується, має більше двох основних факторів.fN1flog(N)fff=2

Крім того, ситове поле загального числа , найшвидший відомий класичний алгоритм факторингу та алгоритм Шора, алгоритм квантового коефіцієнта багаточленного часу, багато однаково добре працюють для не напівпримірів. Взагалі, здається, набагато важливіше, що фактори за копріменом, ніж те, що вони є первинними.

Я думаю, що частиною причини цього є те, що версія рішення коефіцієнтів факторингу найбільш природно описується як проблема обіцянки , і будь-який спосіб зняття обіцянки з введення напівпринципу - це будь-який

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

PNP

Нарешті, варто зазначити, що RSA (криптосистема, а не факторингова проблема, яку ви визначили вище) тривіально узагальнюється за межами напівпримірів.


3
PPNP

1
PRSA=PFACTPRSA=PFACTPRSAPFACT

1
FACTPRSA?FACTPFACTP

FACTPRSA

2

Не зовсім повна відповідь, але здається, що це покращення:

Цитовані вище дослідницькі документи порівнюють проблему обчислення етнічних коренів mod N, тобто виконання операції з закритим ключем в криптосистемі RSA, з проблемою факторингу, тобто знаходженням приватного ключа в обох випадках, використовуючи лише відкритий ключ. У цьому випадку проблема факторингу - це не загальний випадок, а випадок напівпринципу. Іншими словами, вони розглядають інше питання.

Я вважаю, що відомо, див. AoCP Кнута, що більшість чисел N мають прості множники, довжина бітів яких по довжині біт порівнюється з довжиною N, в середньому щось на зразок 1/2, 1/4, 1/8, ..., або, можливо, навіть відвалюються більш різко, як у 2/3, 2/9, 2/27, ... але, можливо, вирівнювання. Отже, для загального випадкового N розміру, достатнього для того, щоб менші чинники можна було швидко знайти шляхом пробного поділу або ЕКМ Ленстра, то те, що залишається, може бути напівприміром, хоча і неврівноваженим. Це своєрідне зменшення, але воно сильно залежить від розподілу факторів, і це повільне зменшення, оскільки воно посилається на інші алгоритми факторизації.

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


Однак алгоритм факторизації повинен запускатися в поліноміальний час. Тож справді ви говорите: "якби у вас був алгоритм багаторазової факторизації, ви вирішили б невідому проблему". Тому що можна використовувати алгоритм наївної факторизації, щоб з’ясувати, чи є число напівприміром чи ні.
Елліот Гороховський
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.