Re: Zero Knowledge
Theo Mora <[email protected]> Mon, 16 Oct 2006 17:58:23 +0200
| Newsgroups | gmane.comp.security.italian.crypto |
|---|---|
| Message-ID | <[email protected]> |
--===============2054678024== Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable Lorenzo Mainardi wrote: >Questa =C3=A8 proprio la strada che ho seguito, cercando di mappare uno >spazio vettoriale (polinomi) in un altro. >Il problema =C3=A8 che vorrei trovare una trasformazione che sia un >isomorfismo, ma molto difficile da invertire. > =20 > E` questo il problema: non puoi farlo con spazi vettoriali (o con=20 ideali polinomiali); non sostenga che invertire sia facile perche` non=20 e` detto che sia cosi`; sostengo solo che in generale non e` HARD.=20 Calcolati una base di Groebner, applica Moeller algorithm, etc.,etc. Se inveci prendi un grafo e ti limiti a prendere una permutazioni dei=20 vertici costruire versione isomorfe e` banale, provare l`isomorfismo e` P=3DNP...= .. Teo > > >Il giorno gio, 12/10/2006 alle 13.47 +0200, Theo Mora ha scritto: > =20 > >>Cosa ti serve la fattorizzazione dei primi? >> >>Ti prendi un grafo ed una versione isomorfa di quello...... fine della=20 >>storia >> >> =20 >> > > > =20 > >------------------------------------------------------------------------ > >________________________________________________________ >http://www.sikurezza.org - Italian Security Mailing List > --===============2054678024== 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 --===============2054678024==--