Re: Re: fattorizzato un numero di 1039 bit (Lapo Luchini)

"Ottavio G. Rizzo" <[email protected]> Fri, 01 Jun 2007 09:26:43 +0000
Newsgroups gmane.comp.security.italian.crypto
Organization Universita' di Milano
Message-ID <[email protected]>
--===============1767709540==
Content-type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

Il giorno ven, 01/06/2007 alle 10.15 +0200, Lapo Luchini ha scritto:
> Spank wrote:
> > Chiedo scusa, ma cos'ha di speciale 2^1039-1 a parte il fatto di
> > essere immenso e di avere 1039 bit settati a uno nella sua
> > rappresentazione binaria? Ricordo dal corso di crittografia che aveva
> > un paio di particolarit=C3=A0, ma non riesco a ricordare quali...=20
> Non so se questo c'entri con le ottimizzazioni fatte per la
> fattorizzazione, ma sicuramente =C3=A8 un numero di Mersenne[1] (ovvero=
 nella
> forma 2^p-1 con p primo), quindi hanno potuto usare un test di
> Lucas-Lehmer[2] per essere sicuri a priopri che fosse fattorizzabile
> (d'altra parte conoscevano gi=C3=A0 un piccolo fattore, quindi in effet=
ti
> dubito abbiano avuto bisogno del test di LL, dato che non dice niente
> pi=C3=B9 che se ne ha o meno).

Il test non c'entra niente, anche perch=C3=A9 =C3=A8 banale verificare ch=
e quel
numero non =C3=A8 primo: ad esempio, 3^(2^1039-2) non =C3=A8 congruente a=
d uno
modulo 2^1039 - 1

Il fatto =C3=A8 che esistono tecniche particolari per fattorizzare i nume=
ri
di Mersenne; quindi, di per s=C3=A9, aver fattorizzato 2^1039-1 non dice
niente su RSA; ma secondo Lenstra (vedi il mio primo messaggio
sull'argomento) questo non =C3=A8 un buon segno. Non vedo come non si pos=
sa
dargli ragione.

Ottavio


--===============1767709540==
Content-Type: text/plain; charset="iso-8859-1"
MIME-Version: 1.0
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

________________________________________________________
http://www.sikurezza.org - Italian Security Mailing List
--===============1767709540==--