Criptol Maribel

Criptologa:secretos secretos,mentirasy Matemticas
MaraIsabelGonzlezVasco
UniversidadReyJuanCarlos
INTRODUCCIN
Matemticas:uncaminohaciaelfuturo MaraIsabelGonzlezVasco
QUESLACRIPTOLOGA?
CRIPTOGRAFA:Cienciaqueseocupadeldiseodeherramientasyesquemaspara
lagestin,transmisinyalmacenamientodeinformacinconciertasgarantasde seguridad. seguridad CRIPTOANLISIS:Estudiocrticodelastcnicascriptogrficas.
CRIPTOLOGA: CRIPTOGRAFA+CRIPTOANLISIS.
FISICA HARDW WARE TEORA D DE LENGU UAJES
Matemticas:uncaminohaciaelfuturoMaraIsabelGonzlezVasco
TEORA DE CO OMPLEJIDAD D
MATEMTICAS
ESQUEMASCRIPTOGRFICOS (algunosejemplos)
EsquemasdeCifrado(Criptosistemas) envo j cong garantasdep privacidad demensajes EsquemasdeFirmaDigital envode mensajescongarantasdeorigen EsquemasdeAutenticacin envode mensajescongarantasdeintegridad EsquemasdeIntercambiodeClave acuerdo deunaclavesecretaentrevariosusuarios
Paraesetipodeesquemaselenemigoa batiresEXTERNO,nounusuario legtimodelsistema,peroaveces
Paraesetipodeesquemaselenemigoa batiresEXTERNO,nounusuario legtimodelsistema,peroaveces
El enemigo g est en casa!!!
Paraesetipodeesquemaselenemigoa batiresEXTERNO,nounusuariol legtimodelsistema,peroaveces
El enemigo g est en casa!!!

Enesta E t charla h l veremosunade d las l herramientas h i t msusadasencriptografaparaestetipode escenarios,lasllamadas pruebasdeconocimientocero p (ZKP)
ZKP:DEFINICIN
QuesunaPruebadeConocimiento Cero?
Unprotocolocriptogrficoqueejecutandos (probadoryverificador) )demanera usuarios(p quelprobadorpuedademostrarALGO al verificadorsinquedejarquestelleguea saberdemasiado
Algomsformalmente formalmente
Una ZKPes unprotocolo l interactivo i i entreun probador (Peggy)yunverificador (Vctor)con las propiedades de:
COMPLETITUD:Silapremisa es cierta,el verificador aceptar elresultado delaprueba CORRECCIN:Silapremisa es falsa,elverificador noaceptar elresultado delaprueba CONOCIMIENTOCERO:lonico que aprende el verificador es laveracidad ofalsedad dela premisa
quesaprender?
Paranosotros,aprenderquieredeciradquirir p estoes: unahabilidadcomputacional,
Vctor adquiere q algn g conocimiento tras interactuar conPeggysi es capaz deefectuar una computacin que antesnopoda hacer.
EJEMPLOS
Ejemplo1:DndeestWally?
Supongamosqueungrupodeamigosest p por p verquin q descubreprimero p compitiendo dndeestWally enestaimagen.
Peggy encuentraaWally, ll selo l di diceasuamigo i Vctorystenoselocree.APeggy legustara convencerle l sin i tener t quedesvelarle d l l la l solucin l i delenigma
P Peggy decide d id cubrir b i l lai imagenconunacartulina li negra, yhacerunagujerodeltamaodeWally.Aspuede situarlaimagentraslacartulinademodoqueVctor veaaWally,peronodescubrasuposicin.
Ejemplo2:LacuevadeAli Bab
Peggyquiere probar aVctor que es capaz deabrir lapuerta que une lospuntos RyS. Vctor se sita en P Peggyva aRoS Vctor va a Qyledicea Peggy; ven desde la derecha oven desde la i i d izquierda SiPeggypuede abrir la puerta siempre es capaz puerta, deaparecer por ellado que Vctor p q pida.
Ejemplo2:LacuevadeAli Bab
Vctor repetir el experimento varias veces hasta creerse que,efectivamente, Alicesabe cmo abrir la puerta secreta. Anrepeticiones,la probabilidad deengao p g es de()n
Ejemplo 3:3Coloracin deungrafo

Una 3coloracindeungrafo sehace pintando sus vrtices usando 3colores, colores demodo que dos vrtices adyacentes queden siempre decolor distinto. distinto
Estegrafo f es 3coloreable l bl
Estegrafo f noes 3 coloreable
Decidir si ungrafo es ono3coloreablees unproblema difcil (NP.)


Vctor
6 5 4 1 2 3
Peggy

Vctor
6 5 4 1 2 3
Peggy)
1.Peggyelige alazar una ordenacin de colores,ylaenva encajas cerradas aVctor

Vctor
6 5 4 1 2 3
Peggy
2.Vctor elige alazar una arista.
(1,4)
1.Peggyelige alazar una ordenacin delos colores,ylaenva encajas cerradas aVctor

Vctor
6 5 4 1 2 3
Peggy
2.Vctor elige alazar una arista.
(1,4)
1.Peggyelige alazar una ordenacin delos colores,ylaenva encajas cerradas aVctor 3.Peggyenva las llaves que abren las cajas correspondientes

Vctor
6 5 4 1 2 3
Peggy
2.Vctor elige alazar una arista. 4.Vctor acepta si loscolores sondistintos
(1,4)
1.Peggyelige alazar una ordenacin delos colores,ylaenva encajas cerradas aVctor 3.Peggyenva las llaves que abren las cajas correspondientes
Ejemplo3:propiedades
COMPLETITUD:si elgrafo es 3coloreable,Vctor acepta lademostracin dePeggy
CORRECCIN:Sielgrafo noes coloreable,Vctor rechaza h conprobabilidad b bilid d mayorque 1/econe=nmero dearistas luego Peggy tiene probabilidad (1-1\e) de engaar a Vctor cada vez que se ejecuta el protocolo Sihacemos e2 repeticiones,nos aseguramos que asimptticamente sealcanza lacorreccin.
CONOCIMIENTOCERO:Tras cada ejecucin,Vctor slo obtiene doscolores distintos,que se corresponden,cada vez,conuna 3coloracin distinta delgrafo:esto noleayuda nadapara hacer una 3coloracinenelgrafo.
Ejemplo4:LogaritmoDiscreto
Peggyquiere demostrar aVctor que un elemento p pertenece alsubgrupo g p deZn* generado por uncierto valor,donde tiene orden (i.e.,k = para algn 0k)
Ejemplo4:Logaritmodiscreto
Peggy Peggyelige alazar un valorj,0 j 1yenva a Vctor z=j.
1.
z b
1.
2.Vctoreligeunbitalazar, bysel loenva aPeggy
z b y
1.
3.Peggy calcula y=j+bk mod, yseloenva aVctor .
z b y
4.Vctorverificaquej +bk =jbk =zb.
1.
3.Peggy calcula y=j+bk mod, yseloenva aVctor .
UNEJEMPLODEAPLICACIN
(PRUBATEATIMISMO!!)
Protocolodeidentificacinde FeigeFiatShamir
Esunodelosejemplosmsconocidosde q deidentificacinatravsdeZKP. esquema Laideaquesubyacees,enunescenariode clavepblica pblica,Peggy demuestraaVctorque tienelaclavesecretaquesecorrespondecon suclave l pblica. bl Estetipodeconstruccionespuedeser vulnerableaataquesMIM
FeigeFiatShamir
Unatercerapartedeconfianzageneraunvalorn n,producto dedosprimospyq.EligelaclavepblicadePeggy,queser v unaunidadqueesresiduocuadrticomdulon. v, n Laclave secretaeselmenorenteropositivostalque s2 =v1 mod n. n
v
FeigeFiatShamir
1.Peggy eligealazarunnmero Positivor<n.Construyez= z r2 mod n yseloenvaaVictor.
FeigeFiatShamir
z b
FeigeFiatShamir
z b y
3.Sib=0,Peggy definey=r Sib=1,Peggy definey=rs modn envaesevaloraVctor.
FeigeFiatShamir
z b y
3.Sib=0,Peggy definey=r Sib=1,Peggy definey=rs modn envaesevaloraVctor. 4.Sib=0,Vctorverificaquez=y2 mod n,(Peggy demuestraconocerunarazdez) Sib=1,Vctorverificaq quez=vy y2mod n,( (Peggy ggy demuestraconocerunarazdez/v) )
FeigeFiatShamir
Siunimpostorpretendehacersepasarpor ggy sercapaz p deelegir g rdemodo Peggy, quepuedacontestaraVctorsielbit bes01 1,NUNCAENAMBOSCASOS CASOS. As,suprobabilidaddepasarkejecucionesdel protocolo l es1/2 / k
CONCLUSIONESFINALES
CONCLUSIONES
L LasZKPsonunaherramienta h i fundamental f d lenl la actualidad,porejemploparacorregirlafaltade sincronadelaredensubastaselectrnicas electrnicas, intercambiodeclaves.. ExisteninfinidaddelimitacionesparaelusodeZKPen laprctica,
eficiencia:especialmente p sip prescindimosdelainteraccin Seguridad:paraevitarMIMs
SuelenbuscarseZKPincondicionalesenalgn g sentido, , i.e.,quenodependandeladificultadcomputacional deunproblemamatemticodeterminado..

Parasaberms ms..
Zero Knowledge;twenty years after its invention. Oded Goldreich.Weizmann,Israel. Cryptology Pointers: http://research.cyber.ee/limpaa/crypto AsociacinInternacionaldeinvestigacinen criptologa:www.iacr.org www iacr org
GRACIAS!!
preguntas?

Criptol Maribel

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Criptol Maribel

Încărcat de

Drepturi de autor:

Formate disponibile

Criptologa:secretos secretos,mentirasy Matemticas

lagestin,transmisinyalmacenamientodeinformacinconciertasgarantasde seguridad. seguridad CRIPTOANLISIS:Estudiocrticodelastcnicascriptogrficas.

Paraesetipodeesquemaselenemigoa batiresEXTERNO,nounusuario legtimodelsistema,peroaveces

Paraesetipodeesquemaselenemigoa batiresEXTERNO,nounusuario legtimodelsistema,peroaveces

El enemigo g est en casa!!!

Paraesetipodeesquemaselenemigoa batiresEXTERNO,nounusuariol legtimodelsistema,peroaveces

El enemigo g est en casa!!!

Ejemplo 3:3Coloracin deungrafo

Estegrafo f noes 3 coloreable

Decidir si ungrafo es ono3coloreablees unproblema difcil (NP.)

Ejemplo 3:3Coloracin deungrafo

Ejemplo 3:3Coloracin deungrafo

1.Peggyelige alazar una ordenacin de colores,ylaenva encajas cerradas aVctor

Ejemplo 3:3Coloracin deungrafo

2.Vctor elige alazar una arista.

1.Peggyelige alazar una ordenacin delos colores,ylaenva encajas cerradas aVctor

Ejemplo 3:3Coloracin deungrafo

2.Vctor elige alazar una arista.

Ejemplo 3:3Coloracin deungrafo

2.Vctor elige alazar una arista. 4.Vctor acepta si loscolores sondistintos

COMPLETITUD:si elgrafo es 3coloreable,Vctor acepta lademostracin dePeggy

Peggy Peggyelige alazar un valorj,0 j 1yenva a Vctor z=j.

Peggy Peggyelige alazar un valorj,0 j 1yenva a Vctor z=j.

2.Vctoreligeunbitalazar, bysel loenva aPeggy

Peggy Peggyelige alazar un valorj,0 j 1yenva a Vctor z=j.

2.Vctoreligeunbitalazar, bysel loenva aPeggy

3.Peggy calcula y=j+bk mod, yseloenva aVctor .

Peggy Peggyelige alazar un valorj,0 j 1yenva a Vctor z=j.

2.Vctoreligeunbitalazar, bysel loenva aPeggy

3.Peggy calcula y=j+bk mod, yseloenva aVctor .

1.Peggy eligealazarunnmero Positivor<n.Construyez= z r2 mod n yseloenvaaVictor.

1.Peggy eligealazarunnmero Positivor<n.Construyez= z r2 mod n yseloenvaaVictor.

2.Vctoreligeunbitalazar, bysel loenva aPeggy

1.Peggy eligealazarunnmero Positivor<n.Construyez= z r2 mod n yseloenvaaVictor.

2.Vctoreligeunbitalazar, bysel loenva aPeggy

3.Sib=0,Peggy definey=r Sib=1,Peggy definey=rs modn envaesevaloraVctor.

1.Peggy eligealazarunnmero Positivor<n.Construyez= z r2 mod n yseloenvaaVictor.

2.Vctoreligeunbitalazar, bysel loenva aPeggy

SuelenbuscarseZKPincondicionalesenalgn g sentido, , i.e.,quenodependandeladificultadcomputacional deunproblemamatemticodeterminado..

S-ar putea să vă placă și